We present a UML-inspired approach to modeling and analysis of complex systems. Different stakeholders of a system may have different views, modeled with different techniques. It is essential that the various aspect models (use cases and life cycles) provide a complete and consistent description of the total system. Our approach based on the composition and decomposition of (colored) Petri nets allows the integration of aspect models. We illustrate our approach by a case study. © Springer-Verlag 2004.
CITATION STYLE
Van Hee, K., Sidorova, N., Somers, L., & Voorhoeve, M. (2004). Consistency in Model Integration. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3080, 1–16. https://doi.org/10.1007/978-3-540-25970-1_1
Mendeley helps you to discover research relevant for your work.