loading
Papers Papers/2022 Papers Papers/2022

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

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

CC BY-NC-ND 4.0

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 52.205.159.48

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. 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; ISSN 2184-2833, SciTePress, 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},
issn={2184-2833},
}

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
IS - 2184-2833
AU - Santone, A.
AU - Luisa Villani, M.
AU - Vaglini, G.
PY - 2009
SP - 13
EP - 22
DO - 10.5220/0002246800130022
PB - SciTePress