The jABC approach to rigorous collaborative development of SCM applications

Martina Hörmann; Tiziana Margaria; Thomas Mender; Ralf Nagel; Bernhard Steffen; Hong Trinh

doi:10.1007/978-3-540-88479-8_52

The jABC approach to rigorous collaborative development of SCM applications

Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh

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

Abstract

Our approach to the model-driven collaborative design of IKEA's P3 Delivery Management Process uses the jABC [9] for model driven mediation and choreography to complement a RUP-based (Rational Unified Process) development process. jABC is a framework for service development based on Lightweight Process Coordination. Users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into (flow-) graph structures that can be animated, analyzed, simulated, verified, executed, and compiled. This way of handling the collaborative design of complex embedded systems has proven to be effective and adequate for the cooperation of non-programmers and non-technical people, which is the focus of this contribution, and it is now being rolled out in the operative practice.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings
Publisher	Springer Verlag
Pages	724-737
Number of pages	14
ISBN (Print)	3540884785, 9783540884781
DOIs	https://doi.org/10.1007/978-3-540-88479-8_52
Publication status	Published - 2008
Externally published	Yes

Publication series

Name	Communications in Computer and Information Science
Volume	17 CCIS
ISSN (Print)	1865-0929

Access to Document

10.1007/978-3-540-88479-8_52

Cite this

Hörmann, M., Margaria, T., Mender, T., Nagel, R., Steffen, B., & Trinh, H. (2008). The jABC approach to rigorous collaborative development of SCM applications. In Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings (pp. 724-737). (Communications in Computer and Information Science; Vol. 17 CCIS). Springer Verlag. https://doi.org/10.1007/978-3-540-88479-8_52

@inproceedings{224528d552854d77ba6c823e2404a43f,

title = "The jABC approach to rigorous collaborative development of SCM applications",

abstract = "Our approach to the model-driven collaborative design of IKEA's P3 Delivery Management Process uses the jABC [9] for model driven mediation and choreography to complement a RUP-based (Rational Unified Process) development process. jABC is a framework for service development based on Lightweight Process Coordination. Users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into (flow-) graph structures that can be animated, analyzed, simulated, verified, executed, and compiled. This way of handling the collaborative design of complex embedded systems has proven to be effective and adequate for the cooperation of non-programmers and non-technical people, which is the focus of this contribution, and it is now being rolled out in the operative practice.",

author = "Martina H{\"o}rmann and Tiziana Margaria and Thomas Mender and Ralf Nagel and Bernhard Steffen and Hong Trinh",

year = "2008",

doi = "10.1007/978-3-540-88479-8_52",

language = "English",

isbn = "3540884785",

series = "Communications in Computer and Information Science",

publisher = "Springer Verlag",

pages = "724--737",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings",

}

Hörmann, M, Margaria, T, Mender, T, Nagel, R, Steffen, B & Trinh, H 2008, The jABC approach to rigorous collaborative development of SCM applications. in Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Communications in Computer and Information Science, vol. 17 CCIS, Springer Verlag, pp. 724-737. https://doi.org/10.1007/978-3-540-88479-8_52

The jABC approach to rigorous collaborative development of SCM applications. / Hörmann, Martina; Margaria, Tiziana; Mender, Thomas et al.
Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Springer Verlag, 2008. p. 724-737 (Communications in Computer and Information Science; Vol. 17 CCIS).

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

TY - GEN

T1 - The jABC approach to rigorous collaborative development of SCM applications

AU - Hörmann, Martina

AU - Margaria, Tiziana

AU - Mender, Thomas

AU - Nagel, Ralf

AU - Steffen, Bernhard

AU - Trinh, Hong

PY - 2008

Y1 - 2008

N2 - Our approach to the model-driven collaborative design of IKEA's P3 Delivery Management Process uses the jABC [9] for model driven mediation and choreography to complement a RUP-based (Rational Unified Process) development process. jABC is a framework for service development based on Lightweight Process Coordination. Users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into (flow-) graph structures that can be animated, analyzed, simulated, verified, executed, and compiled. This way of handling the collaborative design of complex embedded systems has proven to be effective and adequate for the cooperation of non-programmers and non-technical people, which is the focus of this contribution, and it is now being rolled out in the operative practice.

AB - Our approach to the model-driven collaborative design of IKEA's P3 Delivery Management Process uses the jABC [9] for model driven mediation and choreography to complement a RUP-based (Rational Unified Process) development process. jABC is a framework for service development based on Lightweight Process Coordination. Users (product developers and system/software designers) easily develop services and applications by composing reusable building-blocks into (flow-) graph structures that can be animated, analyzed, simulated, verified, executed, and compiled. This way of handling the collaborative design of complex embedded systems has proven to be effective and adequate for the cooperation of non-programmers and non-technical people, which is the focus of this contribution, and it is now being rolled out in the operative practice.

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

U2 - 10.1007/978-3-540-88479-8_52

DO - 10.1007/978-3-540-88479-8_52

M3 - Conference contribution

AN - SCOPUS:84898270276

SN - 3540884785

SN - 9783540884781

T3 - Communications in Computer and Information Science

SP - 724

EP - 737

BT - Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings

PB - Springer Verlag

ER -

Hörmann M, Margaria T, Mender T, Nagel R, Steffen B, Trinh H. The jABC approach to rigorous collaborative development of SCM applications. In Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. Springer Verlag. 2008. p. 724-737. (Communications in Computer and Information Science). doi: 10.1007/978-3-540-88479-8_52

The jABC approach to rigorous collaborative development of SCM applications

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this