-
A Multi-Level Framework for Validation of Ontology-Driven and Community-Based...
International audience -
Web services composition is hard but decidable
We study the problem of automatic web service composition. We consider a formal framework where web service business protocols are described by means of Finite State... -
A Structural Verification of Web Services Composition Compatibility
CAiSE 2010 Workshop EOMAS'10, Hammamet, Tunisia -
A Survey on Time-aware Business Process Modeling
International audience -
The Temporal Perspective in Business Process Modeling : An Evaluative Survey ...
Soumis à la revue Service Oriented Computing and Applications -
Generic and specific compatibility criteria for web service composition : for...
International audience -
Towards automatic recovery in protocol-based Web service composition
In a protocol-based Web service composition, a set of available component services collaborate together in order to provide a new composite service. Services export... -
Vers un modèle de composition de services Web avec propriétés transactionnelles
International audience -
Model-driven approach supporting formal verification for web service composit...
International audience
