Sciweavers

95 search results - page 8 / 19
» Conformance checking of service behavior
Sort
View
IEEECIT
2005
IEEE
14 years 1 months ago
Web Service Interactions: Analysis and Design
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
Jianwen Su
ICWS
2010
IEEE
13 years 6 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...
SEMWEB
2005
Springer
14 years 1 months ago
Representing Web Service Policies in OWL-DL
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
Vladimir Kolovski, Bijan Parsia, Yarden Katz, Jame...
DOA
2001
122views more  DOA 2001»
13 years 9 months ago
Component Search Service and Deployment of Distributed Applications
This paper presents and discusses some infrastructure services necessary for distributed applications development. The main service considered is the component search service whic...
Djemai Kebbal, Guy Bernard
DAGSTUHL
2006
13 years 9 months ago
DecSerFlow: Towards a Truly Declarative Service Flow Language
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
Wil M. P. van der Aalst, Maja Pesic