Triple Graph Grammars and OCL for Validating System Behavior

  • Authors:

  • Duc-Hanh Dang

  • Affiliations:

  • Computer Science Department, Database Systems Group, University of Bremen,

  • Venue:
  • ICGT '08 Proceedings of the 4th international conference on Graph Transformations
  • Year:
  • 2008

  • On scenario synchronization

    ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose an approach based on the integration of Triple Graph Grammars (TGGs) and the Object Constraint Language (OCL) for checking the conformance between use case and design models.