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

The sosADL studio: an architecture development environment for software-intensive systems-of-systems

Published: 29 November 2016 Publication History

Abstract

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.

References

[1]
Abraham E.; Kremer G.: "Satisfiability Checking: Theory and Applications", Proc. of the 14th International Conference on Software Engineering and Formal Methods (SEFM), LNCS, Springer, July 2016.
[2]
AcmeStudio: Editing Environment and Visualization Tool for Software Architectural Designs based on the Acme ADL, http://www.cs.cmu.edu/~acme/AcmeStudio/
[3]
Alloy: Alloy Formal Language and Alloy Analyzer, http://alloy.mit.edu/alloy/
[4]
ArchStudio: Open-source software and systems architecture development environment for xADL, http://isr.uci.edu/projects/archstudio/
[5]
Capella: Model-Driven Engineering Environment for Systems Engineering and Architecture based on SysML, http://polarsys.org/capella/index.html
[6]
Cavalcante, E.; Batista, T.V.; Oquendo, F.: "Supporting Dynamic Software Architectures: From Architectural Description to Implementation", Proc. of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA), Montreal, Canada, May 2015.
[7]
Cavalcante, E.; Quilbeuf, J.; Traonouez, L.M.; Oquendo, F.; Batista, T.V.; Legay, A.: "Statistical Model Checking of Dynamic Software Architectures", Proc. of the 10th European Conference on Software Architecture (ECSA), LNCS, Springer, Copenhagen, Denmark, September 2016.
[8]
COMPASS: Comprehensive Modelling for Advanced Systems-of-Systems, http://www.compass-research.eu
[9]
Coq: The Coq Proof Assistant, https://coq.inria.fr/
[10]
DANSE: Designing for Adaptability and Evolution in System-of-Systems Engineering, http://www.danse-ip.eu
[11]
DEVS: DEVS Formalism and MS4Me Simulator, http://www.ms4systems.com/
[12]
Graciano Neto, V.; Oquendo, F.: "Validating Emergent Behaviors in Systems-of-Systems through Model Transformations", Proc. of the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS), St. Malo, France, October 2016.
[13]
Guessi, M.; Nakagawa, E.Y.; Oquendo, F.: "A Systematic Literature Review on the Description of Software Architectures for Systems-of-Systems", Proc. of the 30th ACM Symposium on Applied Computing (SAC), Salamanca, Spain, April 2015.
[14]
Guessi, M.; Oquendo, F.; Nakagawa, E.Y.: "Checking the Architectural Feasibility of Systems-of-Systems using Formal Descriptions", Proc. of the 11th IEEE System-of-Systems Engineering Conference (SoSE), Kongsberg, Norway, June 2016.
[15]
Klein, J.; van Vliet, H.: "A Systematic Review of System-of-Systems Architecture Research", Proc. of the 9th International Conference on Quality of Software architectures (QoSA), Vancouver, Canada, June 2013.
[16]
Kodkod: SAT-based Constraint Solver for First-order Relational Logic, http://emina.github.io/kodkod/
[17]
Leroux, E.; Oquendo, F.; Xiong, Q.: "Architecture-based Conformance Testing", Proc. of the 8th International Conference on Software Engineering Advances (ICSEA), Venice, Italy, October 2013.
[18]
Maier, M.W.: "Architecting Principles for Systems-of-Systems", Journal on Systems Engineering, Vol. 1, No. 4, 1998.
[19]
Milner, R.: Communicating and Mobile Systems: The π-Calculus, Cambridge University Press, 1999.
[20]
Nakagawa, E.Y.; Gonçalves, M.B.; Oquendo, F. et al.: "The State of the Art and Future Perspectives in Systems-of-Systems Software Architectures", Proc. of the 1st ACM International Workshop on Software Engineering for Systems-of-Systems (SESoS), Eds. F. Oquendo et al., Montpellier, France, July 2013.
[21]
Nielsen, C.B. et al.: "Systems-of-Systems Engineering: Basic Concepts, Model-based Techniques, and Research Directions", ACM Computing Survey, Vol. 48(2), September 2015.
[22]
Oquendo, F.: "π-ADL: Architecture Description Language based on the Higher-order Typed π-Calculus for Specifying Dynamic and Mobile Software Architectures", ACM SIGSOFT SEN, Vol. 29, No. 3, May 2004.
[23]
Oquendo, F.: "Formally Describing the Software Architecture of Systems-of-Systems with SosADL", Proc. of the 11th IEEE System-of-Systems Engineering Conference (SoSE), Kongsberg, Norway, June 2016.
[24]
Oquendo, F.: "π-Calculus for SoS: A Foundation for Formally Describing Software-intensive Systems-of-Systems", Proc. of the 11th IEEE System-of-Systems Engineering Conference (SoSE), Kongsberg, Norway, June 2016.
[25]
Oquendo, F.: "The π-Calculus for SoS: Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems", Proc. of 38th International Conference on Communicating Process Architectures (CPA), Copenhagen, Denmark, August 2016.
[26]
Oquendo, F.: "Formally Describing the Architectural Behavior of Software-intensive Systems-of-Systems with SosADL", Proc. the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Dubai, UAE, November 2016.
[27]
Oquendo, F.: "Software Architecture Challenges and Emerging Research in Software-intensive Systems-of-Systems", Proc. of the 10th European Conference on Software Architecture (ECSA), LNCS, Springer, Copenhagen, Denmark, November 2016.
[28]
Oquendo, F.: "Case Study on Formally Describing the Architecture of a Software-intensive System-of-Systems with SosADL", Proc. of 15th IEEE International Conference on Systems, Man, and Cybernetics (SMC), Budapest, Hungary, October 2016.
[29]
Oquendo, F.; Legay, A.: "Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL", ERCIM News, No. 102, July 2015.
[30]
Oquendo, F.; Leite, J.C.; Batista, T.: Executing Software Architecture Descriptions with SysADL, Proc. of the 10th European Conference on Software Architecture (ECSA), LNCS, Springer, Copenhagen, Denmark, November 2016.
[31]
Oquendo, F.; Leite, J.C.; Batista, T.: Software Architecture in Action: Designing and Executing Architectural Models with SysADL, Springer 2016.
[32]
OSATE: SEI Open Source AADL Tool Environment, http://osate.org/
[33]
PLASMA-Lab: Statistical Model Checker, https://project.inria.fr/plasma-lab/
[34]
Quilbeuf, J.; Cavalcante, E.; Traonouez, L.M.; Oquendo, F.; Batista, T.V.; Legay, A.: "A Logic for Statistical Model Checking of Dynamic Software Architectures", Proc. of the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Springer, Corfu, Greece, October 2016.
[35]
Silva E.; Batista, T.; Oquendo, F.: "A Mission-Oriented Approach for Designing System-of-Systems", Proc. of the 10th System-of-Systems Engineering Conference (SoSE), San Antonio, TX, USA, May 2015.
[36]
SysML: OMG Systems Modeling Language, http://www.omg.org/spec/SysML
[37]
UPPAAL: Model Checker, http://www.uppaal.org/

