2009 Seventh IEEE European Conference on Web Services 2009
DOI: 10.1109/ecows.2009.19
|View full text |Cite
|
Sign up to set email alerts
|

Run-time Verification of Behavioural Conformance for Conversational Web Services

Abstract: Abstract-Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It is therefore critical to verify the behavioural conformance of services during run-time. This paper discusses a novel approach for run-time verification of Web services. It proposes the utilisation of Stream X-machines for constructing formal behavioural specifications of Web services which can be exploited for verifying that a … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
24
0

Year Published

2010
2010
2015
2015

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 23 publications
(24 citation statements)
references
References 14 publications
0
24
0
Order By: Relevance
“…This is because some operations may have preconditions which depend on the state of the service. The set of all acceptable invocation sequences is called the protocol (or choreography) [10] of the service. An example is the shopping basket of an online store.…”
Section: Problem Statementmentioning
confidence: 99%
See 1 more Smart Citation
“…This is because some operations may have preconditions which depend on the state of the service. The set of all acceptable invocation sequences is called the protocol (or choreography) [10] of the service. An example is the shopping basket of an online store.…”
Section: Problem Statementmentioning
confidence: 99%
“…The proposed technique builds on previous work on testing and monitoring of conversational services [9,10] and on online testing for proactive adaptation [13,19].…”
Section: Contributions Of the Papermentioning
confidence: 99%
“…Each processing function, presented in Figure 2, has been specified in the complete SXM specification of the TravelAgency service, using the approach that has been presented in [8]. The complete SXM specification is beyond the scope of this paper and thus is not included.…”
Section: The Web Service Examplementioning
confidence: 99%
“…In [8], we proposed a verification approach to run-time verification of behavioural conformance of Web services, which relies on the publication of a behavioural model for the Web service, based on the Stream X-Machines (SXM) [9] formalism described in the next section. The approach can be summarised as follows.…”
Section: Integration Of Jsxm Tool As a Monitormentioning
confidence: 99%
See 1 more Smart Citation