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

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.