Software Architecture in Action
Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
Page
%P
-
Chapter and Conference Paper
A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog
By 2025, it is projected that cybercrimes will escalate to an alarming annual figure of 10.5 trillion USD. To counter this growing threat, cybersecurity repositories such as CVE, CWE, CAPEC, and Mitre Att &ck ...
-
Chapter and Conference Paper
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach
The critical nature of many complex software-intensive systems requires formal architecture descriptions for supporting automated architectural analysis regarding correctness properties. Due to the challenges ...
-
Article
Ark: a constraint-based method for architectural synthesis of smart systems
As smart systems leverage capabilities of heterogeneous systems for accomplishing complex combined behaviors, they pose new challenges to traditional software engineering practices that considered software arc...
-
Chapter and Conference Paper
Architecting Systems-of-Systems of Self-driving Cars for Platooning on the Internet-of-Vehicles with SosADL
A Software-intensive System-of-Systems (SoS) is architecturally designed to exhibit emergent behavior from the interactions among independent constituent systems. With the upcoming generation of self-driving v...
-
Chapter and Conference Paper
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP
Software architecture description languages (ADLs) currently adopted by industry for software-intensive systems are largely semi-formal and essentially based on SysML and specialized profiles. Despite these AD...
-
Article
Open AccessSoftware mediators as first-class entities of systems-of-systems software architectures
In contrast to traditional software systems that are mostly created from scratch, current software systems are engineered as a junction of systems already in operation. Examples can be found in domains, such a...
-
Chapter and Conference Paper
Dealing with Uncertainty in Software Architecture on the Internet-of-Things with Digital Twins
When architecting Software-intensive Systems-of-Systems (SoS) on the Internet-of-Things (IoT), architects face two sorts of uncertainties. First, they have only limited knowledge about the operational environm...
-
Chapter and Conference Paper
Formally Describing Self-organizing Architectures for Systems-of-Systems on the Internet-of-Things
Nowadays, the Internet-of-Things (IoT) enables the engineering of Software-intensive Systems-of-Systems (SoS), which are opportunistically created for achieving specified missions in specific operational envir...
-
Article
Open AccessStimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures
Systems-of-systems (SoS) are alliances of independent and interoperable software-intensive systems. SoS often support critical domains, being required to exhibit a reliable operation, specially because people’...
-
Article
Preserving architectural decisions through architectural patterns
Architectural decisions have emerged as a means to maintain the quality of the architecture during its evolution. One of the most important decisions made by architects are those about the design approach such...
-
Book
-
Chapter
Viewpoints for Describing Software Architectures
In this chapter we present the architectural framework provided by SysADL. We define software architecture and the fundamental notion of software architecture description according to the ISO/IEC Standard 4201...
-
Chapter
Textually Representing Software Architectures
In this chapter we present the textual notation of SysADL. We describe the SysADL constructs (structural, behavioral, and executable) in the textual notation. We describe, in details, the concepts underlying e...
-
Chapter
Specifying the Structure of Software Architectures
In this chapter, we present the structural viewpoint provided by SysADL. We explain the SysADL constructs that enable the description of structural views. We also present, in details, the concepts underlying e...
-
Chapter
Specifying Executable Software Architectures
In this chapter we present the executable viewpoint provided by SysADL. We explain the SysADL constructs that enable the description of the executable view. We describe, in details, the concepts underlying eac...
-
Chapter
Introduction to Quality-Based Architectures
Part I introduced the modelling of requirements and presented how to describe a software architecture to meet functional requirements. In Part II, we will present how to design a software architecture with Sys...
-
Chapter
Designing Scalability in Software Architectures
In this chapter we present scalability as an architectural quality and how to express scalability in software architecture. We explain how to analyze an architecture to evaluate its scalability and how to appl...
-
Chapter
Introduction to Style-Based Architectures
Part I presented how to describe a software architecture with SysADL to meet functional requirements. Part II presented how to design a software architecture with SysADL to satisfy nonfunctional requirements k...
-
Chapter
Client Server Architectural Style
In this chapter, we present and explain the client–server architectural style and how to specify it in SysADL. We specify the style using the structural and behavioral viewpoints. Finally, we illustrate the cl...
-
Chapter
Introduction to Software Architecture
In this chapter, we introduce the concept of software architecture and the SysADL architectural framework for describing, analyzing, and executing software architectures. We present the motivation for defining...
