skip to main content
10.1145/3167132.3167311acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

Formal modeling systems-of-systems missions with mKAOS

Published: 09 April 2018 Publication History

Abstract

Modeling missions in systems-of-systems is a key activity in the development process of such systems. Since mission models define the objectives and participants of a system-of-systems, they severally impacts on every subsequent artifacts of any development process. In this context, mKAOS was proposed as a semi-formal language for mission description, based on the specific needs of the domain. It provides mechanisms for describing missions, constituent systems, capabilities and emergent behaviors, besides some auxiliary elements. However, as a semi-formal language, mKAOS has several limitations, the inner subjectivity might hampers the early activities of the development process, such as the verification of the mission model and the architectural modeling. This work concerns on this limitation and proposes the introduction of Dyn-BLTL, a formal language for designing dynamic systems, in mKAOS. Such formalization allows the development of verification tools for mission models and for verifying the correspondences between the mission models and the subsequent artifacts of the development process.

References

[1]
Thais Batista. 2013. Challenges for SoS architecture description. In Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems (SESoS 2013). ACM, New York, NY, USA, 35--37.
[2]
Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, and Axel Legay. 2016. Statistical Model Checking of Dynamic Software Architectures. In ECSA 2016 - 10th European Conference on Software Architecture (Proceedings of the 2016 European Conference of Software Architecture). Copenhague, Denmark. https://hal.inria.fr/hal-01390707
[3]
Anne Dardenne, Axel van Lamsweerde, and Stephen Fickas. 1993. Goal-directed requirements acquisition. Science of Computer Programming 20, 1 (1993), 3 -- 50.
[4]
Livia C. Degrossi, Guilherme G. do Amaral, and Eduardo S. M. de Vasconcelos. 2013. Using Wireless Sensor Networks in the Sensor Web for Flood Monitoring in Brazil. In Proceedings of the 10th International ISCRAM Conference. Baden-Baden, Germany.
[5]
Danny Hughes, Jo Ueyama, Eduardo Mendiondo, Nelson Matthys, Wouter Horré, Sam Michiels, Christophe Huygens, Wouter Joosen, Ka Lok Man, and Sheng-Uei Guan. 2011. A middleware platform to support river monitoring using wireless sensor networks. Journal of the Brazilian Computer Society 17, 2 (01 Jun 2011), 85--102.
[6]
Axel Legay, Benoît Delahaye, and Saddek Bensalem. 2010. Statistical Model Checking: An Overview. Springer Berlin Heidelberg, Berlin, Heidelberg, 122--135.
[7]
Axel Legay, Sean Sedwards, and Louis-Marie Traonouez. 2016. Plasma Lab: A Modular Statistical Model Checking Platform. Springer International Publishing, Cham, 77--93.
[8]
Mark Maier. 1998. Architecting principles for systems-of-systems. Systems Engineering 1, 4 (1998), 267--284.
[9]
Zohar Manna and Amir Pnueli. 1992. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag New York, Inc., New York, NY, USA.
[10]
Flavio Oquendo. 2004. π-ADL: An architecture description language based on the higher-order typed-calculus for specifying dynamic and mobile software architectures. In ACM SIGSOFT Software Engineering Notes (May 2004).
[11]
Flavio Oquendo. 2016. Formally describing the software architecture of systems of-systems with SosADL. In Proceedings of the 11th IEEE International Conference on System-of-Systems Engineering (June 2016).
[12]
Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, and Axel Legay. 2016. A Logic for the Statistical Model Checking of Dynamic Software Architectures. In ISoLA (Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques), Vol. 9952. Springer, Corfou, Greece, 806 -- 820.
[13]
Eduardo Silva, Thais Batista, and Everton Cavalcante. 2015. A mission-oriented tool for systemof-systems modeling. In Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Systems-of-System (SESoS'15).
[14]
Eduardo Silva, Thais Batista, and Flavio Oquendo. 2015. A mission-oriented approach for designing system-of-systems. In 10th System of Systems Engineering Conference (SoSE'15). 346--351.
[15]
Eduardo Silva, Everton Cavalcante, and Thais Batista. 2017. Refining Missions to Architectures in Software-intensive Systems-of-systems. In Proceedings of the Joint 5th International Workshop on Software Engineering for Systems-of-Systems and 11th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (JSOS '17). IEEE Press, Piscataway, NJ, USA, 2--8.
[16]
Eduardo Silva, Everton Cavalcante, Thais Batista, Flavio Oquendo, Flavia Delicato, and Paulo Pires. 2014. On the Characterization of Missions of Systems-of-Systems. In Proceeding of the 2nd International Workshop on Software Engineering for Systems-of-Systems.
[17]
Axel van Lamsweerde. 2001. Goal-Oriented Requirements Engineering: A guided tour. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE'01). IEEE Computer Society, Washington, DC, USA, 249--262.
[18]
Axel van Lamsweerde. 2009. Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley.

Cited By

View all
  • (2024)Mission‐based design of UAVsSystems Engineering10.1002/sys.2175427:5(850-868)Online publication date: 11-Mar-2024
  • (2023)Towards a Core Ontology for Missions and Capabilities in Systems of Systems2023 18th Annual System of Systems Engineering Conference (SoSe)10.1109/SoSE59841.2023.10178557(1-7)Online publication date: 14-Jun-2023
  • (2022)An Assurance Case Description Method to Reduce Misunderstanding of Managed Objects When Designing Open System-of-SystemsInternational Journal of Japan Association for Management Systems10.14790/ijams.14.114:1(1-11)Online publication date: 31-Dec-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing
April 2018
2327 pages
ISBN:9781450351911
DOI:10.1145/3167132
Publication rights licensed to ACM. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 April 2018

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. dynBLTL
  2. formalism
  3. mKAOS
  4. missions
  5. systems-of-systems

Qualifiers

  • Research-article

Funding Sources

  • PDSE/16

Conference

SAC 2018
Sponsor:
SAC 2018: Symposium on Applied Computing
April 9 - 13, 2018
Pau, France

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)6
  • Downloads (Last 6 weeks)0
Reflects downloads up to 27 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Mission‐based design of UAVsSystems Engineering10.1002/sys.2175427:5(850-868)Online publication date: 11-Mar-2024
  • (2023)Towards a Core Ontology for Missions and Capabilities in Systems of Systems2023 18th Annual System of Systems Engineering Conference (SoSe)10.1109/SoSE59841.2023.10178557(1-7)Online publication date: 14-Jun-2023
  • (2022)An Assurance Case Description Method to Reduce Misunderstanding of Managed Objects When Designing Open System-of-SystemsInternational Journal of Japan Association for Management Systems10.14790/ijams.14.114:1(1-11)Online publication date: 31-Dec-2022
  • (2022)A Delphi study to recognize and assess systems of systems vulnerabilitiesInformation and Software Technology10.1016/j.infsof.2022.106874146:COnline publication date: 1-Jun-2022
  • (2021)What Method is to Achieve the Purposes of Systems-of-Systems Having Different Boundaries as System-of-Systems for Each Organization?International Journal of Japan Association for Management Systems10.14790/ijams.13.15_2413:1(15-24)Online publication date: 31-Dec-2021
  • (2021)A GRL-compliant iStar extension for collaborative cyber-physical systemsRequirements Engineering10.1007/s00766-021-00347-3Online publication date: 4-Feb-2021

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