References

  1. Étienne André, Christine Choppy & Kais Klai (2012): Formalizing non-concurrent UML state machines using colored Petri nets. ACM SIGSOFT Software Engineering Notes 37(4), pp. 1–8. Available at http://doi.acm.org/10.1145/2237796.2237819. UML&FM 2012.
  2. ATLAS, LINA & INRIA (2006): ATL : Atlas Transformation Language user manual, version 0.7. Report.
  3. Purandar Bhaduri & Sethu Ramesh (2004): Model Checking of Statechart Models: Survey and Research Directions. CoRR cs.SE/0407038. Available at http://arxiv.org/abs/cs.SE/0407038.
  4. Christine Choppy, Kais Klai & Hacene Zidani (2011): Formal verification of UML state diagrams: A Petri net based approach. SIGSOFT Software Engineering Notes 36, pp. 1–8. Available at http://doi.acm.org/10.1145/1921532.1921561.
  5. Gerard J. Holzmann (2003): The SPIN Model Checker: Primer and Reference Manual. Addison Wesley.
  6. Kurt Jensen & Lars Michael Kristensen (2009): Coloured Petri Nets – Modelling and Validation of Concurrent Systems. Springer. Available at http://dx.doi.org/10.1007/b95112.
  7. Jiexin Lian, Zhaoxia Hu & Sol M. Shatz (2008): Simulation-based analysis of UML statechart diagrams: methods and case studies. Software Quality Journal 16(1), pp. 45–78. Available at http://dx.doi.org/10.1007/s11219-007-9020-9.
  8. Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa & Jin Song Dong (2013): A Formal Semantics for the Complete Syntax of UML State Machines with Communications. In: iFM, Lecture Notes in Computer Science 7940. Springer, pp. 331–346. Available at http://dx.doi.org/10.1007/978-3-642-38613-8_23.
  9. Kenneth L. McMillan (1992): Symbolic model checking: An approach to the state explosion problem, Pittsburgh, PA, USA.
  10. OMG (2011): OMG Unified Modeling Language (OMG UML) Superstructure. Version 2.4.1, 2011-08-06.. Available at http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/.
  11. Robert G. Pettit IV & Hassan Gomaa (2006): Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets. In: ISORC. IEEE Computer Society, pp. 303–312. Available at http://doi.ieeecomputersociety.org/10.1109/ISORC.2006.55.
  12. Michael Westergaard (2013): CPN Tools 4: Multi-formalism and Extensibility. In: Petri Nets, Lecture Notes in Computer Science 7927. Springer, pp. 400–409. Available at http://dx.doi.org/10.1007/978-3-642-38697-8_22.
  13. Shaojie Zhang & Yang Liu (2010): An Automatic Approach to Model Checking UML State Machines. In: SSIRI (Companion). IEEE Computer Society, pp. 1–6. Available at http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.11.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org