Towards Consistency-Preserving Model Evolution

International Workshop on Principles of Software Evolution (IWPSE)

Volumn , Issue , 2002, Pages 129-132

  Engels, Gregor ^a   Küster, Jochen M ^a   Heckel, Reiko ^a   Groenewegen, Luuk ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Consistency; Evolution; Object Oriented Modeling; UML

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

CONSISTENCY; EVOLUTION; OBJECT-ORIENTED MODELING; SOFTWARE ARCHITECTURES; UNIFIED MODELING LANGUAGE (UML);

SOFTWARE ENGINEERING;

EID: 1442278879     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512064.512066     Document Type: Conference Paper

References (8)

1. E. Boiten, H. Bowman, J. Derrick, and M. Steen. Viewpoint consistency in Z and LOTOS: A case study. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), volume 1313 of Lecture Notes in Computer Science, pages 644-664. Springer-Verlag, Sept. 1997.
2. G. Engels, J. M. Küster, L. Groenewegen, and R. Heckel. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In V. Gruhn, editor, Proceedings of the 8th European Software Engineering Conference (ESEC), pages 186-195. ACM Press, 2001.
3. Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 User Manual, 1997.
4. C. A. R. Hoare. Communcating Sequential Processes. Prentice Hall, 1985.
5. Object Management Group. Model driven architecture, 2001. http://www.omg.org/mda.
6. Object Modeling Group. Unified Modelling Language Specification, version 1.3, June 1999. URL: uml.shl.com:80/doca/UML1.3/99-06-08.pdf.
7. B. Rumpe, M. Schoenmakers, A. Radermacher, and A. Schürr. UML + ROOM as a standard ADL? In Proc. ICECCS'99 Fifth IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA. IEEE Computer Society Press, 1999.
8. B. Selic. Using UML for modeling complex real-time systems. In F. Mueller and A. Bestavros, editors, Languages, Compilers, and Tools for Embedded Systems, volume 1474 of Lecture Notes in Computer Science, pages 250-262. Springer Verlag, 1998.