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)
UniBE Contributor: Caracciolo, Andrea Enrico Francis
Subjects: 000 Computer science, knowledge & systems
500 Science > 510 Mathematics
Language: English
Submitter: Oscar Marius Nierstrasz
Date Deposited: 29 Jun 2016 16:11
Last Modified: 08 Feb 2017 11:50
Uncontrolled Keywords: scg-pub snf-asa1 scg15 dicto-dsl DSL skip-doi
BORIS DOI: 10.7892/boris.82271
URI: http://boris.unibe.ch/id/eprint/82271

Actions (login required)

Edit item Edit item
Provide Feedback