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

fYear

2008

Firstpage

1

Lastpage

6

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICTTA.2008.4530342

Filename

4530342