Matching entries: 0
settings...
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C and Wehrheim H (2008), "From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations", In Proceedings of the 4th European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2008), Berlin (Germany). Berlin/Heidelberg, July, 2008. Vol. 5095, pp. 95-109. Springer.
Abstract: Model transformations support a model-driven design by providing an automatic translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful application of model transformations is their correctness, in the sense that the meaning (semantics) of the models is preserved. This is especially important if the models not only describe the structure but also the intended behaviour of the systems. Reasoning about and showing correctness is, however, often impossible as the source and target models typically lack a precise definition of their semantics.In this paper, we take a first step towards provably correct behavioural model transformations. In particular, we develop transformations from UML Activities (which are visual models) to programs in TAAL, which is a textual Java-like programming language. Both languages come equipped with formal behavioural semantics, which, moreover, have the same semantic domain. This sets the stage for showing correctness, which in this case comes down to showing that the behaviour of every (well-formed) UML Activity coincides with that of the corresponding TAAL program, in a well-defined sense.
BibTeX:
@inproceedings{Engels08-2,
  author = {Gregor Engels AND Anneke Kleppe AND Arend Rensink AND Maria Semenyak AND Christian Soltenborn AND Heike Wehrheim},
  editor = {I. Schieferdecker, A. Hartman},
  title = {From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations},
  booktitle = {Proceedings of the 4th European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2008), Berlin (Germany)},
  publisher = {Springer},
  year = {2008},
  volume = {5095},
  pages = {95--109},
  doi = {http://link.springer.com/chapter/10.1007%2F978-3-540-69100-6_7}
}
Engels G, Soltenborn C and Wehrheim H (2007), "Analysis of UML Activities Using Dynamic Meta Modeling", In Proceedings of the conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2006), Oslo (Norway). Berlin/Heidelberg, June, 2007. Vol. 4468, pp. 76-90. Springer.
Abstract: Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly understandable yet precise semantic models which in particular allow for a formal analysis. In this paper, we exemplify this by showing how DMM can be used to give a semantics to and define an associated analysis technique for UML Activities.
BibTeX:
@inproceedings{Engels2007a,
  author = {Gregor Engels AND Christian Soltenborn AND Heike Wehrheim},
  editor = {M. M. Bosangue, E. Broch Johnsen},
  title = {Analysis of UML Activities Using Dynamic Meta Modeling},
  booktitle = {Proceedings of the conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2006), Oslo (Norway)},
  publisher = {Springer},
  year = {2007},
  volume = {4468},
  pages = {76--90},
  doi = {http://link.springer.com/chapter/10.1007%2F978-3-540-72952-5_5}
}
Engels G, Hausmann JH, Heckel R and Sauer S (2000), "Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML", In Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK). Berlin/Heidelberg Vol. 1939, pp. 323-337. Springer.
Abstract: In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a speci.cation of the system's dynamics by means of collaboration diagrams. In this way, it is possible to de.ne the behavior of UML diagrams within UML.The conceptual idea is inherited from Plotkin's structured operational semantics (SOS) paradigm, a style of semantics speci.cation for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams.Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users.
BibTeX:
@inproceedings{Hausmann2000,
  author = {Gregor Engels AND Jan Hendrik Hausmann AND Reiko Heckel AND Stefan Sauer},
  editor = {A. Evans, S. Kent, B. Selic},
  title = {Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML},
  booktitle = {Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)},
  publisher = {Springer},
  year = {2000},
  volume = {1939},
  pages = {323--337},
  note = {Third International Conference},
  doi = {http://link.springer.com/chapter/10.1007%2F3-540-40011-7_23}
}
Hausmann JH, Heckel R and Sauer S (2001), "Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams", In Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy). Washington, DC, USA, September, 2001. , pp. 80-87. IEEE Computer Society.
Abstract: The Unified Modeling Language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML's built-in semantic variation points and extension mechanisms. The semantics specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter. Feasible semantics approaches must thus allow advanced UML modelers to define domain-specific language extensions in a precise, yet usable manner. We have proposed dynamic meta modeling for specifying operational semantics of UML behavioral diagrams based on UML collaboration diagrams that are interpreted as graph transformation rules. Herein we show how this approach can be advanced to specify the semantics of UML extensions. As a case study we specify the operational semantics of UML sequence diagrams and extend this specification to include features for modeling multimedia applications.
BibTeX:
@inproceedings{Hausmann2001,
  author = {Jan Hendrik Hausmann AND Reiko Heckel AND Stefan Sauer},
  title = {Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams},
  booktitle = {Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)},
  publisher = {IEEE Computer Society},
  year = {2001},
  pages = {80--87}
}
Luckey M, Gerth C, Soltenborn C and Engels G (2011), "QUAASY - QUality Assurance of Adaptive SYstems", In Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11)., June, 2011. ACM.
Abstract: The emerging approach to tackle the increasing complexity of today's software systems is the use of self-adaptation techniques. Modeling and implementing adaptivity features is a burdensome and error-prone task that potentially results in erroneous system models. As a consequence, quality analysis and assurance must be considered early in the development of self-adaptive systems.We propose a quality assurance approach for self-adaptive systems in terms of an integrated modeling and analysis approach, which helps identifying errors in modeled self-adaptive systems early in the design process. We employ a modeling language for self-adaptive systems including adaptation rules and formally define their semantics. Given the language and its formal semantics, we formulate quality properties, such as fairness of the specified adaptation rule system. These quality properties are verified using a model checking approach.
BibTeX:
@inproceedings{quaasy_poster11,
  author = {Markus Luckey AND Christian Gerth AND Christian Soltenborn AND Gregor Engels},
  title = {QUAASY - QUality Assurance of Adaptive SYstems},
  booktitle = {Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11)},
  publisher = {ACM},
  year = {2011},
  doi = {http://dl.acm.org/citation.cfm?doid=1998582.1998617}
}
Soltenborn C and Engels G (2009), "Towards Test-Driven Semantics Specification", In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA). Berlin/Heidelberg Vol. 5795, pp. 378-392. Springer.
Abstract: Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be defined formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking techniques.However, if the semantics specification itself contains errors, it is more or less useless, since one cannot rely on the analysis results. Therefore, the language engineer must make sure that the semantics he develops is of the highest quality possible. To help the language engineer to achieve that goal, we propose a test-driven semantics specification process: the semantics of the language under consideration is first informally demonstrated using example models, which will then be used as test cases during the actual semantics specification process. In this paper, we present this approach using the already mentioned specification language DMM.
BibTeX:
@inproceedings{Soltenborn2009a,
  author = {Christian Soltenborn AND Gregor Engels},
  editor = {A. Schürr, B. Selic},
  title = {Towards Test-Driven Semantics Specification},
  booktitle = {Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)},
  publisher = {Springer},
  year = {2009},
  volume = {5795},
  pages = {378--392},
  doi = {http://link.springer.com/chapter/10.1007%2F978-3-642-04425-0_30}
}
Engels G, Fisseler D and Soltenborn C (2009), "Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding", In Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA). Piscataway, NJ (USA) , pp. 39-46. IEEE Computer Society.
Abstract: Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at languages equipped with a metamodel. In DMM, the metamodel of a language is mapped into a runtime metamodel able to express runtime states of instances of that language. In addition, graph transformation rules are defined which describe how these runtime states change in time. Given an instance of the runtime metamodel and a set of rules typed over that metamodel, a transition system can be computed which represents the semantics of the model instance under investigation.To be easily understandable by language engineers, DMM resembles a couple of well-known object-oriented concepts. Part of this is the fact that a DMM rule has many similarities to a method in an object-oriented language.In this paper, we enhance DMM such that DMM rules can "override" other DMM rules, similar to a method being overridden in a subclass. We argue that this does not only have positive impact on reusability of DMM specifications, but also improves the intuitive understandability of DMM rules.
BibTeX:
@inproceedings{Soltenborn2009b,
  author = {Gregor Engels AND Daniela Fisseler AND Christian Soltenborn},
  editor = {R. DeLine, M. Minas, M. Erwig},
  title = {Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding},
  booktitle = {Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)},
  publisher = {IEEE Computer Society},
  year = {2009},
  pages = {39--46},
  note = {Best Paper of VL/HCC 2009.},
  doi = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5295302}
}
Bandener N, Soltenborn C and Engels G (2011), "Extending DMM Behavior Specifications for Visual Execution and Debugging", In Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010). Berlin/Heidelberg Vol. 6563, pp. 357-376. Springer.
Abstract: Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at behavioral languages equipped with a metamodel defining the language's abstract syntax. Given a model and a DMM specifification, a transition system can be computed which represents the semantics of that model. It allows for the investigation of the model's behavior, e.g. for the sake of understanding the model's semantics or to verify that certain requirements are fufilled. However, due to a number of reasons such as tooling and the size of the resulting transition systems, the manual inspection of the resulting transition system is cumbersome.One solution would be a visualisation of the model's behavior using animated concrete syntax. In this paper, we show how we have enhanced DMM such that visual execution and debugging can be added to a language in a simple manner.
BibTeX:
@inproceedings{Soltenborn2010,
  author = {Nils Bandener AND Christian Soltenborn AND Gregor Engels},
  editor = {B. Malloy, S. Staab, M. van den Brand},
  title = {Extending DMM Behavior Specifications for Visual Execution and Debugging},
  booktitle = {Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)},
  publisher = {Springer},
  year = {2011},
  volume = {6563},
  pages = {357--376},
  doi = {http://link.springer.com/chapter/10.1007%2F978-3-642-19440-5_24}
}