QUT ePrints

Forensic debugging of model transformations

Hibberd, Mark T., Lawley, Michael J., & Raymond, Kerry (2007) Forensic debugging of model transformations. In Engels, Gregor, Opdyke, Bill, Schmidt, Douglas C., & Weil, Frank (Eds.) 10th International Conference, MoDELS 2007: Model Driven Engineering Languages and Systems, October 2007, Nashville, USA.

[img] Accepted Version (PDF 351Kb)

    View at publisher

    Abstract

    Software bugs occur in model-driven development, just as they do with traditional development techniques. We explore the types of bugs that occur in model transformations and identify debugging ap-proaches that can be applied or adapted to a model-driven context. In-vestigation shows that the detailed source-to-target traceability avail-able with model transformations enables effective post-hoc, or forensic, debugging. Forensic debugging techniques are introduced for automated bug localisation in model transformations. The methods discussed are grounded with examples using the Eclipse Modeling Framework (EMF) and Tefkat, a declarative model transformation engine.

    Citations:

    3 times in Web of Science
    Search Google Scholar™

    Citation countsare sourced monthly from Scopus and Web of Science citation databases.

    These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science generally from 1980 onwards.

    Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

    Full-text downloads:

    14 since deposited on 06 Mar 2008
    6 in the past twelve months

    Full-text downloadsdisplays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

    More statistics...
    ID Code: 12874
    Item Type: Conference Paper
    Additional Information: For more information, please refer to the publisher's website (see hypertext link) or contact the author.
    Keywords: MDA MDE MDD Modeling Transformation Debugging
    DOI: 10.1007/978-3-540-75209-7_40
    ISBN: 9783540752080
    ISSN: 0302-9743
    Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300) > Software Engineering (080309)
    Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
    Copyright Owner: Copyright 2007 Springer
    Deposited On: 06 Mar 2008
    Last Modified: 29 Feb 2012 23:36

    Export: EndNote | Dublin Core | BibTeX

    Repository Staff Only: item control page