Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods

Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools

“…A small number of examples of combined use of UML and CPN in software development have appeared in the literature, e.g., design of user interfaces is described in [11]. High-level Petri nets in general in conjunction with mobile computing has been investigated in [31], where, again, the focus is on formal verification. Much research has addressed development of concepts and theories that combine the ideas of object-orientation in general (not just UML) and Petri nets [1].…”

“…It is interesting to see how the problem of the Synchronizing merge has been handled in existing systems and literature. In the context of MQSeries workflow the technique of "dead-path elimination" is used [31,22]. This means that initially each input arc is in state "unevaluated".…”

“…Addressing this broad and rather ambitious reach, a large number of workflow products, mainly workflow management systems (WFMS), are commercially available, which see a large variety of languages and concepts based on different paradigms (see e.g. [1,4,12,19,23,28,31,30,40,47]).…”