search

gitdelehe / ontouml-lightweight-editor

Automatically exported from code.google.com/p/ontouml-lightweight-editor
0 stars 0 forks source link

Alloy analyzer takes too long time to solve #42

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. open file attached *.oled
2. run the alloy solver
3.

What is the expected output? What do you see instead?
it does not generate the instances of the possible worlds
what I see is the screen shot attached as well

What version of the product are you using? On what operating system?
Oled 0.9.32 
alloy 4.2
Windows XP

Please provide any additional information below.

Original issue reported on code.google.com by itmora...@gmail.com on 28 Jul 2014 at 8:54

Attachments:

GoogleCodeExporter commented 9 years ago 
Hello,

We are analyzing this and we will get back to you as soon as we have an answer.

Thanks
John

Original comment by johnguer...@gmail.com on 30 Jul 2014 at 1:48

GoogleCodeExporter commented 9 years ago 
Hi, 

Sorry for the delay but if you increase the scope value from 10 to 15 

"run {} for 15 but 3 World, 7 int" 

you'll see that the analyzer then is able to produce an example. I'm not sure 
how the Alloy is counting the minimum size of the scope in this particular 
case, so when we get a more concrete answer, we'll get back to you.

Also, I forgot to mention, that we are planning to develop a instance count 
algorithm to calculate this minimum size by default, which would help a lot, as 
in your case.

Best Regards,
John

Original comment by johnguer...@gmail.com on 4 Aug 2014 at 2:02

GoogleCodeExporter commented 9 years ago 
Ok, I will modify that parameter then!
Thanks :-D

Original comment by itmora...@gmail.com on 4 Aug 2014 at 2:05