Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 16 / Issue 17

available in:   PDF (430 kB) PS (735 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-016-17-2293


Checking the Conformance between Models Based on Scenario Synchronization

Duc-Hanh Dang (University of Engineering and Technology, Vietnam)

Anh-Hoang Truong (University of Engineering and Technology, Vietnam)

Martin Gogolla (University of Bremen, Germany)

Abstract: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often obtained using mappings between metamodels for a structural semantics. This paper proposes an approach based on the integration of Triple Graph Grammars (TGGs) and the Object Constraint Language (OCL) in order to explain a behavioral relation between models at different levels of abstraction. Triple rules incorporating OCL allow us to synchronize execution scenarios of a system at two levels. In this way we obtain an integrated operational semantics of the models as well as the possibility for conformance verification between them. We illustrate our approach with a case study for the relation between use case and design models.

Keywords: Invariant, OCL, Pre- and Postcondition, Snapshot, UML, graph transformation, model transformation, model validation, model-driven development

Categories: D.2.4, D.m, H.2.3