An approach of model transformation based on attribute grammars

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2817, Issue , 2003, Pages 412-423

  Dehayni, May ^a   Féraud, Louis ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; FORMAL METHODS; INFORMATION SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROBLEM ORIENTED LANGUAGES; SEMANTICS; SYNTACTICS;

ATTRIBUTE GRAMMARS; AUTOMATICALLY GENERATED; FORMAL SEMANTICS; INFORMATION SYSTEM MODEL; MODEL TRANSFORMATION; SOURCE MODELING; STATIC SEMANTICS; SYSTEM ARCHITECTURES;

CONTEXT SENSITIVE GRAMMARS;

EID: 35248894764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45242-3_42     Document Type: Article

References (27)

1. A. Aho et al. : Compilateurs principes, techniques et outils. InterEditions (1989)
2. D. Akehust, S. Kent: A Relational Approach to Defining Transformation in a Meta-Model. In Proc. UML 2002, Dresden, LNCS 2460. Springer-Verlag (2002)
3. X. Blanc : Échange de spécifications hétérogènes et reparties. PhD thesis (2001)
4. th international Workshop Williamsburg VA USA, LNCS 1073 (1994)
5. J. Deransart, M. Jourdan: Attribute Grammars and their Applications. In Proc. WAGA 90, LNCS 461. Springer-Verlag (1990)
6. W. Ho et al. : UMLAUT an extensible UML transformation framework. ASE'99. IEEE (1999)
7. M. Jazayeri et al.: The intrinsically exponential complexity of the circularity problem for attribute grammars. ACM 18 (1975): 679-706
8. U. Kastens: Ordered Attributed Grammars. Acta Informatica (1980), 13(3): 229-256
9. D. Knuth: Semantics of context free languages. Mathematical Systems theory (1968)
10. R. Lemesle : Technique de Modélisation et de Méta-modélisation. PhD thesis (2000)
11. A. LeGuennec: Génie Logiciel et Méthodes Formelles avec UML Spécification, Validation et Génération de tests, PhD thesis (2001)
12. OMG, Meta Object Facility Specification v1.3, ad/99-09-05 (1999)
13. OMG, eXtensible Meta-data Interchange XMI specification version 1.1, ad/00-11-02, (2000)
14. OMG, eXtensible StyleSheet Language Transformation version 1.0 (1999)
15. J. Paakki: Attribute Grammar paradigms - A high-level methodology. ACM Computer surveys, 27(2), (1995)
16. D. Parigot et al. : L'apport des technologies XML et objets pour un générateur d'environnements : SmartTools, revue Objet (October 2002)
17. D. Parigot : Transformations, Évaluation incrémentale et optimisations des grammaires attribuées : le système FNC-2", PhD thesis (1988)
18. W. Reps, T. Teitelbaum: The Synthesizer Generator: A system for constructing language-based editors, Spinger-Verlag (1989)
19. Reps, T. Teitelbaum: The Synthesizer Generator. In Proc. ACM SIGSOFT/SIGPLAN, (Pittsburgh, PA, April 1984), ACM/SIGPLAN Notices 19 (May 1984)
20. D. A. Schmidth: Denotational Semantics, A methodology for language Development Wm C. Brown Publishers Dubuque, Iowa (1988)
21. Slonneger & Kurts: Formal Syntax and Semantics of Programming Languages. Addition Wesley (1995)
22. D.A. Watt: Programming Language Syntax and Semantics. Prentice-Hall (1991)
23. J. Whittle: Transformation and software modeling language: automatic transformation in UML. In Proc. UML 2002, Dresden, LNCS 2460. Springer-Verlag (2002)
24. D. Yeh: On incremental evaluation of ordered attributed grammars. BIT 23 (1983)
25. th international Workshop Williamsburg VA USA, LNCS 1073 (1994)
26. www.dstc.com/Products/CORBA/MOF
27. http://universalis.elibel.tm.fr/site/