Sciweavers

1164 search results - page 55 / 233
» Type based service composition
Sort
View
135
Voted
ATAL
2003
Springer
15 years 7 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
117
Voted
ASWEC
2010
IEEE
15 years 3 months ago
Support for Business Process Flexibility in Service Compositions: An Evaluative Survey
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
Malinda Kapuruge, Jun Han, Alan W. Colman
149
Voted
WWW
2005
ACM
15 years 9 months ago
Automated synthesis of executable web service compositions from BPEL4WS processes
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli...
133
Voted
EMSOFT
2001
Springer
15 years 8 months ago
System-Level Types for Component-Based Design
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
Edward A. Lee, Yuhong Xiong
BPM
2008
Springer
131views Business» more  BPM 2008»
15 years 5 months ago
Enhancing Web Service Composition by Means of Diagnosis
Abstract. This paper proposes a framework based on Service Oriented Architecture which integrates diagnostic services in the architecture of a composite service in order to improve...
Liliana Ardissono, Stefano Bocconi, Luca Console, ...