Specification of Constraints in a System-of-Systems Configuration

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.

[1]  Herry Herry,et al.  A Formal Semantics for the SmartFrog Configuration Language , 2016, Journal of Network and Systems Management.

[2]  Tomasz Walkowiak,et al.  Preserving Continuity of Services Exposed to Security Incidents , 2012, SECURWARE 2012.

[3]  Wouter Joosen,et al.  Managing Real-World System Configurations with Constraints , 2008, Seventh International Conference on Networking (icn 2008).

[4]  Andres Sousa-Poza,et al.  System of systems engineering , 2003, IEEE Engineering Management Review.

[5]  Chengfei Liu,et al.  Strong functional dependencies and their application to normal forms in XML , 2004, TODS.

[6]  Charles B. Keating,et al.  A histogram analysis for system of systems , 2014, Int. J. Syst. Syst. Eng..

[7]  Marcelo Arenas,et al.  A normal form for XML documents , 2004, TODS.