Hide metadata

dc.date.accessioned2013-03-12T08:02:56Z
dc.date.available2013-03-12T08:02:56Z
dc.date.issued2010en_US
dc.date.submitted2010-01-29en_US
dc.identifier.citationGrønmo, Roy. Using Concrete Syntax in Graph-based Model Transformations. Doktoravhandling, University of Oslo, 2010en_US
dc.identifier.urihttp://hdl.handle.net/10852/10142
dc.description.abstractThe 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.eng
dc.language.isoengen_US
dc.relation.haspart1. 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: http://dx.doi.org/10.1007/978-3-540-89020-1_23
dc.relation.haspart2. 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: http://dx.doi.org/10.1007/978-3-540-69100-6_18
dc.relation.haspart3. 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: http://dx.doi.org/10.1007/978-3-540-69927-9_9
dc.relation.haspart4. 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: http://dx.doi.org/10.1007/978-3-642-02674-4_2
dc.relation.haspart5. 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: http://dx.doi.org/10.1007/978-3-642-02408-5_6
dc.relation.haspart6. Roy Grønmo and Birger Møller-Pedersen. Concrete Syntax-based Graph Transformation. Research Report 389, Dept. of Informatics, Univ. of Oslo, Norway, 2009
dc.relation.haspart7. 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
dc.relation.urihttp://dx.doi.org/10.1007/978-3-540-89020-1_23
dc.relation.urihttp://dx.doi.org/10.1007/978-3-540-69100-6_18
dc.relation.urihttp://dx.doi.org/10.1007/978-3-540-69927-9_9
dc.relation.urihttp://dx.doi.org/10.1007/978-3-642-02674-4_2
dc.relation.urihttp://dx.doi.org/10.1007/978-3-642-02408-5_6
dc.titleUsing Concrete Syntax in Graph-based Model Transformationsen_US
dc.typeDoctoral thesisen_US
dc.date.updated2012-09-17en_US
dc.creator.authorGrønmo, Royen_US
dc.subject.nsiVDP::420en_US
cristin.unitcode150500en_US
cristin.unitnameInformatikken_US
dc.identifier.bibliographiccitationinfo:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Grønmo, Roy&rft.title=Using Concrete Syntax in Graph-based Model Transformations&rft.inst=University of Oslo&rft.date=2010&rft.degree=Doktoravhandlingen_US
dc.identifier.urnURN:NBN:no-24448en_US
dc.type.documentDoktoravhandlingen_US
dc.identifier.duo98861en_US
dc.contributor.supervisorBirger Møller-Pedersen, Stein Krogdahl & Øystein Haugenen_US
dc.identifier.bibsys10145743xen_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/10142/1/Groenmo-avhandling-publ.pdf


Files in this item

Appears in the following Collection

Hide metadata