A runtime model for fUML

Proceedings of the 7th Workshop on Models@run.time, MRT 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012

Volumn , Issue , 2012, Pages 53-58

  Mayerhofer, Tanja ^a   Langer, Philip ^a   Kappel, Gerti ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DEBUGGERS; EVENT MODEL; EXECUTABLE SYSTEMS; EXECUTABLE UML; OPEN SOURCE IMPLEMENTATION; OPERATIONAL SEMANTICS; RUN-TIME ANALYSIS; RUN-TIME INFORMATION; RUNTIME MODELS; TRACE MODELS; UML MODEL; VIRTUAL MACHINES;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; UNIFIED MODELING LANGUAGE;

MODELS;

EID: 84873823107     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2422518.2422527     Document Type: Conference Paper

References (10)

1. G. S. Blair, N. Bencomo, and R. B. France. Models@run.time. IEEE Computer, 42(10):22-27, 2009.
2. M. Broy, M. V. Cengarle, H. Grönniger, and B. Rumpe. Definition of the system model. In UML 2 Semantics and Applications, pages 61-93. Wiley, 2009.
3. B. R. Bryant, J. Gray, M. Mernik, P. J. Clarke, R. B. France, and G. Karsai. Challenges and directions in formalizing the semantics of modeling languages. Computer Science and Information Systems, 8(2):225-253, 2011.
4. C. Ghezzi, A. Mocci, and M. Sangiorgio. Runtime monitoring of functional component changes with behavior models. In Proc. of MODELS'11, pages 152-166, 2012.
5. A. Hamou-Lhadj and T. C. Lethbridge. A metamodel for the compact but lossless exchange of execution traces. Softw. Syst. Model., 11(1):77-98, 2012.
6. J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen. Empirical assessment of MDE in industry. In Proc. of ICSE '11, pages 471-480, 2011.
7. S. Maoz. Model-based traces. In Proc. of MODELS'08, pages 109-119, 2009.
8. S. J. Mellor and M. J. Balcer. Executable UML: A foundation for model-driven architecture. Addison Wesley, 2002.
9. B. Selic. The less well known UML. In Formal Methods for MDE, volume 7320 of LNCS, pages 1-20. Springer Berlin / Heidelberg, 2012.
10. T. Vogel, S. Neumann, S. Hildebrandt, H. Giese, and B. Becker. Incremental model synchronization for efficient run-time monitoring. In Proc. of MODELS'09, pages 124-139, 2010.