Skip to main content
SpringerLink
Log in

A Formal Metamodel for Software Architectures with Composite Components

  • Conference paper
  • First Online:
Model and Data Engineering (MEDI 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14396))

Included in the following conference series:

  • 155 Accesses

Abstract

Formal component-based modeling has been shown to be invaluable for verifying the compatibility of specified components, discovering flaws early in design stages, and enabling the reuse of components, across multiple projects and teams. However, complex system specifications are large and difficult to reason with which has limited the adoption of formal approaches. In this paper, we use a formal language to build a metamodel to represent software architectures consisting of composite components. First, we propose a metamodel to describe the high-level concepts of software architectures in a component-port-connector fashion. We focus on providing hierarchical modeling capabilities by considering the construction of composite components from existing ones. Second, using Alloy as a tooled formal language, we formalize the metamodel concepts to build a reusable framework for modeling complex systems consisting of composite component structures that can be automatically constructed and checked for architectural conformance. We use a smart metering system to demonstrate the use our formal metamodel.

Supported by the Ericsson-Carleton Partnership 5G Fellowship Program.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Available online at https://gitlab.com/CyberSEA-Public/CC-Metamodel.

References

  1. Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011)

    Article  Google Scholar 

  2. BSI: Protection Profile for the Gateway of a Smart Metering System (Smart Meter Gateway PP). Common Criteria Protection Profile BSI-CC-PP-0073, Bundesamt für Sicherheit in der Informationstechnik (2014)

    Google Scholar 

  3. Clarke, E.M., Long, D.E., McMillan, K.L.: Compositional model checking. In: Fourth IEEE Symposium on Logic in Computer Science (1989)

    Google Scholar 

  4. Collet, P., Malenfant, J., Ozanne, A., Rivierre, N.: Composite contract enforcement in hierarchical component systems. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 18–33. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-77351-1_3

    Chapter  Google Scholar 

  5. Crnkovic, I., Larsson, M. (eds.): Building Reliable Component-based Software Systems. Artech House, New York City (2002)

    Google Scholar 

  6. He, N., et al.: Component-based design and verification in X-MAN. In: Embedded Real Time Software and Systems (ERTS2012). Toulouse, France, February 2012

    Google Scholar 

  7. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)

    Google Scholar 

  8. Jackson, D.: Alloy: a language and tool for exploring software designs. Commun. ACM 62(9), 66–76 (2019)

    Article  Google Scholar 

  9. Jifeng, H., Li, X., Liu, Z.: rCOS: a refinement calculus of object systems. Theor. Comput. Sci. 365(1–2), 109–142 (2006)

    Article  MathSciNet  Google Scholar 

  10. Johnson, K., Calinescu, R., Kikuchi, S.: An incremental verification framework for component-based software systems. In: 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, pp. 33–42. CBSE ’13 (2013)

    Google Scholar 

  11. Kruchten, P.: Architectural blueprints–the “4+1’’ view model of software architecture. IEEE Softw. 12(6), 42–50 (1995)

    Article  Google Scholar 

  12. Lehman, M.M.: Programs, life cycles, and laws of software evolution. IEEE 68(9), 1060–1076 (1980)

    Article  Google Scholar 

  13. Liu, Z., Jifeng, H., Li, X.: Contract oriented development of component software. In: Levy, J.-J., Mayr, E.W., Mitchell, J.C. (eds.) TCS 2004. IIFIP, vol. 155, pp. 349–366. Springer, Boston, MA (2004). https://doi.org/10.1007/1-4020-8141-3_28

    Chapter  Google Scholar 

  14. Rouland, Q., Hamid, B., Jaskolka, J.: Specification, detection, and treatment of STRIDE threats for software components: modeling, formal methods, and tool support. J. Syst. Architect. 117, 102073 (2021)

    Article  Google Scholar 

  15. Rouland, Q., Hamid, B., Bodeveix, J.P., Filali, M.: A formal methods approach to security requirements specification and verification. In: 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 236–241. IEEE (2019)

    Google Scholar 

  16. Rouland, Q., Hamid, B., Jaskolka, J.: Formal specification and verification of reusable communication models for distributed systems architecture. Futur. Gener. Comput. Syst. 108, 178–197 (2020)

    Article  Google Scholar 

  17. Saoud, A., Girard, A., Fribourg, L.: Assume-guarantee contracts for continuous-time systems. Automatica 134, 109910 (2021)

    Article  MathSciNet  Google Scholar 

  18. Wong, S., Sun, J., Warren, I., Sun, J.: A scalable approach to multi-style architectural modeling and verification. In: 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), pp. 25–34 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Systems and Computer Engineering, Carleton University, Ottawa, ON, Canada

    James Baak, Quentin Rouland & Jason Jaskolka

Authors
  1. James Baak
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Quentin Rouland
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jason Jaskolka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Quentin Rouland .

Editor information

Editors and Affiliations

  1. Bordeaux INP, Talence, France

    Mohamed Mosbah

  2. Dublin City University, Dublin, Ireland

    Tahar Kechadi

  3. ENSMA, Poitiers, France

    Ladjel Bellatreche

  4. University of Sfax, Sfax, Tunisia

    Faiez Gargouri

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Baak, J., Rouland, Q., Jaskolka, J. (2024). A Formal Metamodel for Software Architectures with Composite Components. In: Mosbah, M., Kechadi, T., Bellatreche, L., Gargouri, F. (eds) Model and Data Engineering. MEDI 2023. Lecture Notes in Computer Science, vol 14396. Springer, Cham. https://doi.org/10.1007/978-3-031-49333-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-49333-1_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-49332-4

  • Online ISBN: 978-3-031-49333-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation