License: Licence agreement concerning inclusion of doctoral thesis in the Institutional Repository of the University of LeidenDomain Specific Modeling and Analysis • November 11th, 2008
This is a rule that is used after a transition has been taken successfully by an object modeled with km. With this rule the location attribute of the object is assigned the value of the target attribute and the target attribute is set to None. An example of the effect of the rule would be that
PROEFSCHRIFTDomain Specific Modeling and Analysis • August 8th, 2024
License: Licence agreement concerning inclusion of doctoral thesis in the Institutional Repository of the University of LeidenDomain Specific Modeling and Analysis • November 11th, 2008
where l is the entry location and lj is the exit location of the transition. Furthermore, g denotes its boolean guard, t its trigger, and a its action.
