Business process modelling in the jABC: The one-thing-approach

Handbook of Research on Business Process Modeling

Volumn , Issue , 2009, Pages 1-26

  Margaria, Tiziana ^a   Steffen, Bernhard ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84898095232     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60566-288-6.ch001     Document Type: Chapter

References (26)

1. Active BPEL execution engine (2008). Retrieved August 2008, from http://www.activevos.com/community-open-source.php
2. Bakera, M., & Renner, C. (2007). GEAR - A model checking plugin for the jABC framework. Retrieved May 2008, from http://www.jabc.de/modelchecking/
3. BPEL specifications website (2008). Retrieved August 2008, from http://www.ibm.com/devel-operworks/library/specification/ws-bpel/
4. Bosch, J. (2007). Towards mobile services: Three approaches. IEEE Computer
5. Clarke, E. M., Grumberg, O., & Peled, D.A. (2001). Model checking. MIT Press.
6. Curbera F. (2007). Policy and service contracts in SOA. IEEE Computer
7. Davis, J. (2003). GME: Generic modeling environment, demonstration session. OOPSLA 2003 (pp. 82-83). Anaheim, CA, ACM.
8. Hörmann, M., Margaria, T., Mender, T., Nagel, R., Steffen, B., & Trinh, H. (2008, October). The jABC approach to rigorous collaborative development of SCM applications. In Proceedings of the ISoLA 2008, 3rd Int. Symp. on Leveraging Applications of Formal Methods, Verification, and Validation, Chalkidiki (GR). CCIS N.17, Springer Verlag.
9. Jörges, S., Kubczak, C., Nagel, R., Margaria, T., & Steffen, B. (2006). Model-driven development with the jABC. In HVC 2006 - IBM Haifa Verification Conference, Haifa, Israel, October 23-26 2006. LNCS 4383. IBM, Springer Verlag.
10. Jung, G., Margaria, T., Nagel, R., Schubert, W., Steffen, B., & Voigt, H. (2008, October). SCA and jABC: Bringing a service-oriented paradigm to Web-service construction. In ISoLA'08, Proc. 3rd Int. Symp. on Leveraging Applications of Formal Methods, Verification, and Validation, Chalkidiki (GR), Oct. 2008. CCIS N. 017, Springer Verlag.
11. Kaiser, M. (2007) From composition to emergence - Towards the realization of policy-oriented enterprise management. IEEE Computer, 40(11), 57-63. IEEE Press.
12. Kozen, D. (1983). Results on the Propositional mu-Calculus. Theoretical Computer Science, 27, 333-354.
13. Lamprecht, A.L., Margaria, T., & Steffen, B. (2008). Seven variations of an alignment workflow - an illustration of agile process design/management in Bio-jETI. In: ISBRA 2008: 4th Int. Symp. on Bioinformatics Research and Applications (pp. 445-456). LNCS 4983, Springer.
14. Lamprecht, A.L., Margaria, T., Steffen, B., Sczyrba, A., Hartmeier, S., & Giegerich, R. (2008). Genefisher-p: Variations of genefisher as processes in biojeti. BioMed Central (BMC) Bioinformatics 2008; Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007) ISSN 1471-2105. Published online 2008 April 25. 9 (Suppl. 4) S13
15. Magedanz, T., Blum, N., & Dutkowski, S. (2007). Evolution of SOA concepts in telecommunications. IEEE Computer Nov. 2007.
16. Margaria, T., (2008). The Semantic Web services challenge: Tackling complexity at the orchestration level. Invited paper ICECCS 2008 (13th IEEE Intern. Conf. on Engineering of Complex Computer Systems), Belfast (UK), April 2008, (pp.183-189). IEEE CS Press.
17. Margaria, T., & Steffen, B. (2004). Lightweight coarse-grained coordination: A scalable system-level approach. STTT, 5(2-3), 107-123. Springer Verlag.
18. Margaria, T., & Steffen, B. (2006). Service engineering: Linking business and IT. IEEE Computer, issue 60th anniv. of the Computer Society, (pp 53-63)
19. Margaria, T., Steffen, B., & Reitenspieß, M. (2005). Service-oriented design: The roots. ICSOC 2005: 3rd ACM SIG-SOFT/SIGWEB Intern. Conf. on Service-Oriented Computing, Amsterdam (NL), Dec. 2005 (pp.450-464). LNCS N. 3826, Springer Verlag.
20. Müller-Olm, M., Schmidt, D.A., & Steffen, B. (1999). Model-checking: A tutorial introduction (pp. 330-354). Proc. SAS, LNCS.
21. Petrie, C., Margaria, T., Zaremba, M., & Lausen, H. (Eds.) (in press) (2008). SemanticWeb services challenge: Results from the first year (Semantic Web and beyond), to appear Nov. 2008. Springer Verlag.
22. RUP - Rational Unified Process (2008). Retrieved August, 2008, from http://www-306.ibm.com/software/awdtools/rup/
23. Service Component Architecture Website (2008). Retrieved October 2008, from http://www-128.ibm.com/developerworks/library/specification/ws-sca/
24. Steffen, B., & Narayan, P., (2007). Full Life-Cycle Support for End-to-End Processes. IEEE Computer, Vol. 40(11), (pp. 57-63). IEEE Press.
25. Vinoski, S. (2008). Convenience Over Correctness - Internet Computing. IEEE Volume 12(4), (pp 89-92).
26. Queille, J.-P., & Sifakis, J. (1982). Specification and verification of concurrent systems in CESAR. Proc. 5th Colloquium on International Symposium on Programming (pp.337-351). Springer-Verlag London.