Role of model transformation in method engineering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2348, Issue , 2002, Pages 626-642

  Saeki, Motoshi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; INFORMATION SYSTEMS; SEMANTICS; SYSTEMS ENGINEERING;

CLASS DIAGRAMS; FORMAL DESCRIPTION; FORMAL SEMANTICS; GRAPH GRAMMAR; METHOD ENGINEERING; MODEL TRANSFORMATION; TRANSFORM MODELS; TRANSFORMATION RULES;

FORMAL METHODS;

EID: 78650747387     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (22)

1. XML: eXtensible Markup Language. ftp://ftp.omg.org/pub/docs/ad/, 1996.
2. Meta Object Facility (MOF) Speicication. ftp://ftp.omg.org/pub/docs/ad/, 2000.
3. 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.
4. 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.
5. R. Bourdeau and B. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Trans. on Software Engineering, 21(10):799-821, 1995.
6. S. Brinkkemper. Formalisation of Information Systems Modelling. Thesis Publisher, 1990.
7. S. Brinkkemper. Method Engineering: Engineering of Information Systems Development Methods and Tools. Information and Software Technology, 37(11), 1995.
8. S. Brinkkemper, M. Saeki, and F. Harmsen. Meta-Modelling Based Assembly Techniques for Situational Method Engineering. Information Systems, 24(3):209–228, 1999.
9. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999.
10. 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.
11. C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986.
12. K. Kronlöf, editor. Method Integration – Concepts and Case Studies. Wiley, 1993
13. 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.
14. B. Potter, J. Sinclair, and D. Till. An Introduction to Formal Specification and Z. Prentice Hall, 1996.
15. 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.
16. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lonrensen. Object- Oriented Modeling and Design. Prentice-Hall, 1991.
17. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
18. M. Saeki and K. Wenyin. Specifying Software Specification & Design Methods. In Lecture Notes in Computer Science (CAiSE’94), pages 353–366. Springer-Verlag, 1994.
19. A. Schurr. Developing Graphical (Software Engineering) Tools with PROGRES. In Proc. of 19th International Conference on Software Engineering (ICSE’97), pages 618–619, 1997.
20. 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.
21. 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.
22. 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.