Conceiving Software Architecture Description Languages (ADLs) has been the subject of
intensive research in the last two decades resulting in the definition of several ADLs for …

Abstract Context. Systems-of-Systems (SoS) constitute a new category of complex software
systems resulting from the integration of independent heterogeneous systems. Each …

Architecture description languages (ADLs) facilitate model-driven engineering by fostering
reuse of component models. Some of the over 120 ADLs contributed by academia and …

Software has been increasingly embedded into systems (eg, autonomous cars, traffic control
systems, power distribution systems) to increase the precision of their functionalities, deliver …

A critical issue for the design of a System-of-Systems (SoS) is the formal description of its
architecture. One of the complicating factors for formally describing SoS architectures is that …

Systems-of-Systems (SoSs) are evolutionary developed from independent systems to
achieve missions through emergent behavior. As concrete systems which will actually …

Contemporary complex systems often exhibit dynamic structures and behaviors, several
components/systems involved, and multiple interoperability links. Those systems have been …

Abstract Systems-of-Systems (SoS) are formed by independent systems termed as
constituents. SoS exhibit dynamic properties called emergent behaviors, which are a global …

In this paper, we present a multi-scale modeling methodology for software System of
Systems (SoS) using the formal technique of bigraphical reactive system. This methodology …

Context: A suitable representation of Safety-Critical Systems (SCS) requirements is crucial to
avoid misunderstandings in safety requirements and issues in safety specification. However …