Integrating the specification techniques of graph transformation and temporal logic (original) (raw)
1997, Lecture Notes in Computer Science
A b s t r a c t . The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic semantics of graph transformation systems is not able to express constrained behaviour we introduce -in analogy to other approaches -a coalgebraic semantics which associates with each system a category of models (deterministic transition systems). Such category has a final object, which includes all finite and infinite transition sequences. The coalgebraic framework makes it possible to introduce a general notion of 'logic of behavioural constraints'. Instances include, for example, graphical consistency constraints and temporal logic constraints. We show that the considered semantics can be restricted to a final coalgebra semantics for systems with behavioural constraints. This result can be instantiated in order to obtain a final coalgebra semantics for graph grammars with temporal logic constraints.
Sign up for access to the world's latest research.
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.