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]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
Cara15c.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (191kB) |
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 |