>> Visit the Dictō website

Software architecture consists of a set of design choices that can be partially expressed in form of rules that the implementation must conform to. Architectural rules are intended to ensure properties that fulfill fundamental non-functional requirements. Verifying architectural rules is often a non-trivial activity: available tools are often not very usable and support only a narrow subset of the rules that are commonly specified by practitioners. In this paper we present a new highly-readable declarative language for specifying architectural rules. With our approach, users can specify a wide variety of rules using a single uniform notation. Rules can get tested by third-party tools by conforming to pre-defined specification templates. Practitioners can take advantage of the capabilities of a growing number of testing tools without dealing with them directly.


  1. Andrea Caracciolo, Mircea Lungu, and Oscar Nierstrasz. Dicto: A Unified DSL for Testing Architectural Rules. In Proceedings of the 2014 European Conference on Software Architecture Workshops, ECSAW '14 p. 21:1—21:4, ACM, New York, NY, USA, 2014. DOI PDF 
  2. Andrea Caracciolo, Mircea Lungu, and Oscar Nierstrasz. Dicto: Keeping Software Architecture Under Control. In ERCIM News 99, October 2014. URL 
  3. Andrea Caracciolo. A Unified Approach to Automatic Testing of Architectural Constraints. In Proceedings of ICSE 2015 (37st International Conference on Software Engineering), Doctoral Symposium, 2 p. 871-874, ACM Press, 2015. DOI PDF 
  4. Andrea Caracciolo, Mircea Lungu, and Oscar Nierstrasz. A Unified Approach to Architecture Conformance Checking. In Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA), p. 41-50, ACM Press, May 2015. DOI PDF 
  5. Andrea Caracciolo. 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), p. 55—57, July 2015. PDF 
  6. Andrea Caracciolo, Bledar Aga, Mircea Lungu, and Oscar Nierstrasz. Marea: a Semi-automatic Decision Support System for Breaking Dependency Cycles. In Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), March 2016. to appear. DOI PDF 
  7. Andrea Caracciolo, Mircea Lungu, Oskar Truffer, Kirill Levitin, and Oscar Nierstrasz. Evaluating an Architecture Conformance Monitoring Solution. In Proceedings of the 7th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP), March 2016. DOI PDF 
  8. Andrea Caracciolo. A Unified Approach to Architecture Conformance Checking. PhD thesis, University of Bern, March 2016. PDF 

For further information, please contact Andrea Caracciolo

Last changed by admin on 21 April 2009