Formalization of UML object dynamics and behavior
暂无分享,去创建一个
[1] Jérôme Delatour,et al. ArgoPN: a CASE Tool Merging UML and Petri Nets , 2003, NDDL/VVEIS.
[2] Thouraya Bouabana-Tebibel,et al. From UML Towards Petri Nets to Specify and Verify , 2004, ICINCO.
[3] Janne Halme,et al. PROD Reference Manual , 1995 .
[4] Johan Lilius,et al. vUML: a tool for verifying UML models , 1999, 14th IEEE International Conference on Automated Software Engineering.
[5] Stephen J. Mellor,et al. Object lifecycles: modeling the world in states , 1992 .
[6] John Anil Saldhana. UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis , 2000 .
[7] Florian Kammüller,et al. Translating Fusion/UML to Object-Z , 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
[8] Ste en Helke. Mechanical Analysis of Uml State Machines and Class Diagrams Position Paper , 2000 .
[9] Krysia Broda,et al. Mapping UML Models incorporating OCL Constraints into Object-Z , 2003 .
[10] Kurt Jensen,et al. Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.
[11] J. Christian Attiogbé,et al. Integration of Formal Datatypes within State Diagrams , 2003, FASE.