A component framework based on high-level replacement systems

Electronic Notes in Theoretical Computer Science

Volumn 72, Issue 3, 2003, Pages 118-132

  Ehrig, Hartmut ^a   Orejas, Fernando ^b   Braatz, Benjamin ^a   Klein, Markus ^a   Piirainen, Martti ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; GRAPH THEORY; INTERFACES (COMPUTER); MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

GRAPH TRANSFORMATION SYSTEMS; HIGH-LEVEL REPLACEMENT SYSTEMS; OPERATIONAL SEMANTICS; SYSTEM MODELING;

HIGH LEVEL LANGUAGES;

EID: 18944373443     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80616-9     Document Type: Conference Paper

References (7)

1. Ehrig H., Habel A., Kreowski H.-J., Parisi-Presicce F. Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. in Comp. Science. 1:1991;361-404 Cambridge Univ. Press
2. Ehrig H., Mahr B. "Fundamentals of Algebraic Specification 2: Module Specifications and Constraints" vol. 21 of EATCS Monographs on Theor. Comp. Science. 1990;Springer Verlag, Berlin
3. Ehrig H., Orejas F., Braatz B., Klein M., Piirainen M. A Generic Component Framework for System Modeling. Proc. FASE 2002, Springer LNCS. 2306:2002;33-48
4. Große-Rhode M. Integrating Semantics for Object-Oriented System Models. Proc. ICALP 2001, Springer LNCS. 2076:2001;238-255
5. Orejas F., Ehrig H., Pino E. Tight and Loose Semantics for Transformation Systems. Recent Trends in Algebraic Development Techniques, Springer LNCS. 2267:2001;238-255
6. Padberg J., Ehrig H., Ribeiro L. Algebric High-Level Net Transformation Systems. Math. Struct. in Comp. Science. 5:1995;217-256 Cambridge Univ. Press
7. Padberg J., and G. Taentzer, Embedding of Derivations in High-Level Replacement Systems, Technical Report, TU Berlin, 1993