The SosADL Studio: An Architecture Development Environment for Software-intensive Systems-of-Systems

被引：12
|
作者：
Oquendo, Flavio [1 ]
Buisson, Jeremy [1 ]
Leroux, Elena [1 ]
Moguerou, Gersan [1 ]
Quilbeuf, Jean [2 ]
机构：
[1] Univ Bretagne Loire, Univ Bretagne Sud, IRISA, UMR CNRS, BP 573, F-56017 Vannes, France
[2] Inria Rennes, Bretagne Atlantique, Campus Beaulieu, F-35042 Rennes, France
来源：
SOFTWARE-INTENSIVE SYSTEMS-OF-SYSTEMS SYMPOSIUM (SISOS@ECSA) | 2016年
关键词：
Software-intensive Systems-of-Systems Architectures; SosADL;
D O I：
10.1145/3175731.3176180
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Conceiving Architecture Description Languages (ADLs) and accompanying Architecture Development Environments (ADEs) has been the subject of intensive research in the last two decades. This paper presents the SosADL Studio, an SoS ADE for accompanying SosADL in the formal development of evolutionary architectures of Systems-of-Systems (SoSs). SosADL Studio provides a model-driven ADE where SoS architecture descriptions in SosADL are edited, parsed, type checked, and transformed to different analysis languages for concurrent constraint solving, model checking, simulation, as well as statistical model checking.
引用
收藏
页数：8
相关论文
共 50 条
  • [1] Formally Describing the Architectural Behavior of Software-intensive Systems-of-Systems with SosADL
    Oquendo, Flavio
    [J]. 2016 21ST INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2016), 2016, : 13 - 22
  • [2] Architecting exogenous software-intensive systems-of-systems on the internet-of-vehicles with SosADL
    Oquendo, Flavio
    [J]. SYSTEMS ENGINEERING, 2019, 22 (06) : 502 - 518
  • [3] On the Architecture-Driven Development of Software-Intensive Systems-of-Systems
    Cavalcante, Everton
    [J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 899 - 902
  • [4] Bridging Missions and Architecture in Software-intensive Systems-of-Systems
    Silva, Eduardo
    Cavalcante, Everton
    Batista, Thais
    Oquendo, Flavio
    [J]. 2016 21ST INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2016), 2016, : 201 - 206
  • [5] Software-intensive Systems-of-Systems
    Drira, Khalil
    Cuesta, Carlos E.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2021, 212 (212)
  • [6] Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems
    Oquendo, Flavio
    [J]. SOFTWARE ARCHITECTURE, ECSA 2016, 2016, 9839 : 3 - 21
  • [7] Formally Describing the Software Architecture of Systems-of-Systems with SosADL
    Oquendo, Flavio
    [J]. 2016 11TH SYSTEMS OF SYSTEM ENGINEERING CONFERENCE (SOSE), IEEE, 2016,
  • [8] Characterizing Architecture Description Languages for Software-Intensive Systems-of-Systems
    Guessi, Milena
    Cavalcante, Everton
    Oliveira, Lucas B. R.
    [J]. THIRD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS SESOS 2015, 2015, : 12 - 18
  • [9] Software Architecture and Reference Architecture of Software-intensive Systems and Systems-of-Systems: Contributions to the State of the Art
    Nakagawa, Elisa Yumi
    Allian, Ana
    Oliveira, Brauner
    Sena, Bruno
    Paes, Carlos
    Lana, Cristiane
    Feitosa, Daniel
    Santos, Daniel
    Zaniro, Denis
    Dias, Diogenes
    Horita, Flavio
    Affonso, Frank Jose
    Abdalla, Gabriel
    Vicente, Isabella
    Duarte, Leonardo
    Felizardo, Katia
    Garces, Lina
    Oliveira, Lucas
    Goncalves, Marcelo
    Morais, Maria Gabriela
    Guessi, Milena
    Silva, Nilson
    Bianchi, Thiago
    Volpato, Tiago
    Graciano Neto, Valdemar V.
    Zani, Vinicius
    Manzano, Wallace
    [J]. 11TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2017) - COMPANION VOLUME, 2017, : 11 - 18
  • [10] Towards an understanding of reliability of software-intensive systems-of-systems
    Ferreira, Francisco Henrique Cerdeira
    Nakagawa, Elisa Yumi
    dos Santos, Rodrigo Pereira
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 158
12345