Goal driven architecture development using LEAP

Clark, Tony and Barn, Balbir ORCID logoORCID: https://orcid.org/0000-0002-7251-5033 (2013) Goal driven architecture development using LEAP. Enterprise Modelling and Information Systems Architectures, 8 (1) . pp. 40-61. ISSN 1866-3621 [Article] (doi:10.1007/BF03345928)

Abstract

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 Areas: A. > School of Science and Technology
Item ID: 14658
Useful Links:
Depositing User: Tony Clark
Date Deposited: 22 Apr 2015 12:43
Last Modified: 30 May 2019 18:30
URI: https://eprints.mdx.ac.uk/id/eprint/14658

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
3Downloads
6 month trend
429Hits

Additional statistics are available via IRStats2.