Abstract

UML sequence diagrams focus on the interactionbetween different classes. For distributed real timetransaction processing it is possible to end up with complexsequence diagrams, containing messages related to systemprocesses. It is difficult to examine alternative combinationsof message passing. A solution is to translate these diagramsinto an executable processor net model. This is based on the‘actor model’, Petri net concepts and higher order netconstructs. A case study taken from a flight reservationscenario is introduced and used to create a processor netmodel. This approach offers various advantages likeidentifying the main processes, executable model creation,verification, formalization, defining schemas andperformance analysis.