Tight and loose semantics for transformation systems

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

Volumn 2267 LNCS, Issue , 2002, Pages 238-255

  Orejas, Fernando ^b   Ehrig, Hartmut ^a   Pino, Elvira ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; PETRI NETS; SPECIFICATIONS;

COMPOSITIONAL PROPERTIES; COMPOSITIONAL SEMANTICS; GRAPH TRANSFORMATION; INTEGRATION OPERATIONS; PARTIAL VIEWS; PULLBACK APPROACH; SYSTEM COMPONENTS; TRANSFORMATION SYSTEMS;

SEMANTICS;

EID: 84893079213     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45645-7_12     Document Type: Conference Paper

References (18)

1. E. Astesiano. H.-J. Kreowski, B. Krieg-Brueckner, Algebraic Foundations of System Specification, IFIP State of the Art Reports, Springer, 1999.
2. K.R. Apt, Logic Programming, in Handbook of Theoretical Computer Science, Vol B: Formal Models and Semantics, Chapter 10, Elsevier, 1990.
3. Astesiano, E., Zucca, E.: D-oids: A Model for Dynamic Data Types. Mathematical Structures in Computer Science 5 (1995), pp. 257-282
4. Boerger, E., Huggins, J.K.: Abstract State Machines 1988-1998; Commented ASM Bibliography, Bull. EATCS 64 (1998), pp. 105-127
5. H. Ehrig, A Categorical Concept of Constraints for Algebraic Specifications; in: Categorical Methods in Computer Science - with Aspects from Topology, (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preuss, eds.), Springer LNCS 393 (1989).
6. H.-D. Ehrich, Object specification, in [AKK 99], 1999.
7. H. Ehrig, R. Heckel, M. Llabres, F. Orejas, J. Padberg, G. Rozenberg A Rule-Based Framework with Incomplete Information, in Theory and Applications of Graph Transformations (H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg eds.), Springer LNCS 1764 (2000) 85-102.
8. A. Finkelstein, J. Kramer, B. Nuseibeh, M. Goedicke, L. Finkelstein, Viewpoints: A framework for integrating multiple perspectives in system development, Int. J. of Software and Knowledge Engineering 2,1 (1992) 31-58.
9. J.A. Goguen, R.M. Burstall. Institutions: Abstract model theory for specification and programming, J. of the ACM 39(1), 95-146, (1992)
10. Grosse-Rhode, M.: Algebra Transformation Systems and their Composition, Springer LNCS 1382 (1998), pp. 107-122
11. Gurevitch, Y.: Evolving Algebras, A Tutorial Introduction. Bull. EATCS 43 (1991), pp. 264-284
12. R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, PhD Thesis, TU Berlin 1998.
13. R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems, Applied Categorical Structures 9 (2001) 83-110. (Pubitemid 32190536)
14. R. Heckel, A. Corradini, H. Ehrig, M. Loewe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, Mathematical Structures in Computer Science 6(6) (1996) 613-648. (Pubitemid 127012729)
15. P. Lucio, F. Orejas, E. Pino. An algebraic framework for the definition of compositional semantics of Normal Logic Programs. Journal of Logic Programming 40(1) (1999) 89-124.
16. Reisig, W.: Petri Nets. EATCS Monographs in TCS 4, Springer Verlag, 1985
17. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Vol 1 Foundations, World Scientific, 1997
18. G. Schneider, J. Winters, Applying use cases, Addison Wesley, 1998.