Sciweavers

943 search results - page 18 / 189
» Dependency-aware Service Oriented Architecture and Service C...
Sort
View
FORTE
2009
13 years 5 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...
JCP
2008
131views more  JCP 2008»
13 years 7 months ago
Multi-Index Cooperative Mixed Strategy for Service Selection Problem in Service-Oriented Architecture
Under the environment of Service-Oriented Architecture (SOA), service users have to decide how to choose the proper provider from the candidates to obtain optimal service level. Th...
Yimin Shen, Jing Zhang, Yushun Fan
IEEESCC
2009
IEEE
13 years 5 months ago
Integrated Constraint Violation Handling for Dynamic Service Composition
Dynamic service composition is suitable for on-demand business requests. For autonomic computing, service composition needs to deal with runtime environment faults, but also with ...
MingXue Wang, Kosala Yapa Bandara, Claus Pahl
ISN
1998
Springer
13 years 11 months ago
Integrating TINA into an Internet-Based Services Market
The deregulation of the telecommunication industry is providing the basis for a competitive, open market in telecommunications services. The TINA Consortium is developing a softwar...
David Lewis, Thanassis Tiropanis