Filters








2,496 Hits in 5.9 sec

A dependency constraint language to manage object-oriented software architectures

Ricardo Terra, Marco Tulio Valente
2009 Software, Practice & Experience  
Thus, the ultimate goal of our approach is to provide architecture conformance by construction, using a static and declarative constraint language.  ...  THE PROPOSED APPROACH The proposed approach to architecture conformance relies on static analysis techniques to detect structural dependencies that are indicators of architectural erosion.  ...  ACKNOWLEDGEMENTS This research has been supported by grants from FAPEMIG, CAPES, and CNPq.  ... 
doi:10.1002/spe.931 fatcat:2odxzufx6fbmpaz4pbcxc3ukzq

A recommendation system for repairing violations detected by static architecture conformance checking

Ricardo Terra, Marco Tulio Valente, Krzysztof Czarnecki, Roberto S. Bigonha
2013 Software, Practice & Experience  
The paper formalizes 32 refactoring recommendations to repair violations raised by static architecture conformance checking approaches; it describes a tool-called ArchFix-that triggers the proposed recommendations  ...  Architectural model Kruchten defines software architecture using five concurrent views, each one addressing a specific set of concerns of interest to different stakeholders [28] .  ...  ACKNOWLEDGEMENTS Our research has been supported by CAPES, FAPEMIG, and CNPq.  ... 
doi:10.1002/spe.2228 fatcat:ohycoiq5ond6jou6dob3vra6ri

DCL 2.0: modular and reusable specification of architectural constraints

Henrique Rocha, Rafael Serapilha Durelli, Ricardo Terra, Sândalo Bessa, Marco Túlio Valente
2017 Journal of the Brazilian Computer Society  
Architectural conformance checking techniques have been proposed to tackle the problem of divergences between the planned architecture and source code.  ...  Therefore, we argue that DCL 2.0 can have a positive impact on the architectural conformance of systems.  ...  Availability of data and materials The dataset supporting the conclusions of this article belong to a government branch with sensitive information, we cannot publicly share this data.  ... 
doi:10.1186/s13173-017-0061-z fatcat:wdiuo6itc5gu5h5txfywknaxpq

Heuristics for discovering architectural violations

Cristiano Maffort, Marco Tulio Valente, Mariza Bigonha, Nicolas Anquetil, Andre Hora
2013 2013 20th Working Conference on Reverse Engineering (WCRE)  
In this paper, we present ArchLint, a lightweight approach for architecture conformance based on a combination of static and historical source code analysis.  ...  We applied ArchLint in an industrial-strength system and as a result we detected 119 architectural violations, with an overall precision of 46.7% and a recall of 96.2%, for divergences.  ...  ACKNOWLEDGMENTS Our research is supported by CAPES, FAPEMIG, and CNPq. We thank the architect of the SGA system for validating the warnings raised by ArchLint.  ... 
doi:10.1109/wcre.2013.6671297 dblp:conf/wcre/MaffortVBAH13 fatcat:5fnlmpvh6vcc3g2cbuzm2w47ye

Towards a Dependency Constraint Language to Manage Software Architectures [chapter]

Ricardo Terra, Marco Tulio de Oliveira Valente
2008 Lecture Notes in Computer Science  
Once defined, such restrictions will be automatically enforced by a tool, thus avoiding silent erosions in the architecture.  ...  The ultimate goal is to provide designers with means to define acceptable and unacceptable dependencies according to the planned system architecture.  ...  Thus, our ultimate goal is to provide architectural conformance by construction, using a static, declarative dependency constraint language. The remainder of this paper is organized as follows.  ... 
doi:10.1007/978-3-540-88030-1_19 fatcat:zsry62bg7zh5lprb5iv56w36se

Software Architecture Reconstruction: A Process-Oriented Taxonomy

S. Ducasse, D. Pollet
2009 IEEE Transactions on Software Engineering  
Reconstructing the architecture and checking whether it is still valid is therefore an important aid.  ...  While there is a plethora of approaches and techniques supporting architecture reconstruction, there is no comprehensive software architecture reconstruction state of the art and it is often difficult  ...  We would like to thank Tudor Girba and Orla Greevy for the early feedback on the paper, and Loic Poyet for the early version of this work.  ... 
doi:10.1109/tse.2009.19 fatcat:f4dzkrmwafbehpobm3jgt3vqxy

On the Relevance of Code Anomalies for Identifying Architecture Degradation Symptoms

Isela Macia, Roberta Arcoverde, Alessandro Garcia, Christina Chavez, Arndt von Staa
2012 2012 16th European Conference on Software Maintenance and Reengineering  
A total of 40 versions and 2056 code anomalies were analyzed. Our study revealed that 78% of all architecture problems in the programs were related to code anomalies.  ...  To this end, we studied the relationship between code anomalies and architecture problems in 6 software systems, which were intended to adhere different architectural decompositions.  ...  Identifying Architecture Problems. In order to identify symptoms of architectural erosion we used Software Reflexion Model [27] .  ... 
doi:10.1109/csmr.2012.35 dblp:conf/csmr/BertranAGCS12 fatcat:axtugukfqvcv3gibgo5v47kjle

