Automatic Verication of a Behavioural Subset of UML Statechart Diagrams Using the SPIN
暂无分享,去创建一个
[1] Roelf J. Wieringa,et al. A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams , 1998 .
[2] Andrea Bondavalli,et al. Automatic dependability analysis for supporting design decisions in UML , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
[3] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[4] Kendall Scott,et al. UML distilled - applying the standard object modeling language , 1997 .
[5] Gerard J. Holzmann,et al. Implementing statecharts in PROMELA/SPIN , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
[6] Ivan P Paltor. The Semantics of UML State Machines , 1999 .
[7] Yassine Lakhnech,et al. Hierarchical Automata as Model for Statecharts , 1997, ASIAN.
[8] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[9] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .
[10] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[11] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[12] Diego Latella,et al. Towards a Formal Operational Semantics of UML Statechart Diagrams , 1999, FMOODS.