>
Fa   |   Ar   |   En
   Checking the Conformance between Models Based on Scenario Synchronization  
   
نویسنده Dang Duc-Hanh ,Truong Anh-Hoang ,Gogolla Martin
منبع journal of universal computer science - 2010 - دوره : 16 - شماره : 17 - صفحه:2293 -2312
چکیده    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
کلیدواژه Model-Driven Development ,Model Transformation ,Model Validation ,Graph Transformation ,UML ,OCL ,Snapshot ,Invariant ,Pre- and Postcondition
آدرس University of Engineering and Technology, VNUH, Vietnam, University of Engineering and Technology, VNUH, Vietnam, University of Bremen, Department of Computer Science, Germany
پست الکترونیکی gogolla@informatik.uni-bremen.de
 
     
   
Authors
  
 
 

Copyright 2023
Islamic World Science Citation Center
All Rights Reserved