Title :
Towards a rigorous framework for dealing with domain specific language families
Author :
Dib, Ali Abou ; Féraud, Louis ; Ober, Ileana ; Percebois, Christian
Author_Institution :
IRIT, Univ. de Toulouse, Toulouse
Abstract :
In this paper we present our approach to rigorously handle variation within a family of languages. Our starting point is a case study that we developed with industrial partners, where a major difficulty arised from the need to work with a set of domain specific languages (DSLs). Our solution is based on using the category theory. We consider the category of algebraic specifications implementing the semantics of the DSLs and we calculate the unifying language of the family.
Keywords :
set theory; software engineering; specification languages; algebraic specifications; category theory; domain specific language families; formal semantics; incremental verification; Concrete; Context modeling; Cultural differences; DSL; Domain specific languages; Formal specifications; Hardware; Natural languages; Programming; Software systems; Domain specific language (DSL); category theory; domain specific modeling (DSM); domain specific modeling language (DSML); formal semantics; incremental verification;
Conference_Titel :
Information and Communication Technologies: From Theory to Applications, 2008. ICTTA 2008. 3rd International Conference on
Conference_Location :
Damascus
Print_ISBN :
978-1-4244-1751-3
Electronic_ISBN :
978-1-4244-1752-0
DOI :
10.1109/ICTTA.2008.4530342
