>
Fa   |   Ar   |   En
   Checking Semantics Equivalence of MDA Transformations in Concurrent Systems  
   
نویسنده Barbosa Paulo ,Ramalho Franklin ,Figueiredo Jorge ,Junior Antonio ,Costa Aniko ,Gomes Luıs
منبع journal of universal computer science - 2009 - دوره : 15 - شماره : 11 - صفحه:2196 -2224
چکیده    In a previous work we have proposed an extension to the four-layer mda architecture promoting formal verification for semantics preserving model transforma- tions. we analyzed semantics equivalence in transformations involving platform specific models (psm s). in this paper, considering concurrent systems domain, we show how this extended mda architecture copes with the correctness verification of horizontal model transformations involving platform independent models (pim s). our approach is supported by four formal techniques: behavioral equivalence relation, category the- ory, bisimulation and model-checking. this set of techniques allows the analysis of semantics equivalence between system model before and after transformation enabling the decomposition of the system model into a set of concurrent sub-models, considered as components. the validation of our approach occurs in a net splitting operation, where pim s are defined as petri nets models according to the pnml metamodel with transformations representing formal operations in this domain.
کلیدواژه MDA ,transformations ,formal semantics ,concurrent systems ,petri nets
آدرس Federal University of Campina Grande, Brazil, Federal University of Campina Grande, Brazil, Federal University of Campina Grande, Brazil, Federal University of Campina Grande, Brazil, Universidade Nova de Lisboa, Portugal, Universidade Nova de Lisboa, Portugal
پست الکترونیکی lugo@uninova.pt
 
     
   
Authors
  
 
 

Copyright 2023
Islamic World Science Citation Center
All Rights Reserved