Proceedings of the 8th International Conference on Formal Methods in Software Engineering 2020
DOI: 10.1145/3372020.3391564
|View full text |Cite
|
Sign up to set email alerts
|

Semantic-based Architecture Smell Analysis

Abstract: Software smells have negative impacts on the reliability and modifiability of software systems. The smells in architecture design can be cascaded down to the implementation level and cause issues that require much effort to fix. Therefore, early detection of the architecture smells can benefit the overall quality of the software system. This paper presents an integration of methods that formally define the software architecture design towards architecture smell detection. Our approach serves as a framework tha… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 22 publications
0
1
0
Order By: Relevance
“…An extension called Archery-Constraints allows formally specifying the nonexistence of architectural smells as constraints to be formally verified. [Chondamrongkul et al 2020] proposed and implemented an approach to detect architectural smells at design time from formalized software architecture descriptions. The structural viewpoint is represented through ontologies in the OWL language, and the behavioral viewpoint is represented through specifications in Wright#, a formal ADL.…”
Section: Related Workmentioning
confidence: 99%
“…An extension called Archery-Constraints allows formally specifying the nonexistence of architectural smells as constraints to be formally verified. [Chondamrongkul et al 2020] proposed and implemented an approach to detect architectural smells at design time from formalized software architecture descriptions. The structural viewpoint is represented through ontologies in the OWL language, and the behavioral viewpoint is represented through specifications in Wright#, a formal ADL.…”
Section: Related Workmentioning
confidence: 99%