Towards a formal foundation for domain specific modeling languages

IEEE International Conference on Embedded Software, EMSOFT 2006

Volumn , Issue , 2006, Pages 53-62

  Jackson, Ethan K ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Embedded systems; Formal logic; Horn logic; Metamodeling; Semantics

Indexed keywords

DOMAIN SPECIFIC MODELING LANGUAGE(DSML); HORN LOGIC; METAMODELING; MODEL DRIVEN ARCHITECTURE (MDA);

COMPUTER ARCHITECTURE; DOMAIN DECOMPOSITION METHODS; FORMAL LOGIC; MATHEMATICAL MODELS; METADATA; SEMANTICS;

EMBEDDED SYSTEMS;

EID: 34547463624     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176887.1176896     Document Type: Conference Paper

References (21)

1. http://www.isis.vanderbilt.edu/projects/4ml.
2. A. LEDECZI, M. MAROTI, A. B. G. K. J. G. C. T. L-G. N. J. S. P. V. The generic modeling environment. Workshop on Intelligent Signal Processing (May 2001).
3. AÏT-KACI, H. Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, 1991.
4. CHAN, D. An extension of constructive negation and its application in coroutining. In Proceedings of NACLP, The MIT Press (1989), 447-493.
5. E. LEE, A. S.-V. A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems 17, 12 (December 1998), 1217-1229.
6. F. BALARIN, Y. WATANABE, H. H. L. L. C. P. A. L. S.-V. Metropolis: an integrated electronic system design environment. IEEE Computer 36, 4 (April 2003).
7. G. KARSAI, J. SZTIPANOVITS, A. L. T. B. Model-integrated development of embedded software. Proceedings of the IEEE 91, 1 (January 2003), 145-164.
8. G. KARSAI, A. AGRAWAL, F. S. On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science 9, 11 (November 2003), 1296-1321.
9. GUPTA, G. Horn logic denotations and their applications. The Logic Programming Paradigm: A 25 year perspective, 127-160.
10. GUREVICH, Y. Evolving algebra: An attempt to discover semantics. EATCS 43 (1991), 264-284.
11. HERBRAND, J. Logical Writings. Harvard University Press, Cambridge, MA, 1971. Edited by Warren D. Goldfarb.
12. HORN, A. On sentences which are true on direct unions of algebras. Journal of Symbolic Logic 16 (1951), 14-21.
13. INSTITUTE FOR SOFTWARE INTEGRATED SYSTEMS. Gme 5 user's guide. Tech. rep., Vanderbilt University, 2005.
14. JACKSON, E. K., AND SZTIPANOVITS, J. Using separation of concerns for embedded systems design. Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT'05) (September 2005), 25-34.
15. K. CHEN, J. SZTIPANOVITS, S. N. M. E., AND ABDELWAHED, S. Toward a semantic anchoring infrastructure for domain-specific modeling languages. In Proceedings of the Fifth ACM International Conference on Embedded Software. (EMSOFT'05) (September 2005).
16. LEE, E. A., AND NEUENDORFFER, S. Actor-oriented models for codesign: Balancing re-use and performance. Formal Methods and Models for Systems, Kluwer (2004).
17. M. EMERSON, J. SZTIPANOVITS, T. B. A mof-based metamodeling environment. Journal of Universal Computer Science 10, 10 (October 2004), 1357-1382.
18. MAL'CEV, A. I. The metamathematics of algebraic systems. Studies in Logic and The Foundations of Mathematics 66 (1971).
19. OBJECT MANAGEMENT GROUP. Meta object facility specification vl.4. Tech. rep., 2002.
20. OBJECT MANAGEMENT GROUP. Unified modeling language: Superstructure version 2.0, 3rd revised submission to omg rfp. Tech. rep., 2003.
21. T. A. HENZINGER, C. M. KIRSCH, M. A. S., AND PREE, W. From control models to real-time code using giotto. Control Systems Magazine 2, 1 (2003), 50-64.