On the Evaluation of a DSL for Architectural Consistency Checking

Caracciolo, Andrea Enrico Francis (July 2015). On the Evaluation of a DSL for Architectural Consistency Checking. In: Extended Abstracts of the Eighth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2015). Mons (Belgium). 06.-08.07.2015.

[img] Text
Cara15c.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (191kB) | Request a copy

Software architecture erodes over time and needs to be constantly monitored to be kept consistent with its original intended design. Consistency is rarely monitored using automated techniques. The cost associated to such an activity is typically not considered proportional to its benefits. To improve this situation, we propose Dicto, a uniform DSL for specifying architectural invariants. This language is designed to reduce the cost of consistency checking by offering a framework in which existing validation tools can be matched to newly-defined language constructs. In this paper we discuss how such a DSL can be qualitatively and qualitatively evaluated in practice.

Item Type:

Conference or Workshop Item (Paper)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued]

UniBE Contributor:

Caracciolo, Andrea Enrico Francis

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

Language:

English

Submitter:

Oscar Nierstrasz

Date Deposited:

29 Jun 2016 16:11

Last Modified:

05 Dec 2022 14:56

Uncontrolled Keywords:

scg-pub snf-asa1 scg15 dicto-dsl DSL skip-doi

BORIS DOI:

10.7892/boris.82271

URI:

https://boris.unibe.ch/id/eprint/82271

Actions (login required)

Edit item Edit item
Provide Feedback