HPobSAM for modeling and analyzing IT Ecosystems - Through a case study

  • Authors:

  • Narges Khakpour;Saeed Jalili;Marjan Sirjani;Ursula Goltz;Bahareh Abolhasanzadeh

  • Affiliations:

  • Technical University of Braunschweig, Braunschweig, Germany and Tarbiat Modares University, Tehran, Iran and Leiden Institute for advanced Computer Science, Leiden University, The Netherland;Tarbiat Modares University, Tehran, Iran;Reykjavk University, Reykjavk, Iceland and University of Tehran, Tehran, Iran;Technical University of Braunschweig, Braunschweig, Germany;Tarbiat Modares University, Tehran, Iran

  • Venue:
  • Journal of Systems and Software
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The next generation of software systems includes systems composed of a large number of distributed, decentralized, autonomous, interacting, cooperating, organically grown, heterogeneous, and continually evolving subsystems, which we call IT Ecosystems. Clearly, we need novel models and approaches to design and develop such systems which can tackle the long-term evolution and complexity problems. In this paper, our framework to model IT Ecosystems is a combination of centralized control (top-down) and self-organizing (bottom-up) approach. We use a flexible formal model, HPobSAM, that supports both behavioral and structural adaptation/evolution. We use a detailed, close to real-life, case study of a smart airport to show how we can use HPobSAM in modeling, analyzing and developing an IT Ecosystem. We provide an executable formal specification of the model in Maude, and use LTL model checking and bounded state space search provided by Maude to analyze the model. We develop a prototype of our case study designed by HPobSAM using Java and Ponder2. Due to the complexity of the model, we cannot check all properties at design time using Maude. We propose a new approach for run-time verification of our case study, and check different types of properties which we could not verify using model checking. As our model uses dynamic policies to control the behavior of systems which can be modified at runtime, it provides us a suitable capability to react to the property violation by modification of policies.