4286 search results - page 62 / 858 » Formalizing Service Interactions |
213
click to vote
CSAC
2006
15 years 6 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
141
click to vote
ISAS
2005
Springer
15 years 10 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...
118
Voted
OTM
2005
Springer
15 years 10 months ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...
160
click to vote
CSREAEEE
2006
15 years 6 months ago
2006
- Improving software quality remains a key challenge. Software development formal peer inspection has emerged as an effective approach to address this challenge. Software peer insp...
126
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...