From public views to private views - Correctness-by-design for services

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

Volumn 4937 LNCS, Issue , 2008, Pages 139-153

  Van Der Aalst, Wil M P ^a   Lohmann, Niels ^b   Massuthe, Peter ^c   Stahl, Christian ^c   Wolf, Karsten ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF ROSTOCK   (Germany)

^c HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONTRACTS; LOGIC PROGRAMMING; MESSAGE PASSING;

SERVICE ORIENTATION; TRADING PARTNERS; TRANSFORMATION RULES;

WEB SERVICES;

EID: 43149102107     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79230-7_10     Document Type: Conference Paper

References (11)

1. van der Aalst, W.: Inheritance of Intel-organizational Workflows: How to agree to disagree without loosing control? Information Technology and Management Journal 4(4), 345-389 (2003)
2. van der Aalst, W., Weske. M.: The P2P approach to Intel-organizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140-156. Springer, Heidelberg (2001)
3. Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2007), pp. 296-303. IEEE Computer Society, Los Alamitos (2007)
4. Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)
5. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35-43 (2005)
6. van der Aalst, W.: The Application of Petri Nets to Workflow Management, The Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)
7. van der Aalst, W., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theor. Comput. Sci. 270(1-2), 125-203 (2002)
8. Basten, T., van der Aalst, W.: Inheritance of Behavior. Journal of Logic and Algebraic Programming 47(2), 47-145 (2001)
9. van der Aalst, W., Massuthe, P., Stahl, C., Wolf, K.: Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin (2007)
10. Papazoglou, M.: Agent-oriented technology in support of e-business. Commun. ACM 44(4), 71-77 (2001)
11. van Glabbeek, R., Weijland, W.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM 43(3), 555-600 (1996)