search

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

Separate module targets and system targets #88

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

Ana today pointed out that there is a distinction between sequence diagrams that refer to the behaviour of a module (open up the module and look at its controllers and how they talk to the platform), and the behaviour of the system surrounding that module (the module itself is opaque and we are now looking at how the system talks to the world). The metamodel should reflect this.

As far as I can understand, these two targets will both take a RCModule and return the module parameterisation, but they'll be distinct in the components and context (see #87) that they expose.

MattWindsor91 commented 2 years ago

The separation is basically there, but the semantics of module targets is wrong. It shouldn't be D__, it should be an open renamed conjunction of the controllers in the module.

MattWindsor91 commented 2 years ago

This is no longer a concern; we've finalised the set of targets.