Formal Modeling of Enterprise Cloud Bus System: A High Level Petri-Net Based Approach
| Autor: | Sabnam Sengupta, Anirban Sarkar, Gitosree Khan |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Service (systems architecture)
business.industry computer.internet_protocol Computer science Software as a service Distributed computing Enterprise integration Integrated enterprise modeling 020207 software engineering Cloud computing 02 engineering and technology Service-oriented architecture Service-oriented modeling Embedded system 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Enterprise information system business computer |
| Zdroj: | Requirements Engineering for Service and Cloud Computing ISBN: 9783319513096 |
| DOI: | 10.1007/978-3-319-51310-2_6 |
| Popis: | The chapter focuses on an abstraction layer of SaaS architecture for multi-agent-based inter-cloud environment, called Enterprise Cloud Bus System (ECBS) to conceptualize the different behavioral facets of such system in service and cloud computing paradigm. The model is formalized using a set of high level Petri-net-based formal constructs called High Level Enterprise Cloud Bus Petri-net (HECBP) with varieties of relationship types among participation cloud bus components. It is accompanied with a rich set of Petri-net graphical notations and those are used to specify the effective toward modeling interactions among the heterogeneous agent present within the cloud bus of ECBS at conceptual level design of multi cloud system. The approach facilitates to analyze the behavioral features of inter-cloud architecture and modeled its dynamics at the conceptual level. The HECBP is also able to ensure correctness and performance of the system at design time by focusing on meeting the increasing demands for distributed software as a service and making the system functionality more scalable, configurable, and shareable. This chapter includes modeling of several behavioral facets like, fairness, boundedness , liveliness , safeness , etc., in a dead lock-free way. Moreover, this chapter provides a discussion on state-space analysis study, which further validates the theoretical analysis of HECBP model and future research scope in this area. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|