7918 search results - page 21 / 1584 » Model Composition Directives |
ISAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
SAINT
2003
IEEE
14 years 23 days ago
2003
IEEE
—The dynamic composition of existing services into new services is at the core of service-oriented computing. The objective of FRESCO (Foundational Research on Service Compositio...
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
IMPERIAL
1993
13 years 11 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...