#784 A strange error of decomposition

[Leona Yao]

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.

[Son Hoang]

Dear Leona,
I will try to have a look at this some time next week.
Best regards,
Son

[Son Hoang]

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

[Leona Yao]

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/