Real-time scheduling of batch systems using Petri nets and linear logic
Journal of Systems and Software
A systematic review of UML model consistency management
Information and Software Technology
Experiences in model driven verification of behavior with UML
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Hi-index | 0.00 |
To aid the development of high quality software applications, we present an approach for consistency checking of UML dynamic models based on Petri Net techniques. ECPN, an Extended Colored Petri Net, is used to formally describe state transitions of individual objects and interactions among objects, and is therefore capable of verifying the consistency of the models based on Petri Net theory. In this work, we consider UML sequence diagrams and statecharts. The approach begins with a flattening strategy for UML dynamic models and then discusses translation of statecharts with composite states to an ECPN notation. The coverability graph is used to drive the consistency checking process. The paper discusses all phases of the approach and illustrates the concept by an example.