Domain-specific languages for enterprise systems

TY - GEN

T1 - Domain-specific languages for enterprise systems

AU - Andersen, Jesper

AU - Bahr, Patrick

AU - Henglein, Fritz

AU - Hvitved, Tom

N1 - Conference code: 6

PY - 2014

Y1 - 2014

N2 - The process-oriented event-driven transaction systems (POETS) architecture introduced by Henglein et al. is a novel software architecture for enterprise resource planning (ERP) systems. POETS employs a pragmatic separation between (i) transactional data, that is, what has happened; (ii) reports, that is, what can be derived from the transactional data; and (iii) contracts, that is, which transactions are expected in the future. Moreover, POETS applies domain-specific languages (DSLs) for specifying reports and contracts, in order to enable succinct declarative specifications as well as rapid adaptability and customisation. In this paper we present an implementation of a generalised and extended variant of the POETS architecture. The extensions amount to a customisable data model based on nominal subtyping; support for run-time changes to the data model, reports and contracts, while retaining full auditability; and support for referable data that may evolve over time, also while retaining full auditability as well as referential integrity. Besides the revised architecture, we present the DSLs used to specify data definitions, reports, and contracts respectively. Finally, we illustrate a use case scenario, which we implemented in a trial for a small business.

AB - The process-oriented event-driven transaction systems (POETS) architecture introduced by Henglein et al. is a novel software architecture for enterprise resource planning (ERP) systems. POETS employs a pragmatic separation between (i) transactional data, that is, what has happened; (ii) reports, that is, what can be derived from the transactional data; and (iii) contracts, that is, which transactions are expected in the future. Moreover, POETS applies domain-specific languages (DSLs) for specifying reports and contracts, in order to enable succinct declarative specifications as well as rapid adaptability and customisation. In this paper we present an implementation of a generalised and extended variant of the POETS architecture. The extensions amount to a customisable data model based on nominal subtyping; support for run-time changes to the data model, reports and contracts, while retaining full auditability; and support for referable data that may evolve over time, also while retaining full auditability as well as referential integrity. Besides the revised architecture, we present the DSLs used to specify data definitions, reports, and contracts respectively. Finally, we illustrate a use case scenario, which we implemented in a trial for a small business.

U2 - 10.1007/978-3-662-45234-9_6

DO - 10.1007/978-3-662-45234-9_6

M3 - Article in proceedings

SN - 978-3-662-45233-2

T3 - Lecture notes in computer science

SP - 73

EP - 95

BT - Leveraging applications of formal methods, verification and validation. Technologies for mastering change

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - International Symposium, ISoLA 2014

Y2 - 8 October 2014 through 11 October 2014

ER -