Goal Driven Architecture Development using LEAP

Tony Clark; Balbir Barn

doi:10.18417/emisa.8.1.3

Goal Driven Architecture Development using LEAP

Tony Clark, Balbir Barn

College of Engineering and Physical Sciences

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	40-61
Journal	International Journal of Conceptual Modeling
Volume	8
Issue number	1
Early online date	Mar 2013
DOIs	https://doi.org/10.18417/emisa.8.1.3
Publication status	Published - 7 Dec 2015

Bibliographical note

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.

Access to Document

10.18417/emisa.8.1.3Licence: CC BY-SA 3.0

Goal Driven Architecture Development using LEAP
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.
Final published version, 398 KBLicence: CC BY-SA 3.0

Cite this

@article{e119a74e8971431188cd3a7c3a7be2c9,

title = "Goal Driven Architecture Development using LEAP",

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.",

author = "Tony Clark and Balbir Barn",

note = "Authors grant the journal 'Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling' and the Gesellschaft f{\"u}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.",

year = "2015",

month = dec,

day = "7",

doi = "10.18417/emisa.8.1.3",

language = "English",

volume = "8",

pages = "40--61",

number = "1",

}

TY - JOUR

T1 - Goal Driven Architecture Development using LEAP

AU - Clark, Tony

AU - Barn, Balbir

N1 - 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.

PY - 2015/12/7

Y1 - 2015/12/7

N2 - 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.

AB - 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.

UR - https://emisa-journal.org/emisa/article/view/101

U2 - 10.18417/emisa.8.1.3

DO - 10.18417/emisa.8.1.3

M3 - Article

SN - 1866-3621

VL - 8

SP - 40

EP - 61

JO - International Journal of Conceptual Modeling

JF - International Journal of Conceptual Modeling

IS - 1

ER -

Goal Driven Architecture Development using LEAP

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this