Title: Dependency analysis of a SOA-based system through Petri nets and service algebra

Authors: Ratneshwer; Pawan Kumar

Addresses: Department of Computer Science, MMV, Banaras Hindu University, Uttar Pradesh 221005, India ' Department of Computer Science, MMV, Banaras Hindu University, Uttar Pradesh 221005, India

Abstract: In this paper we present a Petri net-based analysis of a service oriented architecture (SOA)-based system that represents specification of dependency relationships and model the dependencies in a SOA-based system at conceptual level. Analysing the dependency relationships, at conceptual level, enable us to know about the evolution of services and how to access them in relation to other services. We have shown the graphical representation of dependency relationships in terms of Petri nets, which may be helpful for the designer in order to get a complete overview of dependencies in the system and the interactions that take place among web services. The correctness of dependency analysis model is determined by several important properties of Petri net. Such modelling can help in identification of inconsistency among services and web services can be verified for safety and reliability.

Keywords: service oriented architecture; SOA; web services; Petri nets; service algebra; dependency analysis; modelling; dependencies.

DOI: 10.1504/IJSETA.2015.075625

International Journal of Software Engineering, Technology and Applications, 2015 Vol.1 No.2/3/4, pp.172 - 189

Received: 12 Jan 2015
Accepted: 31 Jul 2015
Published online: 30 Mar 2016 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article