A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS

Antonella Santone, Maria Luisa Villani, Gigliola Vaglini

2009

Abstract

We present a modular approach to system specification to support the realization of web services. In particular, we solve the following problem: given the formal specification of the (incomplete) system, say p, already built, what is a characterization of the sub-systems that can collaborate with p, through a given communication interface L , so that the complete system satisfies a given property φ? An automatic procedure is defined to identify the formula ψ such that, for each process q satisfying ψ, the parallel composition of p and q through L satisfies φ. For applicability of the method to web service compositions the formula ψ should specify, as much as possible, only the communication actions that allow p to correctly fulfill φ.

Paper Citation

in Harvard Style

Santone A., Luisa Villani M. and Vaglini G. (2009). A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS . In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-674-009-2, pages 13-22. DOI: 10.5220/0002246800130022

in Bibtex Style

@conference{icsoft09,
author={Antonella Santone and Maria Luisa Villani and Gigliola Vaglini},
title={A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2009},
pages={13-22},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002246800130022},
isbn={978-989-674-009-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS
SN - 978-989-674-009-2
AU - Santone A.
AU - Luisa Villani M.
AU - Vaglini G.
PY - 2009
SP - 13
EP - 22
DO - 10.5220/0002246800130022