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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Active BPEL execution engine, http://www.activevos.com/community-open-source.php
Bakera, M., Renner, C.: GEAR - A Model Checking Plugin for the jABC framework (2007), http://www.jabc.de/modelchecking/
BPEL specifications website, http://www.ibm.com/developerworks/library/specification/ws-bpel/
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
Davis, J.: GME: Generic Modeling Environment, Demonstration session. In: OOPSLA, Anaheim, CA, pp. 82–83. ACM, New York (2003)
Davis, R.: ARIS Design Platform: Advanced Process Modelling and Administration. Springer, Heidelberg (2008)
Fujaba homepage, http://wwwcs.uni-paderborn.de/cs/fujaba/index.html
Hungar, H., Margaria, T., Steffen, B.: Test-Based Model Generation for Legacy Systems. In: IEEE International Test Conference (ITC), Charlotte, NC, September 30 - October 2 (2003)
jABC Website, http://www.jabc.de
Jörges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383. Springer, Heidelberg (2007)
Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. In: WWV 2005. 1st Int’l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15 (2005); Post Workshop Proc. appear in ENTCS
Kozen, D.: Results on the Propositional mu-Calculus. Theoretical Computer Science 27, 333–354 (1983)
Margaria, T.: Web Services-Based Tool-Integration in the ETI Platform. SoSyM, Int. Journal on Software and System Modelling 4(2), 141–156 (2005)
Margaria, T.: Service Is in the Eyes of the Beholder. IEEE Computer 40(11), 33–37 (2007)
Margaria, T.: The Semantic Web Services Challenge: Tackling Complexity at the Orchestration Level. In: ICECCS 2008, 13th IEEE Intern. Conf. on Engineering of Complex Computer Systems, Belfast, UK, April 2008, pp. 183–189. IEEE CS Press, Los Alamitos (2008)
Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools in jETI. In: Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, Greenbelt, USA, April 2005, pp. 431–436. IEEE Computer Soc. Press, Los Alamitos (2005)
Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2–3), 107–123 (2004)
Margaria, T., Steffen, B.: From the How to the What. In: Proc. VSTTE 2005, Verified Software—Theories, Tools, and Experiments, IFIP Working Conference, Zurich. LNCS, vol. 4171. Springer, Heidelberg (2005)
Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. In: IEEE Computer, issue 60th anniv. of the Computer Society, pp. 53–63. IEEE Press, Los Alamitos (2006)
Margaria, T., Steffen, B., Reitenspieß, M.: Service-Oriented Design: The Roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450–464. Springer, Heidelberg (2005)
Müller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330–354. Springer, Heidelberg (1999)
Petrie, C., Lausen, H., Zaremba, M., Margaria, T. (eds.): Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (to appear, November 2008)
Queille, J.-P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Proc. 5th Colloquium on International Symposium on Programming, pp. 337–351. Springer, London (1982)
Rational Unified Process, http://www-306.ibm.com/software/awdtools/rup/
Semantic Web Services Challenge: Challenge on Automating Web Services Mediation, Choreography and Discovery, http://www.sws-challenge.org/
Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11), 64–73 (2007)
SUN Microsystems’s NetBeans IDE, www.netbeans.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_52
Download citation
DOI: https://doi.org/10.1007/978-3-540-88479-8_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88478-1
Online ISBN: 978-3-540-88479-8
eBook Packages: Computer ScienceComputer Science (R0)