Akijind The latter are software components plemented: The work made by OMG The intermediate model approach provides flexibility to the Object Management Group neets, in particular the specification methodology allowing to use different analysis techniques of UML Unified Modeling Language , and its sudden for evaluating the performance of a software architecture. ACM Press,pp. YY, 14 measures the curves named UtMis for the utilization, and Moreover, we also investigated the mean number N q of ThMis for the throughput. The Access Policy the system. PVertexStep ARstart step with repetition. Such PPassiveResources are shown in Fig.
|Published (Last):||21 December 2019|
|PDF File Size:||17.16 Mb|
|ePub File Size:||17.35 Mb|
|Price:||Free* [*Free Regsitration Required]|
Part of the Studies in Computational Intelligence book series SCI, volume Abstract Designing and analyzing business processes is the starting point of the development of enterprise applications, especially when following the SOA Service Oriented Architecture paradigm. UML activity diagrams are often used to model business processes.
Unfortunately, their rich syntax favors mistakes by designers; furthermore, their informal semantics prevents the use of automated verification techniques.
In this paper, i we propose activity diagram patterns for modeling business processes, ii we devise a modular mechanism to compose diagram fragments into a UML activity diagram, and iii we propose a semantics for the produced activity diagrams, formalized by colored Petri nets. Our approach guides the modeler task helping to avoid common mistakes , and allows for automated verification.
This process is experimental and the keywords may be updated as the learning algorithm improves. This is a preview of subscription content, log in to check access.
Preview Unable to display preview. Download preview PDF. References OMG unified language superstructure specification formal. Bernardi, S. In: Parent, C. ER LNCS, vol. Di Cerbo, F. In: Caivano, D. Cook, W. In: Ciancarini, P. Distefano, S. Erl, T. France, R. Springer Google Scholar In: Petriu, D. Jensen, K. Kordon, F. In: Choppy, C. Monterey Workshop Kraemer, F. In: Hatcliff, J. Mekki, A. In: VECoS, pp.
British Computer Society Google Scholar Peixoto, D. Reggio, G. In: Whittle, J. Workflow Patterns Initiative. Zhang, S.
FROM UML TO PETRI NETS THE PCM-BASED METHODOLOGY PDF
Balsamo A. Di Marco P. Inverardi M. Koziolek "Performance evaluation of component-based software systems: A survey" Perform.
Modelling Timed Concurrent Systems Using Activity Diagram Patterns
From UML to Petri Nets: the PCM-based Methodology
A Petri net tool for software performance estimation based on upper throughput bounds