Sciweavers

623 search results - page 27 / 125
» An Algorithm for Automatic Service Composition
Sort
View
117
Voted
IEEESCC
2008
IEEE
15 years 9 months ago
Development Tool for Service-Oriented Applications in Smart Homes
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
Jianqi Yu, Philippe Lalanda, Stéphanie Chol...
127
Voted
FMSD
2008
110views more  FMSD 2008»
15 years 2 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
ESWS
2004
Springer
15 years 6 months ago
A Framework for Automated Service Composition in Service-Oriented Architectures
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...
Shalil Majithia, David W. Walker, W. A. Gray
116
Voted
ICSOC
2009
Springer
15 years 9 months ago
An Automatic Approach to Enable Replacement of Conversational Services
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradel...
CIIA
2009
15 years 3 months ago
Web Services Composition Applying MDA
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
Yamina Hachemi, Mimoun Malki, Djamel Amar Bensaber