RODIN / Bugs / #157 umlb - Actions not translated to event B

umlb - Actions not translated to event B

#157 umlb - Actions not translated to event B

Milestone: V0.8.1

Status: closed

Owner: Colin Snook

Labels: U2B plugin (20)

Priority: 5

Updated: 2008-11-21

Created: 2007-11-05

Creator: Jenny Sorge

Private: No

In my UML-B (0.3.1) model I have a machine event which contains one action. This action is visible in the UML-B view in the properties tab, however, when I switch to eventB there are no actions in the event. I assume that the event is not translated into event B correctly.
The model is attached.

Discussion

Jenny Sorge - 2007-11-05

file_transfer.zip

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Colin Snook - 2008-11-21

Problem not apparent in version 0.4.4.
May have been fixed before.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Colin Snook - 2008-11-21

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Colin Snook - 2008-11-21

Problem not apparent in version 0.4.4.
May have been fixed before.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Colin Snook - 2008-11-21

Problem not apparent in version 0.4.4.
May have been fixed before.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Colin Snook - 2008-11-21

Problem not apparent in version 0.4.4.
May have been fixed before.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

umlb - Actions not translated to event B

Group

Searches

Help

#157 umlb - Actions not translated to event B

Discussion