A Compositional Operational Semantics for OWL-S

Norton, Barry; Foster, Simon; Hughes, Andrew J.

doi:10.1007/11549970_22

Cited by 18 publications

(12 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Researchers have used Mealy models for defining complex state based operations in services [14] or data driven approaches to OWL-S [15,16], however these fail to describe how different test suites for services can be merged if individual services are tested.…”

Section: Functional Testing Approaches For Composite Web Servicesmentioning

confidence: 99%

Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios

Kiran

Simons

2015

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. Cloud brokerage is an enabling technology allowing various services to be merged together for providing optimum quality of service for the endusers. Within this collection of composed services, testing is a challenging task which brokers have to take on to ensure quality of service. Most Software-as-aService (SaaS) testing has focused on high-level test generation from the functional specification of individual services, with little research into how to achieve sufficient test coverage of composite services. This paper explores the use of model-based testing to achieve testing of composite services, when two individual web services are tested and combined. Two example web servicesa login service and a simple shopping service -are combined to give a more realistic shopping cart service. This paper focuses on the test coverage required for testing the component services individually and their composition. The paper highlights the problems of service composition testing, requiring a reworking of the combined specification and regeneration of the tests, rather than a simple composition of the test suites; and concludes by arguing that more work needs to be done in this area.

show abstract

Section: Functional Testing Approaches For Composite Web Servicesmentioning

confidence: 99%

Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios

Kiran

Simons

2015

Communications in Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…Comparing the plethoric formalizing and verifying works for BPEL [5], there exists much less such works for OWL-S. Works of [6,7,8] focus only on formalizing OPM by various formal theories to supply with various semantics on various abstraction levels. Our previous work [14] uses CSP-OZ as formalism to define a full semantics for OPM, but it is not suit for verification very well.…”

Section: Related Work and Conclusionmentioning

confidence: 99%

Formal Analysis of OWL-S Process Model by FDR

Gong

Jiang

Zhang

2011

2011 IEEE Asia-Pacific Services Computing Conference

View full text Add to dashboard Cite

Nowadays, SOA is considered as a promising architecture for enterprise applications integration. OWL-S, as a Semantic Web Service technology, promises to facilitate various service tasks, such as service specification, discovery, composition, etc.. It is essential to analysis the OWL-S process model for the quality issue of the composition of web services before its deployment. In this work, By CSPm and FDR tool, a formal analysis method for OWL-S process model, especially the interplay between the control part and dataflow part, is proposed, and its validity is illustrated by the extended version of the BravoAir process model.

show abstract

“…In our previous semantics for OWL-S [22], we paid careful attention to the 'Any-Order' operator, elided in other semantics [1]. In the informal semantics published in the specification [10] it is stated that only one performance at a time will be executed, and that the performance to be executed at run-time will depend on availability of input data, since component performances may communicate to supply one another with data.…”

Section: The Cashew Modelmentioning

confidence: 99%

“…Cashew is an ontological model for workflow-oriented descriptions of semantic web service interfaces, descended from an earlier generalised representation of the OWL-S process model [10], called CASheW-S [22]. The definition of Cashew has extended, from this previous work, to accomodate WSMO [8] in three ways:…”

Section: Introductionmentioning

confidence: 99%

3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services

Norton

Pedrinaci

2006

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops

Self Cite

View full text Add to dashboard Cite

Abstract. There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service's behaviour as a composition of existing parts, a choreography is intended to document the conversation of messages exchanged with a single client. In this paper we present a three-level model for behavioural descriptions, and how the Cashew workflow model fits into this, building on existing work in, and establishing connections with, semantic web services, workflow, and software engineering design.

show abstract

A Compositional Operational Semantics for OWL-S

Cited by 18 publications

References 10 publications

Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios

Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios

Formal Analysis of OWL-S Process Model by FDR

3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services

Contact Info

Product

Resources

About