Sammendrag
The emergence of large and complex software systems increases the interest in model-driven engineering, as a way to lower the cost of development and maintenance of software. Models allow us to hide irrelevant details, provide different model viewpoints, and isolate and modularize models of cross-cutting concerns of a system. The emerging technologies for aspectoriented modeling and weaving provide a systematic way to handle cross-cutting concerns at the modeling level. The success of model-driven engineering relies heavily on model transformations. This thesis describes how aspect-oriented modeling and many typical model transformations can be defined as aspects/rules that: (1) use the concrete syntax of the involved modeling languages, and (2) use graph transformation principles as its foundation. The thesis presents two main results. The first main result is an aspect language for UML 2 sequence diagrams. The language takes advantage of a formal model for sequence diagrams, which makes the matching and weaving process semantics-based. For this language we provide a confluence theory. The second main result is an approach to define many typical model transformations as graph transformations, where the transformation designer uses the concrete syntax of the involved modeling languages. Some typical model transformation examples are illustrated in this thesis, i.e. transformation from feature models to BPMN, UML activity diagram aspects, UML activity diagram refactoring, UML state machine refactoring, transformation from sequence diagrams to state machines, and transformations involving Petri nets. A collection operator has been introduced as a means to match and transform collections of similar subgraphs in graph transformations, using either concrete or abstract syntax. This allows for improved usability in transformations that would otherwise be complex or impractical to specify.
Artikkelliste
1. Roy Grønmo and Birger Møller-Pedersen. Aspect Diagrams for UML Activity Models. In proceedings Applications of Graph Transformations with Industrial Relevance, Third International Symposium, Revised Selected and Invited Papers, pages 329-344, Lecture Notes in Computer Science, Springer, 2008. The paper is not available in DUO. The published version is available at: https://doi.org/10.1007/978-3-540-89020-1_23 |
2. Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, and Stein Krogdahl. A Semantics-based Aspect Language for Interactions with the Arbitrary Events Symbol. In proceedings Model Driven Architecture - Foundations and Applications, 4th European Conference, pages 262-277, Lecture Notes in Computer Science, Springer, 2008. The paper is not available in DUO. The published version is available at: https://doi.org/10.1007/978-3-540-69100-6_18 |
3. Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, and Stein Krogdahl. Semantics-BasedWeaving of UML Sequence Diagrams. In proceedings Theory and Practice of Model Transformations, First International Conference, pages 122-136, Lecture Notes in Computer Science, Springer, 2008 The paper is not available in DUO. The published version is available at: https://doi.org/10.1007/978-3-540-69927-9_9 |
4. Roy Grønmo, Birger Møller-Pedersen, and Gøran K Olsen. Comparison of Three Model Transformation Languages. In proceedings Model Driven Architecture - Foundations and Applications, 5th European Conference, pages 2-17, Lecture Notes in Computer Science, Springer, 2009. The paper is not available in DUO. The published version is available at: https://doi.org/10.1007/978-3-642-02674-4_2 |
5. Roy Grønmo, Stein Krogdahl and Birger Møller-Pedersen. A Collection Operator for Graph Transformation. In proceedings Theory and Practice of Model Transformations, Second International Conference, pages 67-82, Lecture Notes in Computer Science, Springer, 2009. The paper is not available in DUO. The published version is available at: https://doi.org/10.1007/978-3-642-02408-5_6 |
6. Roy Grønmo and Birger Møller-Pedersen. Concrete Syntax-based Graph Transformation. Research Report 389, Dept. of Informatics, Univ. of Oslo, Norway, 2009 |
7. Roy Grønmo, Ragnhild Kobro Runde, and Birger Møller-Pedersen. Confluence of Aspects for Sequence Diagrams. Research Report 390, Dept. of Informatics, Univ. of Oslo, Norway, 2009 |