O
pen
A
rchive
T
OULOUSE
A
rchive
O
uverte (
OATAO
)
OATAO is an open access repository that collects the work of Toulouse researchers and
makes it freely available over the web where possible.
This is an author-deposited version published in : http://oatao.univ-toulouse.fr/
Eprints ID : 12959
To link to this article : DOI :10.3923/jse.2014.132.151
URL : http://dx.doi.org/10.3923/jse.2014.132.151
To cite this version : El Hamlaoui, Mahmoud and Ebersold, Sophie
and Anwar, Adil and Coulette, Bernard and Nassar, Mahmoud
Towards a framework for heterogeneous models matching. (2014)
Journal of Software Engineering, vol. 8 (n° 3). pp. 132-151. ISSN
1819-4311
Any correspondance concerning this service should be sent to the repository
administrator: [email protected]
System.java mlc.text mlc.modellink MMC.xtext MMC.modellink MMC.ecore mc.mmc T2M M2T M2T m3.mmz or Mmz.ecore m2.mmy Matching Mmy.ecore ml.mmx Mmx.ecore or
Import MM_BPM { Task, Lane }, Import M M_Requirement { Requirement }, Import M M_Mantis { Attribute, Entity } Creat M2C: *BTS.m2 Aggregation Dependency Generalization Similarity define DomainSpecificCorrespondence->CorrespondenceLink DomainIndependentCorrespondence->CorrespondenceLink Equality->Similarity Similarity-> Aggregation Generalizatio Dependency-DeletedElt-> ModifiedElt-SimilarityKino Packages NamedElem CoDependene Composition Expression Refine RefineKind Verify->DomainSpecificCorrespondence UpdateValue->DomainSpecificCorrespondence Message New relation Verify
Validate
File Edit Navigate Search Project Exeed MMC Run Window Help
Extend MMC
import MM_BPM { Task, Lane }, import MM_Requirement { Requirement }, importMM_Mantis { Attribute, Entity } create M2C “
define Verify Between Requirement and Attribute
with : synchronization = [true ] Expression= [Language= OCL,
Body= “invariant . . .” ],
define UpdateValue Between Task and Attribute with:synchronization= [true ] ,
define Similarity Between TaskandRequirement, Attribute with : synchronization= [ true ],
define Similarity Between LaneandEntitywith : synchronization= [false] ,
define Dependency Between TaskandAttributewith : synchronization= [true] ;| BTS.m2c Easychair.m2c
platform:/resource/POCModel_v2/model/BTS.m2c Packages
Model Ref MM_BPM
Model Ref MM_Requirement Model Ref MM_Mantis
Correspondence Model M2C Element Ref Task Element Ref Lane Element Ref requirement Element Ref Attribute Element Ref Enity Verify true Expression OCL Update Value true Similarity true Similarity false Dependency true
BTS.m2c Easychair.m2c BTS.m2c
Tasks Properties Problems
Properties Value
Body invariant Language OCL
Element Ref Activity_Send message / Set status to “Closed” Element Ref Activity_Fix bug / Set status to “Fixed” Element Ref reporter_samara
Element Ref Activity_Report but
Element Ref Activity_Send message / Set status to Rejected” Element Ref Activity_Send message / Set status to “Assigned” Element Ref Activity_Send message / Set status to “Won’t fix”
Element Ref Requirement_Declaration of an anomaly Element Ref Requirement_Details of the description
Element Ref Requirement_Complementary information to the description
Element Ref Entity_Issue Element Ref Attribute_description Element Ref Attribute_additionalInfo Element Ref Attribute_status Element Ref Attribute_fixedInVersion
Verify true Verify true Update Value true Similarity true Equality true Co Dependency true Model Ref M_BPM
Model Ref M_Requirement
Model Ref M_Mantis
Correspondence Model M1C BTS.m2c BTS.M1C
Platform:/resource/com.irit.mmlink/model/BTS.M1C Packages