UML Activity 모델의 Colored Petri Net 모델로의 변환
Transformation of an UML Activity Model into a Colored Petrin Net Model
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
UML(Unified Modeling Language)이 객체지향 소프트웨어 개발의 산업 표준으로 자리 잡음에 따라 많은시스템 모델들이 UML로 표현되고 있다. UML은 시스템을 여러 관점에서 모델링 할 수 있도록 많은 모델 들을 제공하고 있다. 예를 들면 시스템을 기능적인 관점 및 정적인 관점에서 모델링을 지원할 수 있도록 use case 모델 및 클래스 모델을 각각 제공하고 있으며, 다이내믹한 관점에서 모델링을 지원할 수 있도록 액티비티 모델(activity model)과 시퀀스 모델(sequence model)을 제공한다. 특히 액티비티 모델은 상세한 비즈니스로직을 모델링하는 데는 가장 적합하다고 알려져 있으며, 활용성이 매우 높은 모델 중 하나이다. 본 논문에서는 UML의 액티비티 모델을 Colored Petri Nets (CPN) 모델로 변환하는 매핑법칙과 변환 알고리즘을 제안한다.
Abstract
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).
참고문헌 (15)
- W. J. Lee, "Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering", IEEE Transactions on Software Engineering, 24(12), pp.1115~1130 (1998)
- K. Jensen, "Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume I, II, and III" (1992), Springer-Verlag
- S. Yao, "An Object-Oriented Model for Parallel Softwares", Proceedings of the 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS ‘98), pp.245~250 (1998)
- L. Baresi, "Improving UML with Petri Nets", Electronics Notes in Theoretical Computer Science, 44(4), pp.107~119 (2001)
- H. Jung, "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) (2010), Sathyabama University
- H. Jung, "A Systematic Software Development Process for Non-Functional Requirements", Proceedings of the International Conference on ICT Convergence 2010(ICTC 2010) (2010)
- Transition Nets, "Predicate", pp.1987, H. J. Genrich
- L. Wells, "Performance Analysis Using CPN Tools", Proceedings of the 1st International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS) (2006)
- J. M. Fernandes, "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) (2007)
- H. Störrle, "Semantics of Control-Flow in UML 2.0 Activities", Proceedings of the IEEE Symposium on Visual Language and Human Centric Computing (VLHCC ’04), pp.235~242 (2004)
- Towards a Petri-net Semantics of Data Flow in UML 2.0Activities, "H. Störrle", Ludwig-Maximilians-Universität München, ~, pp.Technical Report 0504(04-2005) (2005)
- M. E. Shin, "Transformation on UML-based System Model to Design", CPN Model for Validating System Behavior, the Workshop on Compositional Verification of UML Models, pp.2003[DOI]
- M. E. Shin, "Analyzing Dynamic Behavior of Large-Scale Systems through Model Transformation", International Journal of Software Engineering and Knowledge Engineering, 15(1), pp.35~60 (2005)
- Z. Hu, "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), pp.213~219 (2004)
- Y. Shinkawa, "Inter-Model Consistency in UML Based on CPN Formalism", Proceedings of the 13th Asia Pacific Software Engineering Conference (APSEC ’06), pp.411~418 (2006)