Goal driven architecture development using LEAP
Article
Clark, T. and Barn, B. 2013. Goal driven architecture development using LEAP. Enterprise Modelling and Information Systems Architectures. 8 (1), pp. 40-61. https://doi.org/10.1007/BF03345928
Type | Article |
---|---|
Title | Goal driven architecture development using LEAP |
Authors | Clark, T. and Barn, B. |
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. |
Publisher | Springer |
Journal | Enterprise Modelling and Information Systems Architectures |
ISSN | 1866-3621 |
Publication dates | |
2013 | |
Publication process dates | |
Deposited | 22 Apr 2015 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.1007/BF03345928 |
Language | English |
https://repository.mdx.ac.uk/item/8508v
62
total views0
total downloads0
views this month0
downloads this month