Reverse engineering with the reclipse tool suite

Detten, Markus von; Meyer, Matthias; Travkin, Dietrich

doi:10.1145/1810295.1810360

Cited by 25 publications

(32 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Archimetrix, they are specified as structural object graph patterns in terms of the GAST in a domain-specific, graphical pattern language used by the Reclipse Tool Suite [61][62][63]. The formalizations represent exemplary situations in which the collected guidelines are not adhered to because those are exactly the deficiencies that we want to detect in the system.…”

Section: Documentation and Formalization Of Design Deficienciesmentioning

confidence: 99%

“…A more detailed explanation of the pattern formalization language and more example patterns can be found in [41,54,[61][62][63].…”

Section: Documentation and Formalization Of Design Deficienciesmentioning

confidence: 99%

“…4.2. The deficiency detection is accomplished by using the Reclipse Tool Suite that was developed by our group in earlier work [61][62][63].…”

Section: Design Deficiency Detectionmentioning

confidence: 99%

“…Archimetrix is a tool-supported architecture reconstruction process. It enhances a clustering-based architecture reconstruction approach called SoMoX [16,33] with extensible design deficiency detection steps relying on (source code) pattern matching implemented in the Reclipse tool [61][62][63]. In this paper, we present a detailed explanation of both, the process to execute Archimetrix, as well as the process to extend Archimetrix with new design deficiency formalizations.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Reengineering component-based software systems with Archimetrix

2013

Self Cite

View full text Add to dashboard Cite

Many software development, planning, or analysis tasks require an up-to-date software architecture documentation. However, this documentation is often outdated, unavailable, or at least not available as a formal model which analysis tools could use. Reverse engineering methods try to fill this gap. However, as they process the system's source code, they are easily misled by design deficiencies (e.g., violations of component encapsulation) which leaked into the code during the system's evolution. Despite the high impact of design deficiencies on the quality of the resulting software architecture models, none of the surveyed related works is able to cope with them during the reverse engineering process. Therefore, we have developed the Archimetrix approach which semiautomatically recovers the system's concrete architecture in a formal model while simultaneously detecting and removing design deficiencies. We have validated Archimetrix on a case study system and two implementation variants of the CoCoME benchmark system. Results show that the removal of relevant design deficiencies leads to an architecture model which more closely matches the system's conceptual architecture.

show abstract

Section: Documentation and Formalization Of Design Deficienciesmentioning

confidence: 99%

“…A more detailed explanation of the pattern formalization language and more example patterns can be found in [41,54,[61][62][63].…”

Section: Documentation and Formalization Of Design Deficienciesmentioning

confidence: 99%

“…4.2. The deficiency detection is accomplished by using the Reclipse Tool Suite that was developed by our group in earlier work [61][62][63].…”

Section: Design Deficiency Detectionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Reengineering component-based software systems with Archimetrix

2013

Self Cite

View full text Add to dashboard Cite

show abstract

“…The deficiency detection is accomplished by Reclipse which was also developed by our group [6]. Deficiency patterns are defined as object graphs which represent sub graphs of the ASG.…”

Section: Reengineering Processmentioning

confidence: 99%

Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies – An Overview

Detten¹,

Lehrig²

2013

Softwaretechnik-Trends

Self Cite

View full text Add to dashboard Cite

In reengineering, up-to-date architecture models are important artifacts to get an overview of a system and to plan and execute the necessary reengineering activities. If such models do not exist, software architecture reconstruction (SAR) techniques can be used to recover them from the system's source code. However, design deficiencies like Interface Violations can influence the architecture reconstruction and thereby adulterate the recovered architecture. This is currently not addressed by SAR approaches. Archimetrix is an iterative reengineering process that was developed in a PhD thesis at the University of Paderborn [5]. It aims at detecting and removing design deficiencies which influence the architecture reconstruction and thereby enable the recovery of more accurate architecture models.

show abstract

A model‐based framework for automatic generation of a pattern language verifier

Rouhi

Zamani

2017

Softw Pract Exp

View full text Add to dashboard Cite

Summary Design patterns solve recurring design problems. One of the best practices, to solve a whole problem in a specific context, is to apply patterns in the form of a collection of related patterns, ie, a pattern language (PL). However, with the rapid growth of the number of patterns and their interrelationships in PLs and because manual verification of the applied PLs is a tedious and error‐prone task, when designing in PL‐based fashion, there is a need for tool support to verify the applied PLs. In our previous work, aimed at automating the development process of PL verification tools, a PL formalism was presented. This paper, based on the presented formalism, describes a framework called Pattern Language Verifier Generator (PLVGen) that automatically generates a pattern language verifier (PLV) for any given PL assuming its constituent patterns are represented in the Unified Modeling Language (UML). Using a modelware approach, two metamodels named pattern language specification language (PLSL) and pattern specification language (PSL) are developed to model the given PL and its patterns, respectively. By getting the models of a PL and its patterns, PLVGen automatically generates an epsilon validation language (EVL) module representing the expected PLV. By launching PLV, the applied PL on a UML model will be verified. To evaluate the applicability of PLVGen in practice, we automatically generated three PLVs. The statistics regarding the generated PLVs, as case studies, illustrate the scalability of PLVGen. Compared with similar tools, the generated PLVs are more portable, transparent, and free of ambiguities.

show abstract

Reverse engineering with the reclipse tool suite

Cited by 25 publications

References 3 publications

Reengineering component-based software systems with Archimetrix

Reengineering component-based software systems with Archimetrix

Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies – An Overview

A model‐based framework for automatic generation of a pattern language verifier

Contact Info

Product

Resources

About