9.10 Modeling Constraints on Activity Execution
The basic constraints on activity execution were covered in Section 9.3. This section describes additional modeling techniques that can be used to specify further execution constraints.
9.10.1 Modeling Pre- and Post-conditions and Input and Output States
An action is able to execute when all of the prerequisite tokens have been offered at its inputs, and similarly may terminate when it has offered the postrequisite tokens on its outputs. However, sometimes additional constraints apply, which are based on the values of those tokens or conditions currently holding in the execution environment. These constraints can be expressed using pre- and post-conditions on the actions, and in the case of call ...
Get A Practical Guide to SysML, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
