Transformation of UML-based System Model to Design / CPN Model for Validating System Behavior

The UML-based system model is not executable so that the behavior of the model cannot be validated until it is implemented. This paper describes transforming of the structure of the system model with Unified Modeling Language (UML) to that of the Design/CPN model that can be used for validating the behavior of system. The Design/CPN model is hierarchically structured based on the functional decomposition of the system, while the UML-based system model consisting of the use case model, class model and collaboration model has no such a hierarchical structure. This paper proposes a way of mapping between the two models to solve the structural discrepancy. A system model with UML is mapped to the three-layered Design/CPN model that is made of the use case layer, the object layer and the operation layer. The use case model is formulated from the use case model and collaboration model. The object layer is transformed from the collaboration model realizing use cases. The operation layer is derived from the collaboration model and the class model. The model transformation is carried out using the relationships between UML models. As an example, the gas station system is considered.

[1]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[2]  Lisa Wells,et al.  Performance Analysis using Coloured Petri Nets , 2002 .

[3]  Michael Eonsuk Shin,et al.  Multiple-view meta-modeling of software product lines , 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

[4]  Alexander H. Levis,et al.  C4ISR Architectures: I. Developing a Process for C4ISR Architecture Design , 2000 .

[5]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[6]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[7]  Ivar Jacobson,et al.  Software Reuse: Architecture, Process And Organization For Business Success , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[8]  Kang G. Shin,et al.  An integrated approach to modeling and analysis of embedded real-time systems based on Timed Petri Nets , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

[9]  Dong Kwan Kim,et al.  An operational component specification method , 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

[10]  Alexander H. Levis,et al.  C4ISR architectures: II. A structured analysis approach for architecture design , 2000 .

[11]  Hassan Gomaa,et al.  Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.