• shareshare
  • link
  • cite
  • add
Other research product . 2015

Verification and validation of domain specific languages using Alloy

Garis, Ana Gabriela; Sanchez, Alejandro;
Open Access
Published: 01 Jan 2015
Country: Argentina
A domain specific language (DSL) focuses on a particular problem domain, facilitating the specification of its instances. Since they are frequently defined using imprecise languages, such as UML, they present ambiguities and their verification and validation (V&V) becomes complex. This paper proposes an approach to the precise definition of DSLs using Alloy - a formal language with tool-support that enables its V&V. The approach is illustrated with a DSL for Software Architecture.
Red de Universidades con Carreras en Informática (RedUNCI)
XII Workshop Ingeniería de Software (WIS)
Subjects by Vocabulary

ACM Computing Classification System: Software_SOFTWAREENGINEERING


Ciencias Informáticas, Verification, Validation, domain specific language (DSL)