Hi, everybody. When I was decompositing models with Event-B using the Rodin platform, I was prompted with an error when using parameters to pass variable values of different subcomponents, as shown in the figure of attachments. I don't know how to solve it? Or is there something wrong with my model? I look forward to your Suggestions.
Dear Leona,
I will try to have a look at this some time next week.
Best regards,
Son
Dear Leona,
I tried the decomposition plug-in with the latest Rodin 3.5.0 and the tool did produce the decomposed model (There are some other issues which you can ignore, but the sub-model seems to work). Did you choose "B-Style" decomposition in the wizard and edit the partition to ensure that the variables are distributed accordingly?
Apology for the late reply.
Best regards,
Son
Dear Son,
Thank you for the reply!
I do try to decompose in B-Style, but it just can't work...
And I import the same model to Rodin 3.4 then decompose in same way, and that decomposition is normally successful as shown in the figure of attachments.
I truly don't know the reason...
In addition, I did success one time in Rodin 3.5, and I can't do it again next day...
Best regards,
Leona
-----原始邮件-----
发件人:"Thai Son Hoang" tshoang@users.sourceforge.net
发送时间:2020-09-16 02:38:44 (星期三)
收件人: "[rodin-b-sharp:bugs] " 784@bugs.rodin-b-sharp.p.re.sourceforge.net
抄送:
主题: [rodin-b-sharp:bugs] #784 A strange error of decomposition
Dear Leona,
I tried the decomposition plug-in with the latest Rodin 3.5.0 and the tool did produce the decomposed model (There are some other issues which you can ignore, but the sub-model seems to work). Did you choose "B-Style" decomposition in the wizard and edit the partition to ensure that the variables are distributed accordingly?
Apology for the late reply.
Best regards,
Son
[bugs:#784] A strange error of decomposition
Status: open
Group: 3.5
Labels: Decomposition
Created: Wed Aug 12, 2020 03:33 AM UTC by Leona Yao
Last Updated: Thu Aug 27, 2020 09:15 AM UTC
Owner: nobody
Attachments:
捕获.PNG (21.7 kB; image/png)
捕获2.PNG (33.2 kB; image/png)
Hi, everybody. When I was decompositing models with Event-B using the Rodin platform, I was prompted with an error when using parameters to pass variable values of different subcomponents, as shown in the figure of attachments. I don't know how to solve it? Or is there something wrong with my model? I look forward to your Suggestions.
Sent from sourceforge.net because you indicated interest in https://sourceforge.net/p/rodin-b-sharp/bugs/784/
To unsubscribe from further messages, please visit https://sourceforge.net/auth/subscriptions/
Related
Bugs: #784