2139 search results - page 31 / 428 » Modeling Aspect-Oriented Compositions |
189
click to vote
SIGMOD
2005
ACM
16 years 1 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
107
click to vote
ISAS
2005
Springer
15 years 7 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...
116
click to vote
SAINT
2003
IEEE
15 years 6 months 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...
102
click to vote
APSEC
2006
IEEE
15 years 7 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
15 years 5 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...