loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Antonella Santone 1 ; Maria Luisa Villani 1 and Gigliola Vaglini 2

Affiliations: 1 University of Sannio, Italy ; 2 University of Pisa, Italy

ISBN: 978-989-674-009-2

Keyword(s): Model checking, Temporal logic, Tableaux, Web services.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Communication and Software Infrastructure ; e-Business ; Enterprise Information Systems ; Service-Oriented Computing ; Services

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 φ.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.81.73.233

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Santone A.; Luisa Villani M.; Vaglini G. and (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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.