A Rewriting Logic Approach to OWL-S Composite Process Formal Specification

Wu, Junfeng; Miao, Huaikou

doi:10.1109/apscc.2008.70

Cited by 2 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Only WS-CDL of the three languages we are comparing is based on a formal language (π-calculus) [7], but there is not a clear translation from all the elements of WS-CDL into π-calculus, so we cannot apply any validation technique directly. The scientific community has developed multiple translations of these three languages into different formal representations [8,9,10]. However, all these proposals only take into account a subset of the elements of each language, so they cannot guarantee full correctness of the given specifications.…”

Section: Final Discussionmentioning

confidence: 99%

A Comparative Study between WSCI, WS-CDL, and OWL-S

Cambronero

D́ıaz

Martínez

et al. 2009

2009 IEEE International Conference on E-Business Engineering

View full text Add to dashboard Cite

Choreography languages allow us to describe Web Services compositions from a global viewpoint in Service Oriented Architectures (SOA). However, none of the existing languages has achieved the status of de facto standard for that purpose until now. In this paper we compare three existing proposals to specify Web Services choreographies: WSCI, WS-CDL, and OWL-S. First, we describe the main characteristics of each one of these languages, and after that we compare the different structures of the three languages. Finally, we present some conclusions of our work.

show abstract

Section: Final Discussionmentioning

confidence: 99%

A Comparative Study between WSCI, WS-CDL, and OWL-S

Cambronero

D́ıaz

Martínez

et al. 2009

2009 IEEE International Conference on E-Business Engineering

View full text Add to dashboard Cite

show abstract

“…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. Other works [9,10,11,12,13] include the verification over various semantics models by various tools. However, most of these works focus on control model of OPM and do no consider the influence of the dataflow on the control model, except works of [10,12].…”

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

A Rewriting Logic Approach to OWL-S Composite Process Formal Specification

Cited by 2 publications

References 5 publications

A Comparative Study between WSCI, WS-CDL, and OWL-S

A Comparative Study between WSCI, WS-CDL, and OWL-S

Formal Analysis of OWL-S Process Model by FDR

Contact Info

Product

Resources

About