A Runtime Model for fUML

543 views

Published on

This presentation was given at the models@run.time work shop at MODELS 2012 conference.

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
543
On SlideShare
0
From Embeds
0
Number of Embeds
4
Actions
Shares
0
Downloads
21
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

A Runtime Model for fUML

  1. 1. A Runtime Model for fUMLMRT 2012 – 7th International Workshop on Models@run.time p @www.modelexecution.org Tanja Mayerhofer, Philip Langer, Gerti Kappel Business Informatics Group Institute of Software Technology  and Interactive Systems  Vienna University of Technology y gy Favoritenstraße 9‐11/188‐3, 1040 Vienna, Austria phone: +43 (1) 58801‐18804 (secretary), fax: +43 (1) 58801‐18896 office@big.tuwien.ac.at, www.big.tuwien.ac.at
  2. 2. IntroductionFoundational UML (fUML) OMG standard V1.0 released 02/2011 Specification of dynamic semantics for UML class diagram and activity diagram Operational semantics approach specifying a UML virtual machine UML evolves to implementation language 2
  3. 3. Problem Description p Activity … … fUML virtual  fUML virtual machine Output Input? Which activity nodes have been executed?? In which order have the nodes been executed?? Which values have been consumed as input / produced as output by a node?? What other activities have been called?? What has the input / output of a called activity been? 3
  4. 4. ContributionsfUML virtual machine lacks in providing means for1. analyzing the execution  Trace model2. observing the execution state  Event model3. controlling the execution  Command API 4
  5. 5. ContributionsfUML virtual machine lacks in providing means for1. analyzing the execution  Trace model  Chronological execution order  Input / output relationships Input / output relationships  Token flows  Call hierarchies2. observing the execution state  Event model3. controlling the execution  Command API 5
  6. 6. Trace Model Activity1: Add a new student to a lecture student : New student : Student Instantiate student name : name : object : String String Student AddStructuralFeatureValue AddSt t lF t V l Add lecture result : lecture : value : student : Student Lecture Lecture Student 6
  7. 7. Trace ModelInput / Output Relationshipname : String Activity1: Add a new student to a lecture "Alice" student : s : Student New student : Student name = "Alice" Instantiate student name : name : object : String String Student AddStructuralFeatureValue AddSt t lF t V l Add lecture result : lecture : value : student : Student Lecture Student Lecture 7
  8. 8. ContributionsfUML virtual machine lacks in providing means for1. analyzing the execution  Trace model2. observing the execution state  Event model  Start / end of activity execution  Start / end of activity node execution  Suspension of activity execution Suspension of activity execution  Modification of extensional values3. controlling the execution  Command API 8
  9. 9. ContributionsfUML virtual machine lacks in providing means for1. analyzing the execution  Trace model2. observing the execution state  Event model3. controlling the execution  Command API  Start / stop execution  Resume execution until certain activity node  Resume execution stepwise  Retrieve runtime information Retrieve runtime information 9
  10. 10. Future Work Objective: Model execution environment based on fUML, enabling efficient  testing and debugging of models testing and debugging of models  Impact analysis of changes  DSL for specifying assertions on traces  Trace‐based debugging  Automatic derivation of test cases Model  Model  Debugging Testing fUML Model Execution fU L d l i  Execution support for fUML  Execution support for DSML* Execution support for fUML     Execution support for DSML  Specification of operational semantics using fUML  Automatic derivation of execution supportT. Mayerhofer, P. Langer, M. Wimmer. “Towards xMOF: Executable DSMLs based on fUML”. Accepted for publication in:  10 12th Workshop on Domain‐Specific Modeling at SPLASH 2012. 
  11. 11. Thank you! y Debugging and Testing Models Based on fUML www.modelexecution.org d l ti 11

×