Specification of Constraints in a System-of-Systems Configuration | SpringerLink
Skip to main content
Springer Nature Link
Log in

Specification of Constraints in a System-of-Systems Configuration

  • Conference paper
  • First Online:
Advances in Dependability Engineering of Complex Systems (DepCoS-RELCOMEX 2017)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 582))

Included in the following conference series:

  • 896 Accesses

Abstract

A class of Systems-of-Systems (SoS) is considered, where systems are hierarchically composed of subsystems. The structure of the system changes during its lifetime, i.e. component subsystems are moved to other parents. Each system has its configurable parameters. When the configuration changes, it may lead to conflicts in the configuration of its components. There are constraints on component systems configurations that are not limited to the systems, or even to their ancestors in the hierarchy. A domain specific language is proposed to describe constraints in the SoS. It consists of a list of assertions that the SoS configuration must meet. Each assertion is a logical expression that is scoped to a specific subset of component systems.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 17159
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 21449
Price includes VAT (Japan)
  • 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

Similar content being viewed by others

Notes

  1. 1.

    http://json-schema.org/.

  2. 2.

    https://www.w3.org/TR/xmlschema11-1/.

  3. 3.

    https://www.w3.org/TR/xpath-31/.

  4. 4.

    https://www.w3.org/TR/xslt20/.

References

  1. Anderson, P., Herry, H.: A formal semantics for the SmartFrog configuration language. J. Netw. Syst. Manage. 24(2), 309–345 (2016)

    Article  Google Scholar 

  2. Arenas, M., Libkin, L.: A normal form for XML documents. ACM Trans. Database Syst. 29(1), 195–232 (2004)

    Article  Google Scholar 

  3. Caban, D., Walkowiak, T.: Preserving continuity of services exposed to security incidents. In: Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies, SECURWARE, pp. 72–78 (2012)

    Google Scholar 

  4. Delaet, T., Anderson, P., Joosen, W.: Managing real-world system configurations with constraints. In: Proceedings of the Seventh International Conference on Networking, pp. 594–601 (2008)

    Google Scholar 

  5. Jaradat, R.M., Keating, C.B., Bradley, J.M.: A histogram analysis for system of systems. Int. J. Syst. Syst. Eng. 5(3), 193–227 (2014)

    Article  Google Scholar 

  6. Keating, C.B., Rogers, R., Unal, R., Dryer, D., Sousa-Poza, A.A., Safford, R., Peterson, W., Rabadi, G.: System of systems engineering. Eng. Manage. J. 15(3), 35–44 (2003)

    Article  Google Scholar 

  7. Vincent, M.W., Liu, J., Liu, C.: Strong functional dependencies and their application to normal forms in XML. ACM Trans. Database Syst. 29(3), 445–462 (2004)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Electronics, Wrocław University of Science and Technology, Wybrzeże Wyspiańskiego 27, 50-320, Wrocław, Poland

    Dariusz Caban & Tomasz Walkowiak

Authors
  1. Dariusz Caban
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tomasz Walkowiak
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dariusz Caban .

Editor information

Editors and Affiliations

  1. Department of Computer Engineering, Wrocław University of Technology Department of Computer Engineering, Wrocław, Poland

    Wojciech Zamojski

  2. Department of Computer Engineering, Wrocław University of Technology Department of Computer Engineering, Wrocław, Poland

    Jacek Mazurkiewicz

  3. Department of Computer Engineering, Wrocław University of Technology, Wroclaw, Poland

    Jarosław Sugier

  4. Department of Computer Engineering, Wrocław University of Technology Department of Computer Engineering, Wrocław, Poland

    Tomasz Walkowiak

  5. Systems Research Institute, Polish Academy of Sciences Systems Research Institute, Warsaw, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Caban, D., Walkowiak, T. (2018). Specification of Constraints in a System-of-Systems Configuration. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Advances in Dependability Engineering of Complex Systems. DepCoS-RELCOMEX 2017. Advances in Intelligent Systems and Computing, vol 582. Springer, Cham. https://doi.org/10.1007/978-3-319-59415-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-59415-6_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59414-9

  • Online ISBN: 978-3-319-59415-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation