Skip to main navigation Skip to search Skip to main content

Round-trip modeling using OPM/PL

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations

    Abstract

    In this work we present OPM/PL, a suite of modeling tools based on the Object-Process Methodology (OPM) and implemented in Prolog. OPM/PL includes tools for model authoring, querying and visualization, as well as code parsing and code generation. OPM/PL aims at integrating the information from the source code, models and requirements of a software project into a single database with a uniform format. This approach extends the role of a modeling tool to include a representation of the code and its relations to the model. The OPM/PL database contains both model elements and information from code parsing. This combined representation allows developers to flesh out a model from existing code, and update the code according changes in the model. Thus, OPM/PL provides a system for round-trip modeling.

    Original languageEnglish
    Title of host publicationSwSTE2010
    Subtitle of host publicationIEEE International Conference on Software Science, Technology, and Engineering
    Pages13-21
    Number of pages9
    DOIs
    StatePublished - 15 Sep 2010
    EventIEEE International Conference on Software Science, Technology, and Engineering, SwSTE2010 - Herzlia, Israel
    Duration: 15 Jun 201016 Jun 2010

    Publication series

    NameSwSTE2010: IEEE International Conference on Software Science, Technology, and Engineering

    Conference

    ConferenceIEEE International Conference on Software Science, Technology, and Engineering, SwSTE2010
    Country/TerritoryIsrael
    CityHerzlia
    Period15/06/1016/06/10

    Keywords

    • Logic programming
    • Object-process methodology
    • Reverse engineering
    • Software engineering

    ASJC Scopus subject areas

    • Software

    Fingerprint

    Dive into the research topics of 'Round-trip modeling using OPM/PL'. Together they form a unique fingerprint.

    Cite this