publications: - title: "Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams" author: - name: "Marcel van Amstel" link: "http://www.win.tue.nl/~mamstel/index.html" - name: "Christian F. J. Lange" link: "https://researchr.org/alias/christian-f.-j.-lange" - name: "Michel R. V. Chaudron" link: "http://www.win.tue.nl/~mchaudro/" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.119" links: doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.119" tags: - "UML" - "sequence diagrams" - "systematic-approach" researchr: "https://researchr.org/publication/AmstelLC07" cites: 0 citedby: 0 pages: "415-424" booktitle: "compsac" kind: "inproceedings" key: "AmstelLC07" - title: "Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?" author: - name: "Marcel van Amstel" link: "http://www.win.tue.nl/~mamstel/index.html" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Z. Protic" link: "https://researchr.org/alias/z.-protic" - name: "Tom Verhoeff" link: "https://researchr.org/alias/tom-verhoeff" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_5" links: doi: "http://dx.doi.org/10.1007/978-3-540-69927-9_5" tags: - "process algebra" - "UML" - " algebra" - "state machines" - "process modeling" researchr: "https://researchr.org/publication/AmstelBPV08" cites: 0 citedby: 0 pages: "61-75" booktitle: "ICMT" kind: "inproceedings" key: "AmstelBPV08" - title: "Performance in Model Transformations: A Comparison Between ATL and QVT " author: - name: "Marcel van Amstel" link: "http://www.win.tue.nl/~mamstel/index.html" - name: " Steven Bosems" link: "https://researchr.org/alias/steven-bosems" - name: " Luis Ferreira Pires" link: "https://researchr.org/alias/luis-ferreira-pires" - name: "Ivan Kurtev" link: "https://researchr.org/alias/ivan-kurtev" year: "2011" abstract: "Model transformations are increasingly incorporated in software development processes. However, as the system grows performance tends to degrade. We study the factors that impact the performance during the execution of model transformations. We present a performance analysis of three model transformation language engines (ATL, QVT Operational Mappings and QVT Relations) based on various implementations of a single transformation problem and various sizes of the input models. Metric values are extracted from the transformations and input models to analyze what characteristics of both influence the performance of a transformation execution. The results of this anlysis enable the use of metrics to estimate beforehand the performance of a transformation and to choose among implementation alternatives to achieve the best performance." tags: - "model-to-model transformation" - "rule-based" - "QVT Transformations" - "QVT" - "meta-model" - "modeling language" - "modeling" - "transformation language" - "ATL" - "language modeling" - "points-to analysis" - "analysis" - "model-driven development" - "source-to-source" - "transformation system" - "model transformation" - "Meta-Environment" - "QVT Relations" - "performance" - "process modeling" - "transformation" researchr: "https://researchr.org/publication/Amstel-ICMT-2011-0" cites: 0 citedby: 0 pages: "198-212" booktitle: "ICMT" kind: "inproceedings" key: "Amstel-ICMT-2011-0" - title: "Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare" author: - name: "Marcel van Amstel" link: "http://www.win.tue.nl/~mamstel/index.html" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2011" abstract: "Model-driven engineering (MDE) is a software engineering discipline that is gaining popularity, both in academia and industry. One of the integral concepts of MDE is model transformation. The prominent role of model transformations in MDE requires them to be treated in a similar way as traditional software artifacts. Numerous analysis techniques supporting the maintenance process exist for traditional software artifacts. However, few techniques tailored towards analyzing model transformations currently exist. We present in this paper three complementary techniques for the analysis of model transformations. These techniques are mainly focused on increasing the understanding of model transformations. Two of the proposed techniques have already been employed for the analysis of different kinds of software artifacts, viz. metrics, and structure and trace analysis. The third analysis technique, i.e., metamodel coverage analysis is specific for model transformations and does therefore not exist for different kinds of software artifacts." tags: - "model-to-model transformation" - "transformation engineering" - "meta-model" - "modeling" - "points-to analysis" - "analysis" - "source-to-source" - "maintenance" - "software engineering" - "model-driven engineering" - "object-role modeling" - "model transformation" - "Meta-Environment" - "MDE" - "process modeling" - "coverage" - "transformation" researchr: "https://researchr.org/publication/Amstel-ICMT-2011" cites: 0 citedby: 0 pages: "108-122" booktitle: "ICMT" kind: "inproceedings" key: "Amstel-ICMT-2011" - title: "Using Metrics for Assessing the Quality of ASF+SDF Model Transformations" author: - name: "Marcel van Amstel" link: "http://www.win.tue.nl/~mamstel/index.html" - name: "Christian F. J. Lange" link: "https://researchr.org/alias/christian-f.-j.-lange" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_17" links: doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_17" tags: - "model-to-model transformation" - "SDF" - "meta-model" - "source-to-source" - "model transformation" - "Meta-Environment" - "ASF+SDF" - "transformation" researchr: "https://researchr.org/publication/AmstelLB09" cites: 0 citedby: 0 pages: "239-248" booktitle: "ICMT" kind: "inproceedings" key: "AmstelLB09"