Modelling and verification of BPEL business processes

Marina Mongiello, Daniela Castelluccia. Modelling and verification of BPEL business processes. In Ricardo Jorge Machado, João M. Fernandes, Matthias Riebisch, Bernhard Schätz, editors, Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006, Potsdam, Germany, March 3. pages 144-148, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.