“School of Computer Science”

Back to Papers Home
Back to Papers of School of Computer Science

Paper   IPM / Computer Science / 10882
School of Computer Science
  Title:   Modeling Web Service Interactions Using the Coordination Language Reo
  Author(s): 
1.  S. Tasharofi
2.  M. Vakilian
3.  R. Zilouchian Moghaddam
4.  M. Sirjani
  Status:   In Proceedings
  Proceeding: WS-FM
  Vol.:  4937
  Year:  2007
  Pages:   108-123
  Publisher(s):   LNCS, Springer Berlin / Heidelberg
  Supported by:  IPM
  Abstract:
In this paper we propose an approach to derive the formal semantics of WS-BPEL processes compositionally using Reo and constraint automata. We map each WS-BPEL process into a Reo circuit and then construct the corresponding constraint automaton which shows the behavior of the process. The constraint automaton can be used for analyzing the process behavior. Our work covers the core part of the WS-BPEL language including basic and structured activities, correlation sets, variables, and links.

Download TeX format
back to top
scroll left or right