Formal Modeling and Discrete-Time Analysis of BPEL Web Services

  title={Formal Modeling and Discrete-Time Analysis of BPEL Web Services},
  author={Radu Mateescu and Sylvain Rampacek},
  booktitle={CIAO! / EOMAS},
Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the Bpel language. The discrete-time transition systems modeling the behavior of Bpel descriptions are obtained by an exhaustive simulation based on a formalization of Bpel semantics using the Algebra of Timed Processes (Atp). These… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 18 extracted citations


Publications referenced by this paper.
Showing 1-10 of 31 references

A toolbox for the construction and anal- 11 ysis of distributed processes

  • H. Garavel, F. Lang, R. Mateescu, W. Serwe
  • Proc. of the 19th International Conference on…
  • 2006
Highly Influential
3 Excerpts

OPEN 2 . 0 : A flexible tool integrating partial order , compositional , and onthefly verification methods

  • F. Lang. EXP.
  • 2007

SOA in Practice – The Art of Distributed System Design

  • N. Josuttis
  • O’Reilly Media, City
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…