Sciweavers

635 search results - page 47 / 127
» Model Aware Execution of Composite Web Services
Sort
View
115
Voted
JISE
2008
109views more  JISE 2008»
15 years 4 months ago
An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service
Zhijun Ding, Junli Wang, Changjun Jiang
ICWE
2004
Springer
15 years 10 months ago
Using Web Services to Build Context-Aware Applications in Ubiquitous Computing
Ubiquitous and mobile web applications are typically very autonomous in nature, because they rely on additional information about the user’s context. In this paper we present a g...
Gerhard Austaller, Jussi Kangasharju, Max Müh...
ICSEA
2007
IEEE
15 years 11 months ago
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
Frédéric Pourraz, Hervé Verju...
ICSOC
2010
Springer
15 years 2 months ago
Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy
Service-Oriented Architecture enables the composition of loosely coupled services provided with varying Quality of Service (QoS) levels. Given a composition, finding the set of ser...
Adrian Klein, Fuyuki Ishikawa, Shinichi Honiden
151
Voted
ATAL
2008
Springer
15 years 6 months ago
Towards verifying compliance in agent-based web service compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
Alessio Lomuscio, Hongyang Qu, Monika Solanki