5,522 research outputs found

    Some rules to transform sequence diagrams into coloured Petri nets

    Get PDF
    This paper presents a set of rules that allows software engineers to transform the behavior described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in UML 2.0 are much richer than in UML 1.x, namely by allowing several traces to be combined in a unique diagram, using high-level operators over interactions. The main purpose of the transformation is to allow the development team to construct animations based on the CPN that can be shown to the users or the clients in order to reproduce the expected scenarios and thus validate them. Thus, non-technical stakeholders are able to discuss and validate the captured requirements. The usage of animation is an important topic in this context, since it permits the user to discuss the system behavior using the problem domain language. A small control application from industry is used to show the applicability of the suggested rules

    The Kumaraswamy-G Poisson Family of Distributions

    Get PDF
    For any baseline continuous G distribution, we propose a new generalized family called the Kumaraswamy-G Poisson (denoted with the prefix “Kw-GP”) with three extra positive parameters. Some special distributions in the new family such as the Kw-Weibull Poisson, Kw-gamma Poisson and Kw-beta Poisson distributions are introduced. We derive some mathematical properties of the new family including the ordinary moments, generating function and order statistics. The method of maximum likelihood is used to fit the distributions in the new family. We illustrate its potentiality by means of an application to a real data set

    TEMPORAL AND SPATIAL DISTRIBUTION OF POACEAE POLLEN IN AREAS OF SOUTHERN UNITED KINGDOM, SPAIN AND PORTUGAL

    Get PDF
    Overall, longer Poaceae pollen seasons coincided with earlier pollen season start dates. Winter rainfall noticeably affects the intensity of Poaceae pollen seasons in Mediterranean areas, but this was not as important in Worcester. Weekly data from Worcester followed a similar pattern to that of Badajoz and Évora but at a distance of more than 1500 km and 4-5 weeks later
    corecore