Sciweavers

338 search results - page 32 / 68
» A Service Discovery Framework based on Linear Composition
Sort
View
FORTE
2009
14 years 9 months ago
A Model-Checking Approach for Service Component Architectures
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
João Abreu, Franco Mazzanti, José Lu...
IIWAS
2008
15 years 1 months ago
Model-driven engineering of composite web services using UML-S
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
Christophe Dumez, Jaafar Gaber, Maxime Wack
ICWS
2007
IEEE
15 years 1 months ago
Guiding the Service Composition Process with Temporal Business Rules
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
Jun Han, Yan Jin, Zheng Li, Tan Phan, Jian Yu
BPM
2008
Springer
131views Business» more  BPM 2008»
15 years 1 months ago
Enhancing Web Service Composition by Means of Diagnosis
Abstract. This paper proposes a framework based on Service Oriented Architecture which integrates diagnostic services in the architecture of a composite service in order to improve...
Liliana Ardissono, Stefano Bocconi, Luca Console, ...
CIA
2006
Springer
15 years 3 months ago
Selecting Web Services Statistically
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. ...
David Lambert, David Robertson