Abstract
This paper discusses two applications of model transformation to method engineering; one is method assembly of diagram based methods and formal methods and the other one is providing formal semantics with meta models by means of the transformation of the meta model descriptions into the formal descriptions. We use Class Diagram to define the meta models, and the models following the meta model can be represented with instance graphs. Thus our model transformation is based on graph grammars. To show and clarify the benefits of model transformation in method engineering, we illustrate the transformation rules and how to transform models. We use two examples; one is a method assembly of Class Diagram and Z and the other one is defining formal semantics of the meta model of Class Diagram.
Chapter PDF
Similar content being viewed by others
References
XML: eXtensible Markup Language. ftp://ftp.omg.org/pub/docs/ad/ , 1996.
Meta Object Facility (MOF) Speicication. ftp://ftp.omg.org/pub/docs/ad/ , 2000.
T. Aoki and T. Katayama. Unification and Consistency Verification of Object-Oriented Analysis Models. In Proc. of 5th Asia-Pacific Softwrae Engineering Conference (APSEC’98), pages 296–303, 1997.
D. Berry and M. Weber. A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations. In Proc. of 1st International Conference on Formal Engineering Methods, pages 38–48, 1997.
R. Bourdeau and B. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Trans. on Software Engineering, 21(10):799–821, 1995.
S. Brinkkemper. Formalisation of Information Systems Modelling. Thesis Publisher, 1990.
S. Brinkkemper. Method Engineering: Engineering of Information Systems Development Methods and Tools. Information and Software Technology, 37(11), 1995.
S. Brinkkemper, M. Saeki, and F. Harmsen. Meta-Modelling Based Assembly Techniques for Situational Method Engineering. Information Systems, 24(3):209–228, 1999.
I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999.
M. Jarke, J. Mylopoulos, J. Schmidt, and Y. Vassiliou. DAIDA: An Environment for Evolving Information Systems. ACM Trans. on Information Systems, 10(1):1–50, 1992.
C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.
K. Kronlöf, editor. Method Integration — Concepts and Case Studies. Wiley, 1993.
C. Pons, R. Giandini, and G. Baum. Dependency Relations Between Models in the Unified Process. In Proc. of 10th International Workshop on Software Specification and Design (IWSSD-10), pages 149–158, 2000.
B. Potter, J. Sinclair, and D. Till. An Introduction to Formal Specification and Z. Prentice Hall, 1996.
J. Ralyte and C. Rolland. An Assembly Process Model for Method Engineering. In Lecture Notes in Comupter Science (CAiSE’01), volume 1626, pages 267–283, 2001.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lonrensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
M. Saeki and K. Wenyin. Specifying Software Specification & Design Methods. In Lecture Notes in Computer Science (CAiSE’94), pages 353–366. Springer-Verlag, 1994.
A. Schurr. Developing Graphical (Software Engineering) Tools with PROGRES. In Proc. of 19th International Conference on Software Engineering (ICSE’97), pages 618–619, 1997.
X. Song and L. J. Osterweil. Experience with an Approach to Comparing Software Design Methodologies. IEEE Trans. on Soft. Eng., 20(5):364–384, 1994.
G. Taentzer, O. Runge, B. Melamed, M. Rudorf, T. Schultzke, and S. Gruner. AGG: The Attributed Graph Grammar System. http://tfs.cs.tu-berlin.de/agg/ , 2001.
E. Wang, H. Richer, and B. Cheng. Formalizing and Integrating the Dynamic Model within OMT*. In Proc. of 19th International Conference on Software Engineering, pages 45–55, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saeki, M. (2002). Role of Model Transformation in Method Engineering. In: Pidduck, A.B., Ozsu, M.T., Mylopoulos, J., Woo, C.C. (eds) Advanced Information Systems Engineering. CAiSE 2002. Lecture Notes in Computer Science, vol 2348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47961-9_43
Download citation
DOI: https://doi.org/10.1007/3-540-47961-9_43
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43738-3
Online ISBN: 978-3-540-47961-1
eBook Packages: Springer Book Archive