A fully abstract model for graph-interpreted temporal logic

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

Volumn 1764, Issue , 2000, Pages 310-322

  Gadducci, Fabio ^a   Heckel, Reiko ^b   Koch, Manuel ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; GRAPH THEORY; MODEL CHECKING; TEMPORAL LOGIC;

COMPOSITIONAL VERIFICATION; DISCRIMINATING POWER; FINITE-STATE TRANSITION SYSTEMS; GRAPH TRANSFORMATION SYSTEM; GRAPH TRANSITION SYSTEM; GRAPHICAL CONSTRAINTS; LIVENESS PROPERTIES; PROPOSITIONAL VARIABLES;

COMPUTER CIRCUITS;

EID: 84949964856     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-46464-8_22     Document Type: Conference Paper

References (19)

1. I. Claßen, M. Gogolla, and M. Löwe. Dynamics in information systems: Specification, construction, and correctness. Technical Report 96–01, Technische Universität Berlin, 1996.
2. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach. In Rozenberg [15], pages 163–245.
3. H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, and A. Corradini. Algebraic approaches to graph transformation, Part II: Single pushout approach and comparison with double pushout approach. In Rozenberg [15], pages 247–312.
4. H. Ehrig, M. Pfender, and H. J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167–180. IEEE, 1973.
5. F. Gadducci, R. Heckel, and M. Koch. Model checking graph-interpreted temporal formulas. In Prelim. Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT’98), Paderborn, 1998.
6. The Object Management Group. OMG UML Specification, V. 1.3, 1999.
7. R. Heckel. Compositional verification of reactive systems specified by graph transformation. In Fundamental Approaches to Software Engineering, volume 1382 of LNCS, pages 138–153. Springer Verlag, 1998.
8. R. Heckel. Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems. PhD thesis, TU Berlin, 1998.
9. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613–648, 1996. Also Tech. Rep. 96-22, TU Berlin.
10. R. Heckel, H. Ehrig, U. Wolter, and A. Corradini. Integrating the specification techniques of graph transformation and temporal logic. In Proc. Mathematical Foundations of Computer Science (MFCS’97), Bratislava, volume 1295 of LNCS, pages 219–228. Springer Verlag, 1997.
11. R. Heckel and A. Wagner. Ensuring consistency of conditional graph grammars–a constructive approach. Proc. of SEGRAGRA’95 “Graph Rewriting and Computation”, Electronic Notes of TCS, 2, 1995. http://www.elsevier.nl/locate/entcs/volume2.html.
12. M. Koch. Modellierung und Nachweis der Konsistenz von verteilten Transaktionsmodellen für Datenbanksysteme mit algebraischen Graphgrammatiken. Technical Report 96-36, TU Berlin, 1996. Master’s thesis.
13. M. Koch. Integration of Graph Transformation and Temporal Logic for the Specification of Distributed Systems. PhD thesis, TU Berlin, 1999.
14. G. Rasmussen, B. Henderson-Sellers, and G. C. Low. An object-oriented analysis and design notation for distributed systems. Object Currents, 1(10), 1996.
15. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 1997.
16. J. Rumbaugh, M. Blaha, W. Premerlani, E. Eddy, and W. Lorenson. Object-Oriented Modeling and Design. Prentice Hall International, 1991.
17. C. Stirling. Modal and temporal logics. In Background: Computational structures, volume 2 of Handbook of Logic in Computer Science, pages 477–563. Clarendon Press, Oxford, 1992.
18. J. van Benthem. Correspondence theory. In D. Gabbay and F. Günther, editors, Handbook of Philosophical Logic, Vol. II, pages 167–248. Reidel, 1984.
19. A. Wagner. A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras. PhD thesis, TU Berlin, 1997.