![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Executing Software Architecture Descriptions with SysADL
Most Software Architecture Description Languages (ADLs) lack explicit support for executing an architecture description. In the execution view, the runtime behavior of an architecture is simulated to validate ...
-
Chapter and Conference Paper
Statistical Model Checking of Dynamic Software Architectures
The critical nature of many complex software-intensive systems calls for formal, rigorous architecture descriptions as means of supporting automated verification and enforcement of architectural properties and...
-
Chapter and Conference Paper
Formal Verification of Software-Intensive Systems Architectures Described with Pi** and Instrumentation Diagrams
Socio-technical systems are increasingly becoming software-intensive. The challenge now is to design the architecture of such software-intensive systems for guaranteeing not only its correctness, but also the ...
-
Chapter and Conference Paper
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems
Software-intensive systems are often independently developed, operated, managed, and evolved. Progressively, communication networks enabled these independent systems to interact, yielding a new kind of complex...
-
Chapter and Conference Paper
Towards a Process to Design Architectures of Service-Oriented Robotic Systems
Robots have supported several areas of society, making daily tasks easier and executing dangerous, complex activities. The increasing demand and complexity of these robots have challenged the design of robotic...
-
Chapter and Conference Paper
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language
Architecture description languages (ADLs) should consider both structural and runtime perspectives of software architectures, an important requirement for current software systems. However, most existing ADLs ...
-
Chapter and Conference Paper
SysADL: A SysML Profile for Software Architecture Description
In this paper we propose SysADL, a SysML profile for expressing architecture descriptions using the well-known and consolidated abstractions from the ADL community. We present the SysADL constructs for describ...
-
Chapter and Conference Paper
Composition-Centered Architectural Pattern Description Language
Architectural patterns are important artefacts containing specialized design knowledge to build good-quality systems. Complex systems often exhibit several architectural patterns in their design which leads to...