Transformation of an UML Activity Model into a Colored Petrin Net Model

Hyo Taeg

As the Unified Modeling Language (UML) becomes an industrial standard for object-oriented software development, many system models have been specified in UML notation. For example, a system can be described in terms of the functional view through the use case model, the static view through the class model, and the dynamic view through activity or sequence model. In particular, activity model has more to do with the subject of the modeling and the experience of the modeler; for business modeling, for modeling the logic captured by a single use case or for modeling the detailed logic of a business rule. In this paper we propose mapping rules and a transformation algorithm to translate a UML activity diagram into a Colored Petri Nets (CPNs).

Citation status

KCI Citation Counts (0)
REFERENCES (15)
열림/닫힘 버튼
* 2021년 이후 발행 논문의 참고문헌은 현재 구축 중입니다.

[journal] W. J. Lee / 1998 / Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering / IEEE Transactions on Software Engineering 24(12) : 1115~1130

[book] K. Jensen / 1992 / Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume I, II, and III / Springer-Verlag

[confproc] S. Yao / 1998 / An Object-Oriented Model for Parallel Softwares / Proceedings of the 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS ‘98) : 245~250

[journal] L. Baresi / 2001 / Improving UML with Petri Nets / Electronics Notes in Theoretical Computer Science 44(4) : 107~119

[confproc] H. Jung / 2010 / Transformation of an Activity Model into a Colored Petri Net Model / Proceedings of the 2nd International Conference on Trends in Information Sciences & Computing 2010(TISC 2010) / Sathyabama University

[confproc] H. Jung / 2010 / A Systematic Software Development Process for Non-Functional Requirements / Proceedings of the International Conference on ICT Convergence 2010(ICTC 2010)

[book] H. J. Genrich / 1987 / Predicate/Transition Nets / Springer-Verlag : 207~247

[confproc] L. Wells / 2006 / Performance Analysis Using CPN Tools / Proceedings of the 1st International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)

[confproc] J. M. Fernandes / 2007 / Designing Tool Support for Translating Use Cases and UML 2.0Sequence Diagrams into a Colored Petri Net / Proceedings of the 6th International Workshop on Scenarios and State Machines (SCESM ’07)

[confproc] H. Störrle / 2004 / Semantics of Control-Flow in UML 2.0 Activities / Proceedings of the IEEE Symposium on Visual Language and Human Centric Computing (VLHCC ’04) : 235~242

[report] H. Störrle / 2005 / Towards a Petri-net Semantics of Data Flow in UML 2.0Activities / Ludwig-Maximilians-Universität München

[confproc] M. E. Shin / 2003 / Transformation on UML-based System Model to Design/CPN Model for Validating System Behavior / Proceedings of the 6th International Conference on the UML / the Workshop on Compositional Verification of UML Models

[journal] M. E. Shin / 2005 / Analyzing Dynamic Behavior of Large-Scale Systems through Model Transformation / International Journal of Software Engineering and Knowledge Engineering 15(1) : 35~60

[confproc] Z. Hu / 2004 / Mapping UML Diagrams to a Petri Net Notation for System Simulation / Proceedings of the 16th International Conference on Software Engineering and Knowledge Engineering (SEKE ’04) : 213~219

[confproc] Y. Shinkawa / 2006 / Inter-Model Consistency in UML Based on CPN Formalism / Proceedings of the 13th Asia Pacific Software Engineering Conference (APSEC ’06) : 411~418

KJC Korea
Journal Central

Statistics

Tools

Sharing

Issue List

Citation status