Verifying Web services substitutability using open colored nets reduction techniques

Author

Bourouz, Sofiane ; Zeghib, Nadia

Author_Institution

LIRE Lab., Mentouri Constantine Univ., Constantine, Algeria

fYear

2013

fDate

28-30 April 2013

Firstpage

1

Lastpage

5

Abstract

Web services are evolved as a platform independent technology allowing universal interoperability between software assets. Web services substitution is one of the most challenging topics in service computing area. In this paper, we investigate a context independent substitutability of Web services. We use open colored Petri nets (OCNets) as a formal modeling framework of services and we propose an approach for verifying the substitutability using some reduction rules of OCNets.

Keywords

Petri nets; Web services; open systems; program verification; OCNets; Web services substitutability verification; context independent substitutability; formal modeling framework; open colored Petri nets; open colored nets reduction; platform independent technology; software asset; universal interoperability; Color; Computational modeling; Context; Firing; Petri nets; Service-oriented architecture; Web service; colored Petri nets; reduction; service substitution;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling, Simulation and Applied Optimization (ICMSAO), 2013 5th International Conference on

Conference_Location

Hammamet

Print_ISBN

978-1-4673-5812-5

Type

conf

DOI

10.1109/ICMSAO.2013.6552613

Filename

6552613