lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
HPobSAM for modeling and analyzing IT Ecosystems: Through a case study
Technical University of Braunschweig, Germany.ORCID iD: 0000-0002-0377-5595
Tarbiat Modares University, Iran.
Reykjavk University, Iceland.
Technical University of Braunschweig, Germany.
Show others and affiliations
2012 (English)In: Journal of Systems and Software, ISSN 0164-1212, Vol. 85, no 12, 2770-2784 p.Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
Elsevier, 2012. Vol. 85, no 12, 2770-2784 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-42243DOI: 10.1016/j.jss.2012.03.007OAI: oai:DiVA.org:lnu-42243DiVA: diva2:803846
Available from: 2015-04-13 Created: 2015-04-13 Last updated: 2015-04-14Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Khakpour, Narges
In the same journal
Journal of Systems and Software
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 57 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf