Towards dynamic meta modeling of UML extensions: An extensible semantics for UML sequence diagrams

2001 IEEE Symposium on Human-Centric Computing

Volumn , Issue , 2001, Pages 80-87

  Hausmann, Jan Hendrik ^a   Heckel, Reiko ^a   Sauer, Stefan ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Dynamic meta modeling; Extension mechanisms; Graph transformation; Multimedia; UML semantics

Indexed keywords

GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS; MULTIMEDIA SYSTEMS; REAL TIME SYSTEMS; SEMANTICS;

DYNAMIC META MODELING;

COMPUTER PROGRAMMING;

EID: 0035791332     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, and G. Taentzer. Graph transformation for specification and programming. Science of Computer Programming, 34:1-54, 1999.
2. A. Corradini, R. Heckel, and U. Montanari. Graphical operational semantics. In Rolim et al. [20], pages 411-418.
3. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Proc. 6th Intl. Workshop on Theory and Application of Graph Transformation (TAGT'98), volume 1764 of LNCS. Springer-Verlag, 2000.
4. G. Engels, J.H. Hausmann, R. Heckel, and St. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, Proc. UML 2000 - Advancing the Standard, volume 1939 of LNCS, pages 323-337. Springer-Verlag, 2000.
5. A. Evans and S. Kent. Core meta modelling semantics of UML: The pUML approach. In France and Rumpe [6], pages 140-155.
6. R. France and B. Rumpe, editors. Proc. UML'99-Beyond the Standard, volume 1723 of LNCS. Springer-Verlag, 1999.
7. M. Gogolla. Graph transformations on the UML metamodel. In Rolim et al. [20], pages 359-371.
8. J.F. Groote and F. Vandraager. Structured operational semantics and bisimulation as a congruence. Information and Computation, 100:202-260, 1992.
9. M. Große-Rhode, F. Parisi-Presicce, and M. Simeoni. Refinement of graph transformation systems via role expressions. In Ehrig, Engels, Kreowski, and Rozenberg [3], pages 368-382.
10. A. Habel, R. Heckel, and G. Taentzer. Graph grammars with negative application conditions. Fundamenta Informaticae, 26(3,4):287 - 313, 1996.
11. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613-648, 1996.
12. ITU-TS. Recommendation z.120: Message sequence chart (MSC) - Annex B: Algebraic semantics of message sequence charts, ITU-TS, Geneva 1995.
13. A. Knapp. A formal semantics of UML interactions. In France and Rumpe [6], pages 116-130.
14. G.E. Krasner and S.T. Pope. A cookbook for using the model-view-controller user interface paradigm in Smalltalk 80. Journal of Object-Oriented Programming, 1(3):26-49, 1988.
15. P.D. Mosses. Foundations of modular SOS. Technical Report RS-99-54, BRICS, Dept. of Computer Science, Univ. of Aarhus, 1999.
16. Object Management Group. Analysis and design platform task force - white paper on the profile mechanism, April 1999. http://www.omg.org/pub/ docs/ad/99-04-07.pdf.
17. Object Management Group. UML specification version 1.3, June 1999. http://www.omg.org.
18. G. Övergaard. A formal approach to collaborations in the Unified Modeling Language. In France and Rumpe [6], pages 99-115.
19. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, 1981.
20. J. D. P. Rolim et al., editors. Proc. ICALP Workshops 2000, Geneva, Switzerland. Carleton Scientific, 2000.
21. St. Sauer and G. Engels. Extending UML for modeling of multimedia applications. In M, Hirakawa and P. Mussio, editors, Proc. IEEE Symposium on Visual Languages (VL'99), pages 80-87, September 13-16, 1999.
22. A. Schürr and A.J. Winter. UML packages for PRO-grammed Graph REwrite Systems. In Ehrig, Engels, Kreowski, and Rozenberg [3], pages 396-409.