Model-Driven Evolution of Software Architectures - Software and ...

144 Chapter7. Model-DrivenMigration
Table 7.1:SMCprofilestereotypes
Stereotype baseClass description
≪wait≫ State wait for resource state
≪claim≫ Action claim resource action
≪release≫ Action release resources action
≪available≫ Guard resource available guard
≪available≫ Event resource becomes available event
context Action def:
-- an action is a release action if a stereotype named ’release’ is
applied to it
let isRelease : Boolean = self.stereotype->exists(s|s.name=’release
’)
context State def:
-- a state is a wait state if a stereotype named ’wait’ is applied
to it
let isWait : Boolean = self.stereotype->exists(s|s.name=’wait’)
context Event def:
-- an event is an available event if a stereotype named ’available’
is applied to it
let isRelease : Boolean = self.stereotype->exists(s|s.name=’release
’)
-- C1: all release Actions are state exit actions
context Action inv:
isRelease implies State.allInstances->exists(s|s.exit=self))
-- C2: a wait state has at least one outgoing transition triggered
by an available event
context State inv:
isWait implies outgoing->exists(t|t.trigger.isAvailable))
-- C3: state entry actions are actions that execute manufacturing
activities (i.e., without stereotype)
context State inv:
entry.stereotype->isEmpty
-- C4: all state nodes have no more than two incoming and outgoing
transitions
context StateVertex inv:
outgoing->size() size()