Goal Driven Architecture Development using LEAP


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.

Publication DOI: https://doi.org/10.18417/emisa.8.1.3
Divisions: College of Engineering & Physical Sciences
Additional Information: Authors grant the journal 'Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling' and the Gesellschaft für Informatik e.V. (GI) the permission to license their work under a Creative Commons BY-SA 4.0 license that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
Publication ISSN: 1866-3621
Last Modified: 27 Dec 2023 08:50
Date Deposited: 31 May 2018 10:05
Full Text Link:
Related URLs: https://emisa-j ... rticle/view/101 (Publisher URL)
PURE Output Type: Article
Published Date: 2015-12-07
Published Online Date: 2013-03
Authors: Clark, Tony (ORCID Profile 0000-0003-3167-0739)
Barn, Balbir



Version: Published Version

License: Creative Commons Attribution Share Alike

| Preview

Export / Share Citation


Additional statistics for this record