Eclipse Community Forums: Epsilon » How ECL script recognize models to compare

Help

Home

Home » Modeling » Epsilon » How ECL script recognize models to compare

Show: Today's Messages :: Show Polls :: Message Navigator

How ECL script recognize models to compare [message #591151]

Thu, 05 August 2010 01:07

Lukman
Messages: 8
Registered: August 2010

Junior Member

I'm using ECL to compare two models (A and B). I set which model to compare by including the two models in the runtime configuration.

My ECL script is as follows:

rule CheckBisimulation
match originalModel:StateMachine
with refactoredModel:StateMachine{
compare:checkBisimulation(originalModel,refactoredModel)
do{'The models are bisimilar'.println();}
}

How does ECL know that model A is originalModel and model B is refactoredModel?

Report message to a moderator

Re: How ECL script recognize models to compare [message #591158 is a reply to message #591151]

Thu, 05 August 2010 04:30

Louis Rose
Messages: 427
Registered: July 2009
Location: York, United Kingdom

Senior Member

Hi Lukman,

The name given to a model in the runtime configuration is used to access the types of that model using the following syntax:

ModelName!Type

So I would suggest changing the ECL script to this:

rule CheckBisimulation
match originalModel:A!StateMachine
with refactoredModel:B!StateMachine{
compare:checkBisimulation(originalModel,refactoredModel)
do{'The models are bisimilar'.println();}
}

Which is read as: "The rule CheckBismulation matches StateMachines of model A and StateMachines of model B..."

Cheers,
Louis.

Report message to a moderator

Previous Topic:	How ECL script recognize models to compare
Next Topic:	[Eugenia] Palette Icons and Iterative Development Process

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue May 21 21:04:04 EDT 2013