Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development

13 years 9 months ago

Download www.dis.uniroma1.it

Abstract Descriptions into Executable Web Services: Towards a Formal Development Antonella Chirichiello1 and Gwen Sala¨un2 1 DIS - Universit`a di Roma “La Sapienza”, Italy

Antonella Chirichiello, Gwen Salaün

Real-time Traffic

Executable Web Services | Formal Development Antonella | Internet Technology | Universit`a Di Roma | WEBI 2005 |

claim paper

» MoSCoE A Framework for Modeling Web Service Composition and Execution

» TwoPhase Web Service Discovery Based on Rich Functional Descriptions

» Towards WSMO Ontology Specification From Existing Web Services

» Towards Formal Verification of Web Service Composition

» Towards a formal framework for Choreography

» Simulation verification and automated composition of web services

» Towards Formal Analysis of ArtifactCentric Business Process Models

» Business modeling for service descriptions a meta model and a UML profile

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	WEBI
Authors	Antonella Chirichiello, Gwen Salaün

Comments (0)

Sciweavers

Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development

Executable Web Services | Formal Development Antonella | Internet Technology | Universit`a Di Roma | WEBI 2005 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers