An execution semantics for mediation patterns

CEUR Workshop Proceedings

Volumn 134, Issue , 2005, Pages

  Altenhofen, Michael ^a   Börger, Egon ^a,b   Lemcke, Jens ^a  

^a SAP RESEARCH   (Germany)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION SEMANTICS; FORMAL SPECIFICATION; INTERACTION PATTERN;

SPECIFICATIONS;

SEMANTICS;

EID: 84870216964     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14 (2003) 5-51
2. van der Aalst, W.M.P., Barros, A.P., ter Hofstede, A.H.M., Kiepuszewski, B.: Advanced workflow patterns. In: CoopIS. (2000) 18-29
3. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer (2003)
4. Altenhofen, M., Börger, E., Lemcke, J.: A high-level specification for mediators. accepted at 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management (2005)
5. Cimpian, E., Mocan, A.: D13.7 v0.1 Process mediation in WSMX - WSMX working draft (2005) http://www.wsmo.org/TR/d13/d13.7/v0.1/.
6. Barros, A., Dumas, M., ter Hofstede, A.: Service interaction patterns: Towards a reference framework for service-based business process interconnection. Technical report, Faculty of IT, Queensland University of Technology (2005)