skip to main content
10.1145/3175731.3176179acmotherconferencesArticle/Chapter ViewAbstractPublication Pagessisos-at-ecsaConference Proceedingsconference-collections
research-article

Multi-scale modeling for software-intensive systems-of-systems architectures

Published: 29 November 2016 Publication History

Abstract

In this paper, we propose a multi-scale modeling approach for SoS architecture description. This study aims at mastering the complexity of such systems both at the human and automated processing levels by considering increasingly detailed modeling scales. Some high level properties can be expressed on informal descriptions with a high level of abstractions and checked on simple formal descriptions. Some other properties need more detailed descriptions to be expressed and formal specifications to be elaborated. We elaborate a set of coarse-grained and fine-grained models and we define the corresponding refinement rules to build correct by design Publish-Subscribe software architectures. The defined rules respect the principle of information dissemination guaranteeing that the produced information reaches all the subscribed consumers. In order to formalize the multi-scale characterization process and to use it in the design process, we have chosen to follow an iterative modeling methodology that captures diverse perspectives of the performance modeling of SoS. We discuss how our approach to modeling supports the specific characteristics of an SoS and illustrate this through a case study, based on the (Integrated Air Defense) IAD scenario, demonstrating how we may obtain correct models within a SoS with emergent properties.

References

[1]
Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, and Matteo Rossi. 2015. Formal Verification and Validation of Embedded Systems: The UML-based MADES Approach. Softw. Syst. Model. 14, 1 (Feb. 2015), 343--363.
[2]
J. Bryans, J. Fitzgerald, R. Payne, A. Miyazawa, and K. Kristensen. 2014. SysML contracts for systems of systems. In System of Systems Engineering (SOSE), 2014 9th International Conference on. 73--78.
[3]
Tiago Carneiro. 2006. Nested-CA: a foundation for multiscale modeling of land use and land change. Ph.D. Dissertation. SÃčo JosÃl' dos Campos: INPE.
[4]
Tayfun Gezgin, Christoph Etzien, Stefan Henkler, and Achim Rettberg. 2012. Towards a Rigorous Modeling Formalism for Systems of Systems. In ISORC. 204--211.
[5]
Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Khalil Drira. 2016. Software architectures: Multi-scale refinement. In the 14th International Conference on Software Engineering Research, Management and Applications (SERA2016).
[6]
Mark Maier. 1998. Architecting principles for systems-of-systems. Systems Engineering 1, 4 (1998), 267--284.
[7]
Elisa Yumi Nakagawa, Marcelo Gonçalves, Milena Guessi, Lucas B. R. Oliveira, and Flávio Oquendo. 2013. The state of the art and future perspectives in systems of systems software architectures. In SESoS. 13--20.
[8]
ODUSD. 2008. DoD. System Engineering Guide for Systems of Systems. Technical Report. Office of the Deputy Under Secretary of Defense for Acquisition and Technology.
[9]
P. Petrov, U. Buy, and R.L. Nord. 2011. The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities. In Software Architecture (WICSA), 2011 9th Working IEEE/IFIP Conference on. 147--156.
[10]
Mordecai Yaniv and Dori Dov. 2013. 6.5.1 I5: A Model-Based Framework for Architecting System-of-Systems Interoperability, Interconnectivity, Interfacing, Integration, and Interaction. INCOSE International Symposium 23, 1 (2013), 1234--1255.
  1. Multi-scale modeling for software-intensive systems-of-systems architectures

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    SiSoS@ECSA '16: Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture
    November 2016
    69 pages
    ISBN:9781450363990
    DOI:10.1145/3175731
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 29 November 2016

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. event-B specifications
    2. model transformation
    3. multi-scale description
    4. refinement
    5. software architectures
    6. system of systems (SoS)

    Qualifiers

    • Research-article

    Conference

    SiSoS@ECSA 2016

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 34
      Total Downloads
    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 20 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media