Handbook of theoretical computer science (vol. B)
Principled design of the modern Web architecture
Proceedings of the 22nd international conference on Software engineering
Open Systems in Reactive Environments: Control and Synthesis
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Galois connections and fixed point calculus
Algebraic and coalgebraic methods in the mathematics of program construction
eFlow: A Platform for Developing and Managing Composite e-Services
AIWORC '00 Proceedings of the Academia/Industry Working Conference on Research Challenges
Games for synthesis of controllers with partial observation
Theoretical Computer Science - Logic and complexity in computer science
Architectural styles and the design of network-based software architectures
Architectural styles and the design of network-based software architectures
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
SIAM Journal on Control and Optimization
ComposingWeb Services with Nondeterministic Behavior
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications
ICTAI '06 Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence
Applied Ontology
Automated Web Services Composition with the Event Calculus
Engineering Societies in the Agents World VIII
Automatic synthesis of a global behavior from multiple distributed behaviors
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Web application description language (WADL)
Web application description language (WADL)
Composition of Semantic Web services using Linear Logic theorem proving
Information Systems
Goal-oriented composition of services
SC'08 Proceedings of the 7th international conference on Software composition
| Hi-index | 0.00 |
To enable flexible leveraging of the growing plethora of available web services, service clients should be automatically composed based on required behavior. In this paper, we present a foundational framework for behavior based composition. Services advertise their behavior as labeled transition systems with the action labels corresponding to their externally invocable operations. Query logics are defined in a simple extension of μ -calculus with modalities in which variables are allowed to occur. Query logics specify the desired behavior of the composition with the variables standing for the programs that need to be synthesized. We define a special subclass of programs, called deterministic and crash-free, which behave deterministically (even if the services used are non-deterministic) with all program steps successfully executing in whichever state the services may be in during entire execution. We present an algorithm that synthesises deterministic and crash-free programs whenever there exists such a solution. Since the μ -calculus is the most expressive logic for regular properties, our results yield a complete solution to the automatic composition problem for regular behavioral properties.