Graph Transformations
Lecture Notes in Computer Science, 2008, Volume 5214/2008, 481-483, DOI: 10.1007/978-3-540-87405-8_39

Triple Graph Grammars and OCL for Validating System Behavior

Duc-Hanh Dang

View Related Documents

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.
I would like to thank my supervisor Martin Gogolla for contributions to this work.

Fulltext Preview

Image of the first page of the fulltext document