Formal Rules for Reliable Component-Based Architecture Evolution [chapter]

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi Zhang
2015 Lecture Notes in Computer Science  
Software architectures are the blueprint of software systems construction and evolution.  ...  To ensure a valid and reliable evolution, software architecture changes must be captured, verified and validated at an early stage of the software evolution process.  ...  While a lot of work was dedicated to architectural modeling and evolution, there is still a lack of means and techniques to tackle architectural inconsistencies, and erosion in particular.  ... 
doi:10.1007/978-3-319-15317-9_8 fatcat:2nvzla5rkbbjrjnixlxsefcvmu

Modular Specification and Checking of Structural Dependencies [chapter]

Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia
2014 Lecture Notes in Computer Science  
Checking a software's structural dependencies is a line of research on methods and tools for analyzing, modeling and checking the conformance of source code w.r.t. specifications of its intended static  ...  Existing approaches have focused on the correctness of the specification, the impact of the approaches on software quality and the expressiveness of the modeling languages.  ...  SUMMARY AND FUTURE WORK In this paper, we proposed and evaluated Vespucci, an approach to modular architectural modeling and conformance checking.  ... 
doi:10.1007/978-3-642-55099-7_6 fatcat:fxwieruvs5ar5chnxwu2poc464

Modular specification and checking of structural dependencies

Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia
2013 Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13  
Checking a software's structural dependencies is a line of research on methods and tools for analyzing, modeling and checking the conformance of source code w.r.t. specifications of its intended static  ...  Existing approaches have focused on the correctness of the specification, the impact of the approaches on software quality and the expressiveness of the modeling languages.  ...  SUMMARY AND FUTURE WORK In this paper, we proposed and evaluated Vespucci, an approach to modular architectural modeling and conformance checking.  ... 
doi:10.1145/2451436.2451448 dblp:conf/aosd/MitschkeEMGB13 fatcat:p7y3ub6bnzawnadkd5ywalttcy

Introduction of static quality analysis in small- and medium-sized software enterprises: experiences from technology transfer

Mario Gleirscher, Dmitriy Golubitskiy, Maximilian Irlbeck, Stefan Wagner
2013 Software quality journal  
We analysed five software projects from five collaborating SMEs using three different ASA techniques: code clone detection, bug pattern detection and architecture conformance analysis.  ...  With the help of the Quamoco quality model, we could efficiently aggregate and rate static analysis results. However, we also encountered a partial mismatch with the opinions of the SMEs.  ...  The authors owe sincere gratitude to Klaus Lochmann for his advice and support in issues related to quality models.  ... 
doi:10.1007/s11219-013-9217-z fatcat:lt5ztaxhyjb4hnpnofqdi7s5z4

Software Architecture Degradation in Open Source Software: A Systematic Literature Review

Ahmed Baabad, Hazura Binti Zulzalil, Sa'adah Hassan, Salmi Binti Baharom
2020 IEEE Access  
[S33] used software architecture conformance checking (SACC) to find out the architectural violations in specific files compared to normal files.  ...  Proposing ArCatch: architectural conformance checking solution to deal with the exception handling design erosion. Reference / study Details solutions of the architectural recovery strategy [S73] .  ... 
doi:10.1109/access.2020.3024671 fatcat:lryb6yphs5fqzgccqx5gs7xh7y

Mining architectural violations from version history

Cristiano Maffort, Marco Tulio Valente, Ricardo Terra, Mariza Bigonha, Nicolas Anquetil, André Hora
2015 Empirical Software Engineering  
In this paper, we present a lightweighted approach for architecture conformance based on a combination of static and historical source code analysis.  ...  We envision that an heuristic-based approach for architecture conformance can be used to rapidly raise architectural warnings, without deeply involving experts in the process.  ...  Acknowledgments Our research is supported by CAPES, FAPEMIG, and CNPq. We thank the architects of the SGA and M2M systems for validating the warnings raised by the proposed approach.  ... 
doi:10.1007/s10664-014-9348-2 fatcat:i7hd3xeyszakjaxbh3t6g6mdmy

A Unified Approach to Architecture Conformance Checking

Andrea Caracciolo, Mircea Filip Lungu, Oscar Nierstrasz
2015 2015 12th Working IEEE/IFIP Conference on Software Architecture  
If carefully implemented and correctly maintained, these techniques can largely contribute to minimizing the impact of architecture erosion.  ...  Architecture Conformance Checking Architecture conformance can be ensured using tools available on the market.  ... 
doi:10.1109/wicsa.2015.11 dblp:conf/wicsa/CaraccioloLN15 fatcat:p7645eykmfgc3aopopwwmwplu4

Towards Software Sustainability Guidelines for Long-living Industrial Systems

Heiko Koziolek, Roland Weiss, Zoya Durdik, Johannes Stammel, Klaus Krogmann
2011 Software Engineering  
Because of their long life-cycles and complicated replacement procedures, industrial software systems are continuously maintained and evolved resulting in high costs, which amount for al arge portion of  ...  Such systems are usually implemented with avariety of technologies and have very high requirements for safety,performance, and availability.  ...  Architecture erosion might lead to aviolation of asystem'sinitial requirements and design principles and is thus undesirable.  ... 
dblp:conf/se/KoziolekWDSK11 fatcat:mwzicu2rurapxgtsded45zqz4u
« Previous Showing results 1 — 15 out of 2,496 results