Mohsen Vakilian

Modeling Web Service Interactions Using the Coordination Language Reo

by Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, and Marjan Sirjani.

In Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM), 2007, pp. 108–123.

Paper at Springer.

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.

BibTeX

@inproceedings{TasharofiETAL2007Reo,
  author = {Samira Tasharofi and Mohsen Vakilian and Zilouchian Moghaddam, Roshanak and Marjan Sirjani},
  booktitle = {Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM)},
  pages = {108--123},
  title = {Modeling Web Service Interactions Using the Coordination Language Reo},
  year = {2007}
}