Cited By

View all
  • (2020)Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems2020 IEEE 15th International Conference of System of Systems Engineering (SoSE)10.1109/SoSE50414.2020.9130553(000555-000562)Online publication date: Jun-2020
  • (2020)Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADLInternet of Things. A Confluence of Many Disciplines10.1007/978-3-030-43605-6_1(3-20)Online publication date: 18-Mar-2020
  • (2019)Modeling & simulation of software architectures of systems-of-systemsProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338251(1-12)Online publication date: 29-Apr-2019
  • Show More Cited By

Index Terms

  1. The sosADL studio: an architecture development environment for software-intensive systems-of-systems

    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. software-intensive systems-of-systems architectures
    2. sosADL

    Qualifiers

    • Research-article

    Conference

    SiSoS@ECSA 2016

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)6
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 20 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2020)Fuzzy Architecture Description for Handling Uncertainty in IoT Systems-of-Systems2020 IEEE 15th International Conference of System of Systems Engineering (SoSE)10.1109/SoSE50414.2020.9130553(000555-000562)Online publication date: Jun-2020
    • (2020)Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADLInternet of Things. A Confluence of Many Disciplines10.1007/978-3-030-43605-6_1(3-20)Online publication date: 18-Mar-2020
    • (2019)Modeling & simulation of software architectures of systems-of-systemsProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338251(1-12)Online publication date: 29-Apr-2019
    • (2019)Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital TwinsComputational Science and Its Applications – ICCSA 201910.1007/978-3-030-24289-3_57(770-786)Online publication date: 29-Jun-2019
    • (2019)Architecting exogenous software‐intensive systems‐of‐systems on the internet‐of‐vehicles with SosADLSystems Engineering10.1002/sys.2152122:6(502-518)Online publication date: 11-Nov-2019
    • (2018)On the Emergent Behavior Oxymoron of System-of-Systems Architecture Description2018 13th Annual Conference on System of Systems Engineering (SoSE)10.1109/SYSOSE.2018.8428727(417-424)Online publication date: Jun-2018
    • (2018)A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees2018 13th Annual Conference on System of Systems Engineering (SoSE)10.1109/SYSOSE.2018.8428726(14-21)Online publication date: Jun-2018
    • (2018)Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-ThingsSoftware Architecture10.1007/978-3-030-00761-4_2(20-36)Online publication date: 15-Sep-2018

    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