walma
I'm working on my master's thesis our work is aimed at transforming a BPMN model fortified with temporal constraints to a timed automaton using ATL for this transformation.
My question is it possible in an ATLAS Transformation Language file to check whether previous activities are subject to some type of time constraints to better explain my concern sometimes when an activity "F" in the BPMN process must be carried out at 8 am we must determine whether there is ever another activity "B" before the latter should start at 11am (or at any time that is after 8 am).
In general , Is there any possibilty to know more about a previous activity or to save some informations in order to make sure that the transformation is well done .Because when we want to transform an activity in a timed BPMN proceess , we should know what kind of temporal constraint that is relied to this activity as well as every activity that preceed this one.
My question is it possible in an ATLAS Transformation Language file to check whether previous activities are subject to some type of time constraints to better explain my concern sometimes when an activity "F" in the BPMN process must be carried out at 8 am we must determine whether there is ever another activity "B" before the latter should start at 11am (or at any time that is after 8 am).
In general , Is there any possibilty to know more about a previous activity or to save some informations in order to make sure that the transformation is well done .Because when we want to transform an activity in a timed BPMN proceess , we should know what kind of temporal constraint that is relied to this activity as well as every activity that preceed this one.