Sciweavers

626 search results - page 20 / 126
» Correct Composition of Design Components
Sort
View
ICWS
2007
IEEE
14 years 11 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
ICDE
2006
IEEE
141views Database» more  ICDE 2006»
15 years 3 months ago
MoSCoE: A Framework for Modeling Web Service Composition and Execution
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
SAC
2008
ACM
14 years 9 months ago
Optimized dynamic semantic composition of services
This paper proposes a design for the optimized dynamic (re)composition of services that supports various user requests and accounts for changes in user`s context. The composition ...
Sorin M. Iacob, João Paulo A. Almeida, Mari...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 3 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
IEEEARES
2009
IEEE
15 years 4 months ago
Enhancing Control of Service Compositions in Service-Oriented Architectures
In a service-oriented architecture, service compositions are assembled from other component services. Such compositions may include services from unknown and potentially untrusted...
Christian Schneider, Frederic Stumpf, Claudia Ecke...