3268 search results - page 86 / 654 » Structured Service Composition |
112
Voted
IFM
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
112
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
123
click to vote
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
129
Voted
WECWIS
2005
IEEE
15 years 8 months ago
2005
IEEE
Business rules change quite often. These changes cannot be handled efficiently by representing business rules embedded in the source code of the business logic. Efficient handli...
199
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
This paper introduces a novel method for composing Web services in the presence of external volatile information. Our approach, which we call the informed-presumptive, is compared...