Sciweavers

594 search results - page 112 / 119
» Logic-based Web Services Composition: From Service Descripti...
Sort
View
PVLDB
2010
129views more  PVLDB 2010»
13 years 7 months ago
AXART - Enabling Collaborative Work with AXML Artifacts
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...
Bogdan Marinoiu, Serge Abiteboul, Pierre Bourhis, ...
EON
2008
13 years 10 months ago
Abductive Synthesis of the Mediator Scenario with jABC and GEM
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
Christian Kubczak, Tiziana Margaria, Matthias Kais...
FORTE
2007
13 years 10 months ago
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
CONTEXT
2007
Springer
14 years 3 months ago
Delimited Continuations in Operating Systems
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
Oleg Kiselyov, Chung-chieh Shan
SIGSOFT
2009
ACM
14 years 3 months ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...