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 phi? An automatic procedure is defined to identify the formula psi such that, for each process q satisfying psi, the parallel composition of p and q through L satisfies phi. For applicability of the method to web service compositions the formula psi should specify, as much as possible, only the communication actions that allow p to correctly fulfill phi. |
Year | Venue | Keywords |
---|---|---|
2009 | ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1 | Model checking, Temporal logic, Tableaux, Web services |
Field | DocType | Citations |
World Wide Web,Computer science,Web service,Multimedia | Conference | 0 |
PageRank | References | Authors |
0.34 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Antonella Santone | 1 | 400 | 52.45 |
Gigliola Vaglini | 2 | 336 | 66.43 |
Maria Luisa Villani | 3 | 1079 | 50.41 |