Goal driven architecture development using LEAP

CLARK, Tony and BARN, Balbir (2013). Goal driven architecture development using LEAP. Enterprise Modelling and Information Systems Architectures, 8 (1), 40-61.

Full text not available from this repository.
Official URL: https://www.emisa-journal.org/emisa/article/view/1...
Related URLs:


    Methods for goal driven system engineering exist and propose a number of categories of goals including behavioural, formal, informal and non-functional. This article goes further than existing goal driven approaches by linking goals directly to the semantics of an architectural modelling language called LEAP with an operational semantics. The behavioural goals are expressed using a Linear Temporal Logic and the non-functional goals are expressed as functions over meta-properties of the model. The meta-properties are supported using an encoding represented using Java reflection. The article describes the LEAP approach using a simple case study written in the LEAP language supported by the LEAP toolset.

    Item Type: Article
    Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
    Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
    Identification Number: https://doi.org/10.18417/issn.1866-3621
    Page Range: 40-61
    Depositing User: Tony Clark
    Date Deposited: 25 Apr 2016 13:22
    Last Modified: 18 Mar 2021 18:15
    URI: https://shura.shu.ac.uk/id/eprint/12053

    Actions (login required)

    View Item View Item


    Downloads per month over past year

    View more statistics