Consistency-Preserving Model Evolution through Transformations
With model-based development being on the verge of becoming in industrial standard, the topic of research of statically checking the consistency of model made up of several submodels has already received increasing attention.The evolution of models within software engineering requires support for increment l consistency analysis techniques of new version of the model after evolution, thereby voiding complete reiteration of all consistency tests.
In this paper, we discuss the problem of preserving consistency within model-based evolution focusing on UML-RT models. We introduce the concept of model transformation rule that captures an evolution step. Composition of several evolution steps leads to complex evolution of model. For each evolution step, we study the effects on the consistency of the overall model and provide localized consistency checks for those parts of the model that have changed. For complex evolution of model, consistency can then be established by incrementally performing those localized consistency checks associated to the transformation rules applied within the evolution.
KeywordsTransformation Rule Graph Transformation Graph Grammar Consistency Property Communicate Sequential Process
Unable to display preview. Download preview PDF.
- H. Ehrig, M. Pfender, and H. Schneider. Graph grammars:an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory pages 167–180. IEEE,1973.Google Scholar
- G. Engels, R. Heckel, and J.M. Küster. Rule-based specification of behavioral consistency based on the UML met-model.In M. Gogolla and C. Kobryn, editors,UML 2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools., 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings volume 2185 of LNCS pages 272–287.Springer, 2001.CrossRefGoogle Scholar
- G. Engels, J.M. Küster, L. Groenewegen, and R. Heckel. Amethodology for specifying and analyzing consistency of object-oriented behavior l models.In V. Gruhn,editor, Proceedings of the 8th European Software Engineering Conference (ESEC),pages 186–195.ACM Press, 2001.Google Scholar
- Formal Systems Europe (Ltd).Failures-Divergence-Refinement: FDR2 User Manual 1997.Google Scholar
- J.-J. Hiemer.Statecharts in CSP: Ein Prozessmodell in CSP zur Analyse von STATEMATE-Statecharts DrKovac Verlag,1999.Google Scholar
- C.A.R. Hoare.Communicating Sequential Processes Prentice Hall,1985.Google Scholar
- J. Jahnke and A. Zündorf.Using graph grammars for building the VARLET database reverse engineering environment.In G. Engels, H.-J. Kreowski, and G. Rozenberg,editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools World Scientific, 1999.Google Scholar
- M. Löwe.Evolution patterns. Postdoctoral thesis, Technical University of Berlin. Tech.Report 98-4, Dept.of Comp.Sci,1997.Google Scholar
- W. McUmber and B. Cheng. AGeneral Framework for Formalizing UML with Formal Languages.In Proceedings 23rd International Conference on Software Engineering IEEE Computer Society, May 2001.Google Scholar
- T. Mens, S. Demeyer, and D. Janssens. Object-oriented refactoring using graph rewriting.Technical Report vub-prog-tr-02-01,Vrije Universiteit Brussel, 2001.Google Scholar
- Object Management Group.Model driven architecture,2001. http://www.omg.org/mda
- A.W. Roscoe. The Theory and Practice of Concurrency Prentice Hall,1998.Google Scholar
- B. Rumpe, M. Schoenmakers, A. Radermacher, and A. Schürr.UML +ROOMs standard ADL? In Proc. ICECCS’99 Fifth IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA IEEE Computer Society Press,1999.Google Scholar
- G. Sunyé, D. Pollet, Y. LeTron, and J.-M. Jézéquel. Refactoring UML models. In M. Gogolla and C. Kobryn,editors,UML 2001-The Unified Modeling Language.Modeling Languages, Concepts, and Tools., 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings volume 2185 of LNCS pages 134–148.Springer, 2001.CrossRefGoogle Scholar
- M. Wermelinger and J. Fiadero. A graph transformation approach to software architecture reconfiguration.In H. Ehrig and G. Taentzer, editors, Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (Gra-Tra’2000), Berlin, Germany March 2000.Google Scholar