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.
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
|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|