Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods

J. Marincic, Angelika H. Mader, H. Wupper, Roelf J. Wieringa

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

    2 Citations (Scopus)
    127 Downloads (Pure)


    Researchers make a significant effort to develop new modelling languages and tools. However, they spend less effort developing methods for constructing models using these languages and tools. We are developing a method for building an embedded system model for formal verification. Our method provides guidelines to build a model and to construct a correctness argument. We start from a high-level formula stating that a plant (a device that performs a task) and its control should satisfy requirements. As our knowledge about the system grows, we refine this formula and the model gradually, in a stepwise non-monotonic process, until we have a description that can be formally verified. In this paper we explain our method on a simple example and compare it briefly with two other methods: requirements progression and the goal-oriented KAOS approach. The requirements progression is an extension of a problem frames approach. The KAOS method is also based on problem frames, but introduces new concepts for describing a system.
    Original languageUndefined
    Title of host publicationIWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames
    Place of PublicationNew York, NY, USA
    PublisherAssociation for Computing Machinery
    Number of pages7
    ISBN (Print)978-1-60558-020-3
    Publication statusPublished - 2008
    Event3rd International Workshop on Applications and Advances of Problem Frames, IWAAP 2008 - Leipzig, Germany
    Duration: 10 May 200810 May 2008

    Publication series



    Workshop3rd International Workshop on Applications and Advances of Problem Frames, IWAAP 2008
    Other10 May 2008


    • EWI-12136
    • IR-64690
    • METIS-250917
    • SCS-Services

    Cite this