Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach

Araújo, Camila Pacelly Brandão de; Batista, Thaı́s; Cavalcante, Everton; Oquendo, Flávio

doi:10.1007/978-3-030-86970-0_28

Cited by 3 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Once an architectural smell is detected in the architecture description, software architects can be assisted on how to mitigate the smell. This section describes how architectural smells can show up in software architecture descriptions in SysADL by using an adapted version of the Automated Guided Vehicle (AGV) system [Araújo et al 2021, Gomaa 2011 as an illustrative example. In the AGV system, a real-time system controls a vehicle to start/stop moving along a track and relies on an arrival sensor to detect when it has arrived at a station.…”

Section: Identifying Architectural Smells In Sysadl Architecture Desc...mentioning

confidence: 99%

Using Software Architecture Descriptions to Detect Architectural Smells at Design Time

Cavalcante

Batista

2023

Anais Do XXVI Congresso Ibero-Americano Em Engenharia De Software (CIbSE 2023)

View full text Add to dashboard Cite

Architectural smells are decisions made at the software architecture level, whether intentional or not, that may negatively impact the quality of a software system. In the literature, architectural smells are identified mainly by relying on the source code or other implementation artifacts. However, architectural smells could be detected at design time, even before employing implementation efforts and preventing them from being reflected at the system implementation. This research investigates how software architecture descriptions realized through architecture description languages (ADLs) can be used to identify architectural smells at design time. This work focuses on how architectural smells manifest and can be detected in SysADL, an ADL that allows describing both structure and behavior of software architectures using standardized diagrams from the OMG’s SysML language.

show abstract

Section: Identifying Architectural Smells In Sysadl Architecture Desc...mentioning

confidence: 99%

Using Software Architecture Descriptions to Detect Architectural Smells at Design Time

Cavalcante

Batista

2023

Anais Do XXVI Congresso Ibero-Americano Em Engenharia De Software (CIbSE 2023)

View full text Add to dashboard Cite

show abstract

MoDLF

Safdar

Azam

Anwar

et al. 2022

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Enhancing UML Connectors with Behavioral ALF Specifications for Exogenous Coordination of Software Components

Kocatas

Doğru

2023

Applied Sciences

View full text Add to dashboard Cite

Connectors are powerful architectural elements that allow the specification of interactions between software components. Since the connectors do not include behavior in UML, the components include the behavior for coordinating the components, complicating the designs of components and decreasing their reusability. In this study, we propose the enrichment of UML connectors with behavioral specifications. The goal is to provide separation of concerns for the components so that they are freed from coordination duties. The reusability of the components will increase as a result of such exogenous coordination. Additionally, using the associated behaviors, we aim to resolve the ambiguities that arise when n-ary connectors are used. We use a series of QVTo transformations to transform UML models that include connector behaviors in ALF specifications into UML models which include fUML activities as connector behavior specifications. We present a set of example connectors specified using the proposed method. We execute the QVTo transformations on the example connectors to produce models that represent platform-independent definitions of the coordination behaviors. We also present and discuss cases from real-life large-scale avionics software projects in which using the proposed approach results in simpler and more flexible designs and increases component reusability.

show abstract

Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach

Cited by 3 publications

References 15 publications

Using Software Architecture Descriptions to Detect Architectural Smells at Design Time

Using Software Architecture Descriptions to Detect Architectural Smells at Design Time

MoDLF

Enhancing UML Connectors with Behavioral ALF Specifications for Exogenous Coordination of Software Components

Contact Info

Product

Resources

About