Formalizing Service Interactions | Zendy

Gero Decker | Zendy; Frank Puhlmann | Zendy; Mathias Weske | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formalizing Service Interactions

Author(s) -

Gero Decker,

Frank Puhlmann,

Mathias Weske

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-38901-6

DOI - 10.1007/11841760_32

Subject(s) - computer science , realization (probability) , service oriented architecture , business process , service (business) , business process model and notation , software engineering , formal description , process management , knowledge management , business process modeling , web service , business , programming language , mathematics , marketing , work in process , statistics

Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process management (BPM). In SOA, interaction agreements between business partners are defined as chore- ographies containing common interaction patterns. However, complex interactions are dicult to specify, basically because a formal, common standard supporting all interaction patterns is missing. This paper mo- tivates the use of the -calculus for formally representing service inter- action patterns.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research