Satisfiability of high-level conditions

  • Authors:

  • Annegret Habel;Karl-Heinz Pennemann

  • Affiliations:

  • Carl v. Ossietzky Universität Oldenburg, Germany;Carl v. Ossietzky Universität Oldenburg, Germany

  • Venue:
  • ICGT'06 Proceedings of the Third international conference on Graph Transformations
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we consider high-level structures like graphs, Petri nets, and algebraic specifications and investigate two kinds of satisfiability of conditions and two kinds of rule matching over these structures. We show that, for weak adhesive HLR categories with class ${\mathcal{A}}$ of all morphisms and a class ${\mathcal {M}}$ of monomorphisms, strictly closed under decompositions, ${\mathcal{A}}$- and ${\mathcal{M}}$-satisfiability and ${\mathcal{A}}$- and $P{\mathcal{M}}$-matching are expressively equivalent. The results are applied to the category of graphs, where ${\mathcal{M}}$ is the class of all injective graph morphisms.