Model-driven development with the JABC

Bernhard Steffen; Tiziana Margaria; Ralf Nagel; Sven Jorges; Christian Kubczak

doi:10.1007/978-3-540-70889-6_7

Model-driven development with the JABC

Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Jorges, Christian Kubczak

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We present the jABC, a framework for model driven application development based on Lightweight Process Coordination. With jABC, users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into hierarchical (flow-) graph structures that are executable models of the application. This process is supported by an extensible set of plugins providing additional functionalities, so that the jABC models can be animated, analyzed, simulated, verified, executed and compiled. This way of handling the collaborative design of complex software systems has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.

Original language	English
Title of host publication	Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers
Publisher	Springer Verlag
Pages	92-108
Number of pages	17
ISBN (Print)	9783540708889
DOIs	https://doi.org/10.1007/978-3-540-70889-6_7
Publication status	Published - 2007
Externally published	Yes
Event	2nd International Haifa Verification Conference, HVC 2006 - Haifa, Israel Duration: 23 Oct 2006 → 26 Oct 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4383 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Haifa Verification Conference, HVC 2006
Country/Territory	Israel
City	Haifa
Period	23/10/06 → 26/10/06

Access to Document

10.1007/978-3-540-70889-6_7

Cite this

Steffen, B., Margaria, T., Nagel, R., Jorges, S., & Kubczak, C. (2007). Model-driven development with the JABC. In Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers (pp. 92-108). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4383 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-70889-6_7

Steffen, Bernhard ; Margaria, Tiziana ; Nagel, Ralf et al. / Model-driven development with the JABC. Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer Verlag, 2007. pp. 92-108 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{24d326bbbd514d9bbcbb29d2d4141219,

title = "Model-driven development with the JABC",

abstract = "We present the jABC, a framework for model driven application development based on Lightweight Process Coordination. With jABC, users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into hierarchical (flow-) graph structures that are executable models of the application. This process is supported by an extensible set of plugins providing additional functionalities, so that the jABC models can be animated, analyzed, simulated, verified, executed and compiled. This way of handling the collaborative design of complex software systems has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.",

author = "Bernhard Steffen and Tiziana Margaria and Ralf Nagel and Sven Jorges and Christian Kubczak",

year = "2007",

doi = "10.1007/978-3-540-70889-6_7",

language = "English",

isbn = "9783540708889",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "92--108",

booktitle = "Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers",

note = "2nd International Haifa Verification Conference, HVC 2006 ; Conference date: 23-10-2006 Through 26-10-2006",

}

Steffen, B, Margaria, T, Nagel, R, Jorges, S & Kubczak, C 2007, Model-driven development with the JABC. in Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4383 LNCS, Springer Verlag, pp. 92-108, 2nd International Haifa Verification Conference, HVC 2006, Haifa, Israel, 23/10/06. https://doi.org/10.1007/978-3-540-70889-6_7

Model-driven development with the JABC. / Steffen, Bernhard; Margaria, Tiziana; Nagel, Ralf et al.
Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer Verlag, 2007. p. 92-108 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4383 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Model-driven development with the JABC

AU - Steffen, Bernhard

AU - Margaria, Tiziana

AU - Nagel, Ralf

AU - Jorges, Sven

AU - Kubczak, Christian

PY - 2007

Y1 - 2007

N2 - We present the jABC, a framework for model driven application development based on Lightweight Process Coordination. With jABC, users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into hierarchical (flow-) graph structures that are executable models of the application. This process is supported by an extensible set of plugins providing additional functionalities, so that the jABC models can be animated, analyzed, simulated, verified, executed and compiled. This way of handling the collaborative design of complex software systems has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.

AB - We present the jABC, a framework for model driven application development based on Lightweight Process Coordination. With jABC, users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into hierarchical (flow-) graph structures that are executable models of the application. This process is supported by an extensible set of plugins providing additional functionalities, so that the jABC models can be animated, analyzed, simulated, verified, executed and compiled. This way of handling the collaborative design of complex software systems has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.

UR - http://www.scopus.com/inward/record.url?scp=38049113286&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-70889-6_7

DO - 10.1007/978-3-540-70889-6_7

M3 - Conference contribution

AN - SCOPUS:38049113286

SN - 9783540708889

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 92

EP - 108

BT - Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers

PB - Springer Verlag

T2 - 2nd International Haifa Verification Conference, HVC 2006

Y2 - 23 October 2006 through 26 October 2006

ER -

Steffen B, Margaria T, Nagel R, Jorges S, Kubczak C. Model-driven development with the JABC. In Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer Verlag. 2007. p. 92-108. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-70889-6_7

Model-driven development with the JABC

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this