250 search results - page 11 / 50 » Towards Formal Verification of Web Service Composition |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE
IM
2007
13 years 9 months ago
2007
— Despite the automation in many domains, network management still requires a lot of manual interaction. With the ongoing rapid growth of the Internet and the number of connected...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
VLDB
2003
ACM
14 years 7 months ago
2003
ACM
Service composition is gaining momentum as the potential silver bullet for the envisioned Semantic Web. It purports to take the Web to unexplored efficiencies and provide a flexibl...