Behavioral Modeling of Enterprise Cloud Bus System: High Level Petri Net based Approach

Gitosree Khan, Anirban Sarkar, Sabnam Sengupta
2017 International Journal of Software Engineering and Its Applications  
In recent days number of Enterprise Software Applications is increased rapidly with the increasing number of clouds and its services. Therefore, the need for enterprises to leverage cloud services dynamically as "on-demand" basis is growing exponentially. In this work, a conceptual architecture of Multi-agent based Enterprise Cloud Bus System (ECBS) is proposed and modelled its dynamics using High Level Petri Net (HECBP) based approach. The proposed approach is beneficial for the cloud based
more » ... erprise applications in optimizing the performance, cost, elasticity, flexibility, high reliability and availability of the computing resource. The proposed mechanism is capable of modelling and analyzing the behavioral facets of Enterprise Cloud Bus which are structured based on Multi-agent based system (MAS) and the behavioral features of inter-cloud architecture. Using the HECBP concepts and corresponding reachability graph, several key behavioral properties of cloud based systems like, reachability, safeness, Boundedness, liveness can be analyzed formally. The proposed HECBP is simulated using Colored Petri Net tools. facets of Multi-agent system has been explained in paper [10] . Few of the research works [11], [12] are based on measurement and validation of complexity metrics. Moreover, modeling and design of Agent-based approach of Multi-cloud architecture [13] has emerged as one of the most challenging domains in cloud computing domain. As our previous work are based on such MAS based Inter-cloud architecture [14], called Enterprise Cloud Bus (ECB).Few of our earlier work are based on service registration and discovery mechanism in ECBS [15], [16] which helps to identify services during run time. Further, in [17], [18] scheduling and composition of web services in Multi-cloud environment has been discussed by the author. However, UML cannot be used for automatic analyses and simulation of Inter-cloud architecture, because of its Semi-formal nature. Since, the UML modeling lacks to exhibit the dynamism of internal behavior of the system. PIPE is a Platform Independent Petri Net Editor Tool that helps to model and analyze the dynamics facets of any Multi-agent cloud architecture [19] . The authors in [20] , [21] discusses about the modeling and analysis of the dynamic facets of MAS using Petri-net based approach. Moreover, few of the researchers work on the modeling and analysis of Inter-cloud architecture [22] , [23] using Petri-Net based approach. However, those approaches are also less expressive for Inter-cloud architecture comprising of multiple agents and components. Therefore, Colored Petri Net (CPN) Tools is an efficient tool [24] that is used for constructing and analyzing such Multi-cloud system. Many of the work reveals about the behavioral analysis of Multi-cloud architecture using Colored Petri Net. But they are some shortcomings towards analysis of dynamics Multi-cloud architecture. Therefore, High level Petri Net based approach [25] is most suitable towards analysis of dynamics of such system. This paper is the extension of the work done in [23] , which handles the dynamic facets and behavioral modeling of complex MAS based Inter-cloud architecture (ECBS) using a Petri-net tool called PIPE. This paper particularly focuses on the formal definition of ECBS that conceptually defined in MAS environment. The main objective of this paper is to analyze the dynamic properties of ECBS using High level Petri Net tool called CPN. Further, through the proposed HECBP net and reachability graph, the behavioral properties of ECBS like safeness, liveliness, boundedness, etc are analyzed. The proposed model is effective towards interactions among the heterogeneous agents present within the cloud bus.
doi:10.14257/ijseia.2017.11.7.02 fatcat:3xokfphzlzdqzoubgprxmmtyry