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]
@inproceedings{MongielloC06,
title = {Modelling and verification of BPEL business processes},
author = {Marina Mongiello and Daniela Castelluccia},
year = {2006},
doi = {10.1109/MBD-MOMPES.2006.22},
url = {http://doi.ieeecomputersociety.org/10.1109/MBD-MOMPES.2006.22},
tags = {BPEL, business process modeling, process modeling},
researchr = {https://researchr.org/publication/MongielloC06},
cites = {0},
citedby = {0},
pages = {144-148},
booktitle = {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},
editor = {Ricardo Jorge Machado and João M. Fernandes and Matthias Riebisch and Bernhard Schätz},
publisher = {IEEE Computer Society},
isbn = {0-7695-2538-5},
}