The jABC Approach to Rigorous Collaborative Development of SCM Applications

Communications in Computer and Information Science

Volumn 17, Issue , 2009, Pages 724-737

  Hörmann, Martina ^a   Margaria, Tiziana ^b   Mender, Thomas ^a   Nagel, Ralf ^c   Steffen, Bernhard ^c   Trinh, Hong ^a  

^a IKEA IT Germany GmbH ^*  (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

^c TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATIVE DESIGN; COLLABORATIVE DEVELOPMENT; DEVELOPMENT PROCESS; OPERATIVE PRACTICES; PROCESS COORDINATION; RATIONAL UNIFIED PROCESS; SERVICE DEVELOPMENT; SERVICES AND APPLICATIONS;

EMBEDDED SYSTEMS; FLOW GRAPHS;

DESIGN;

EID: 78649814002     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (27)

1. Active BPEL execution engine, http://www.activevos.com/community-open-source.php
2. Bakera, M., Renner, C.: GEAR-AModel Checking Plugin for the jABC framework (2007), http://www.jabc.de/modelchecking/
3. BPEL specifications website, http://www.ibm.com/developerworks/library/specification/ws-bpel/
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
5. Davis, J.: GME: Generic Modeling Environment, Demonstration session. In: OOPSLA, Anaheim, CA, pp. 82-83. ACM, New York (2003)
6. Davis, R.: ARIS Design Platform: Advanced Process Modelling and Administration. Springer, Heidelberg (2008)
7. Fujaba homepage, http://wwwcs.uni-paderborn.de/cs/fujaba/index.html
8. 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)
9. jABC Website, http://www.jabc.de
10. 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)
11. 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
12. Kozen, D.: Results on the Propositional mu-Calculus. Theoretical Computer Science 27, 333-354 (1983)
13. Margaria, T.: Web Services-Based Tool-Integration in the ETI Platform. SoSyM, Int. Journal on Software and System Modelling 4(2), 141-156 (2005)
14. Margaria, T.: Service Is in the Eyes of the Beholder. IEEE Computer 40(11), 33-37 (2007)
15. 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)
16. 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)
17. Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3), 107-123 (2004)
18. 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)
19. 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)
20. 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)
21. 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)
22. 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)
23. 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)
24. Rational Unified Process, http://www-306.ibm.com/software/awdtools/rup/
25. Semantic Web Services Challenge: Challenge on Automating Web Services Mediation, Choreography and Discovery, http://www.sws-challenge.org/
26. Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11), 64-73 (2007)
27. SUN Microsystems's NetBeans IDE, www.netbeans.org