An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints

Dragone, Luigi

doi:10.1007/978-3-540-88871-0_13

Search citation statements

Order By: Relevance

Paper Sections

Select...

Control and Data Dependencies1

Service Protocol With Semantically Described Activities1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2010

2011

Publication Types

Select...

Article2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An activity sends or receives a message that contains business data. An activity is semantically described by specifying its input, output, precondition, and effect (Dragone, 2008). The input and output define consumed and produced messages respectively.…”

Section: Control and Data Dependenciesmentioning

confidence: 99%

Verifying mediated service interactions considering expected behaviours

Zhou

Yang

Bhiri

et al. 2011

Journal of Network and Computer Applications

View full text Add to dashboard Cite

Section: Control and Data Dependenciesmentioning

confidence: 99%

Verifying mediated service interactions considering expected behaviours

Zhou

Yang

Bhiri

et al. 2011

Journal of Network and Computer Applications

View full text Add to dashboard Cite

“…An activity sends or receives a message that contains one or multiple business data. An activity can have a semantical description [26] specifying its Input, Output, Precondition, and Effect (so-called I O P E [27][28][29]). For instance, BPEL4SWS [30,31] enables one to describe activities using semantic Web services (i.e.…”

Section: Service Protocol With Semantically Described Activitiesmentioning

confidence: 99%

Assessing service protocol adaptability based on protocol reduction and graph search

Zhou¹,

Bhiri²,

Zhuge³

et al. 2010

Concurrency and Computation

View full text Add to dashboard Cite

Given the inherent autonomy, heterogeneity, and continuous evolution of Web services, mismatches usually exist between service protocols. Adapters are typically used to reconcile these mismatches. Before synthesizing an adapter, a service requestor is often willing to assess whether her expected interactions can be conducted or not. The effort of synthesizing an adapter is beneficial only if the result of this assessment is positive. Previous effort analyzing service interactions focused on either (i) compatibility analysis for checking whether interactions can be conducted in a direct manner or (ii) adapter synthesization for reconciling mismatches. In this paper we propose a new kind of adaptability assessment that (i) determines whether two service protocols of a requestor and a provider are adaptable, (ii) computes an adaptation degree, and (iii) identifies conditions that determine when these two service protocols can be adapted. This adaptability assessment provides complementary criteria to the service requestor for selecting a suitable service protocol from a set of functionally equivalent candidates according to her requirements

show abstract

An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints

Cited by 2 publications

References 14 publications

Verifying mediated service interactions considering expected behaviours

Verifying mediated service interactions considering expected behaviours

Assessing service protocol adaptability based on protocol reduction and graph search

Contact Info

Product

Resources

About