Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
Using Domain-Specific Languages for the Realization of Component Composition
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Algebraic Specification Languages: An Overview
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
JTS: Tools for Implementing Domain-Specific Languages
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Categories for Software Engineering
Categories for Software Engineering
Model-Driven Reverse Engineering
IEEE Software
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A generative programming approach to developing DSL compilers
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Trust in MDE components: the DOMINO experiment
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Hi-index | 0.00 |
In this paper we address interoperability between components specified using various languages within a same family of DSLs. Our approach consists in applying results of the category theory in order to merge the languages into a unification one, automatically obtained. For this, we use the category of formal specifications of each DSL in the family. Using colimits on the category of algebraic specifications that implements the semantics of the DSLs in the family, we construct a language that unifies the family. Additionally we obtain translation morphisms from individual DSLs to the resulting unified one. By application of the translation morphisms, one can translate each component specifications into a specification written in the unification language. Moreover, properties established in the context of a DSL are transferred to the unifying language. In this paper, we illustrate the unification and the preservation of a property on an example.