Currently we only support UML class constraints, which are translated as CIF state invariants. Since these are contained in the UML class, they apply to (and are translated for) all activities in the class. It would be useful to support UML activity constraints, which are valid only for the container activity.
In short, class constraints apply to all activities, while activity constraints apply only to the single activities.
Currently we only support UML class constraints, which are translated as CIF state invariants. Since these are contained in the UML class, they apply to (and are translated for) all activities in the class. It would be useful to support UML activity constraints, which are valid only for the container activity.
In short, class constraints apply to all activities, while activity constraints apply only to the single activities.