Towards a rigorous framework for dealing with domain specific language families

2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications, ICTTA

Volumn , Issue , 2008, Pages

  Dib, Ali Abou ^a   Féraud, Louis ^a   Ober, Ileana ^a   Percebois, Christian ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

Category theory; Domain specific language (DSL); Domain specific modeling (DSM); Domain specific modeling language (DSML); Formal semantics; Incremental verification

Indexed keywords

COMMUNICATION; INFORMATION THEORY; LINGUISTICS; SPECIFICATIONS; TECHNOLOGY;

ALGEBRAIC SPECIFICATIONS; CASE STUDIES; CATEGORY THEORY; DOMAIN SPECIFIC LANGUAGE (DSL); DOMAIN SPECIFIC MODELING (DSM); DOMAIN SPECIFIC MODELING LANGUAGE (DSML); DOMAIN-SPECIFIC LANGUAGE; DOMAIN-SPECIFIC LANGUAGES; FORMAL SEMANTICS; INCREMENTAL VERIFICATION; INDUSTRIAL PARTNERS; INFORMATION AND COMMUNICATION TECHNOLOGIES; INTERNATIONAL CONFERENCES;

QUERY LANGUAGES;

EID: 49149094274     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTTA.2008.4530342     Document Type: Conference Paper

References (17)

1. E. Balland, C. Kirchner, P.E. Moreau, and A. S. de Oliveira. Modular formal islands: Embed theory in your practice. In Proceedings of the Third Taiwanese-French Conference on Information Technology. LORIA, INRIA, march 2006.
2. D. Batory , B. Lofaso, Y. Smaragdakis, JTS: Tools for Implementing Domain-Specific Languages, Proceedings of the 5th International Conference on Software Reuse, June 02-05, (1998), pp 143
3. M.G.J. van den Brand, A. van Deursen, J. Heering, H.A. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P.A. Olivier, J. Scheerder, J.J. Vinj, E. Visser, J. Visser The ASF+SDF Meta-Environment: a Component-Based Language Development Environment Compiler Construction 2001, pp. 365-370, Springer Verlag, (2001).
4. D. Ordonez Camacho, K. Mens, Mark van den Brand, Jurgen J. Vinju: Automated Derivation of Translators From Annotated Grammars. Electr. Notes Theor. Comput. Sci. 164(2): 121-137 (2006)
5. th Int. Conf. GPCE'05 Tallinn Estonia. Springer LNCS 3676 pp 2946.
6. J.L. Fiadero. Categories for Software Engineering, Springer, (2005).
7. J. A. Goguen and R. M. Burstall. Introducing Institutions: Abstract model theory for specification and programming. Research Report ECS-LFCS-90-106, University of Edinburgh (1990)
8. G. Hongge, J. Weyman: An Approach to Automation of Fusion Using Specware Proceedings of the Second International Conference on Information Fusion, (1999), pp. 109-116
9. Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design, IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, (2006), pp. 50-55
10. Kestrel. Specware documentation. http://www.specware.org/doc.html
11. Ivan Kurtev, Jean Bézivin, Frédéric Jouault, Patrick Valduriez: Model-based DSL frameworks. OOPSLA Companion (2006), pp. 602-616
12. T. Nipkow, L. Paulson, M. Wenzel. Isabelle/HOL. A proof assistant for Higher Order Logic.Springer LNCS 2283, (2002)
13. C. Oriat. Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. PhD thesis (in French), INPG, Grenoble, (1996)
14. D. Smith Composition by Colimit and Formal Software Development In Algebra, Meaning, and Computation: A Festschrift in Honor of Prof. Joseph Goguen, Eds. K. Futatsugi, J.P. Jouannaud, and J. Meseguer, LNCS 4060, pp. 317-332, (2006)
15. J Sprinkle, G Karsai A domain-specific visual language for domain model evolution Journal of Visual Languages Sc, Computing Volume 15, Issues 3-4, June-August 2004, Pages 291-307
16. Y.V. Srinivas, R. Jüllig: Specware: Formal Support for Composing Software Source Mathematics of Program Construction, LNCS Vol. 947, Springer Verlag pp 399-422, 1995
17. th Workshop on Specification of Abstract Data Types LNCS 904, (1994)