Model-driven consistency checking of behavioural specifications

Proceedings - Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007

Volumn , Issue , 2007, Pages 115-126

  Graaf, Bas ^a   Van Deursen, Arie ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONFORMAL MAPPING; EMBEDDED SYSTEMS;

MODEL DRIVEN ARCHITECTURE; SCENARIOS; STATE MACHINES; UML;

BEHAVIORAL RESEARCH;

EID: 34548191582     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MOMPES.2007.12     Document Type: Conference Paper

References (19)

1. M. M. Lehman and L. A. Belady, eds. Program evolution: processes of software change. Academic Press, 1985.
2. nd edition, 1995.
3. Ivar Jacobson. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.
4. Desmond Francis D' Souza and Alan Cameron Wills. Objects, Components, and Frameworks with UML : The Catalysis Approach. Addison-Wesley, 1998.
5. Phillipe Kruchten. The Rational Unified Process. Addison-Wesley, 1998.
6. Ivar Jacobson, Grady Booch, and James Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
7. Bran Selic, Garth Gullekson, and Paul T. Ward. RealTime Object-Oriented Modeling. Wiley, 1994.
8. Daniel Amyot and Armin Eberlein. An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommunication Systems, 24(1), September 2003.
9. Yves Bontemps, Patrick Heymans, and Pierre-Yves Schobbens. From live sequence charts to state machines and back: A guided tour. IEEE Trans. Software Engineering, 31(12):999-1014, December 2005.
10. nd Int'l Conf. Software Engineering (ICSE 2000), pages 314-323. IEEE CS, 2000.
11. L. A. J. Dohmen and L. J Somers. Experiences and lessons learned using UML-RT to develop embedded printer software. In Proc. PROFES 2002, volume 2559/2003 of LNCS, pages 475-484. Springer-Verlag, 2003.
12. Vitus S.W. Lam and Julian Padget. Analyzing equivalences of uml statechart diagrams by structural congruence and open bisimulations. In Proc. 2003 IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2003), pages 137-144. IEEE CS, October 2003.
13. Timm Schäfer, Alexander Knapp, and Stephan Merz. Model checking uml state machines and collaborations. In Proc. Workshop on Software Model Checking, volume 55 of Electronic Notes in Theoretical Computer Science, pages 357-369. Elsevier, 2001.
14. th Int'l Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2006), pages 5-11. ACM, 2006.
15. Werner Damm and David Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19:45-80, 2001.
16. nd European Workshop on Software Architecture (EWSA 2005). Springer-Verlag, June 2005.
17. Frédéric Jouault and Ivan Kurtev. Transforming models with ATL. In Proc. Model Transformations in Practice Workshop at MoDELS2005, 2005.
18. OMG. OMG Unified Modeling Language Specification, Version 1.4. http://www.uml.org, 2001.
19. ATL Transformations Zoo. http://www.eclipse.org/gmt/atl/ atlTransformations/#UMLSD2STMD.