Abstract
Attribute grammars have been developed by Knuth [9] for the specification and implementation of static semantic aspects of programming languages. Since then, they have matured into a recognized field of study with many applications [17]. In this paper, we propose a system for transformation of information system models based on this formalism. First, the problem will be defined followed by the necessity for model transformation. Next, some model transformations approaches are presented, with special attention to XSLT. This brief survey gives the characteristics of the problem of model transformation and situates our approach. The semantics offered by attribute grammars brings the rigor of formal semantics while providing good performance at the implementation by a specific software called an evaluator. Thus, our system architecture consists essentially in defining a textual abstract syntax of the source meta-models and in building an attribute grammar to express the transformation. The input of the automatically generated evaluator is some text describing the source model, the syntax of which is defined by an abstract syntax. The output of the evaluator is another text corresponding to the target model in accordance with its grammar. In the last section, the characteristics and the benefits of our approach are discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aho, A., et al.: Compilateurs principes, techniques et outils. InterEditions (1989)
Akehust, D., Kent, S.: A Relational Approach to Defining Transformation in a Meta-Model. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, p. 243. Springer, Heidelberg (2002)
Blanc, X.: Échange de spécifications hétérogènes et reparties. PhD thesis (2001)
Cuny, J., et al.: Graph-grammars and their application in computer science. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G., et al. (eds.) Graph Grammars 1994. LNCS, vol. 1073. Springer, Heidelberg (1996)
Deransart, J., Jourdan, M.: Attribute Grammars and their Applications. In: Deransart, P., Jourdan, M. (eds.) Attribute Grammars and their Applications. LNCS, vol. 461. Springer, Heidelberg (1990)
Ho, W., et al.: UMLAUT an extensible UML transformation framework. In: ASE 1999, IEEE, Los Alamitos (1999)
Jazayeri, M., et al.: The intrinsically exponential complexity of the circularity problem for attribute grammars. ACM 18, 679–706 (1975)
Kastens, U.: Ordered Attributed Grammars. Acta Informatica 13(3), 229–256 (1980)
Knuth, D.: Semantics of context free languages. Mathematical Systems theory (1968)
Lemesle, R.: Technique de Modélisation et de Méta-modélisation. PhD thesis (2000)
LeGuennec, A.: Génie Logiciel et Méthodes Formelles avec UML Spécification, Validation et Génération de tests, PhD thesis (2001)
OMG, Meta Object Facility Specification v1.3, ad/99-09-05 (1999)
OMG, eXtensible Meta-data Interchange XMI specification version 1.1, ad/00-11-02 (2000)
OMG, eXtensible StyleSheet Language Transformation version 1.0 (1999)
Paakki, J.: Attribute Grammar paradigms – A high-level methodology. ACM Computer Surveys 27(2) (1995)
Parigot, D., et al.: L’apport des technologies XML et objets pour un générateur d’environnements: SmartTools, revue Objet (October 2002)
Parigot, D.: Transformations, Évaluation incrémentale et optimisations des grammaires attribuées: le système FNC-2, PhD thesis (1988)
Reps, W., Teitelbaum, T.: The Synthesizer Generator: A system for constructing languagebased editors. Springer, Heidelberg (1989)
Reps, T.T.: The Synthesizer Generator. In Proc. ACM SIGSOFT/SIGPLAN (Pittsburgh, PA, April 1984), ACM/SIGPLAN Notices 19 (May 1984)
Schmidth, D.A.: Denotational Semantics, A methodology for language Development Wm C.Brown Publishers Dubuque, Iowa (1988)
Slonneger, K., Kurts, B.: Formal Syntax and Semantics of Programming Languages. Addition Wesley, Reading (1995)
Watt, D.A.: Programming Language Syntax and Semantics. Prentice-Hall, Englewood Cliffs (1991)
Whittle, J.: Transformation and software modeling language: automatic transformation in UML. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, p. 227. Springer, Heidelberg (2002)
Yeh, D.: On incremental evaluation of ordered attributed grammars. BIT 23 (1983)
Zündorf, A.: Graph pattern matching with PROGRES. In: Cuny, J., Engels, G., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1994. LNCS, vol. 1073. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dehayni, M., Féraud, L. (2003). An Approach of Model Transformation Based on Attribute Grammars. In: Konstantas, D., Léonard, M., Pigneur, Y., Patel, S. (eds) Object-Oriented Information Systems. OOIS 2003. Lecture Notes in Computer Science, vol 2817. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45242-3_42
Download citation
DOI: https://doi.org/10.1007/978-3-540-45242-3_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40860-4
Online ISBN: 978-3-540-45242-3
eBook Packages: Springer Book Archive