Operation behavior modeling using relation identification and visualization algorithms

The behavior of a system can be described by a set of operations - sometimes called activities or tasks. The process to specify these operation seems to be a real challenge in various situations, for example when designing automation systems or keeping track of the work at an emergency department. In practice, operation behavior specification is often quite inflexible because every possible execution route is explicitly defined. In this paper, a modeling method and a relation identification and visualization algorithm is introduced that does not explicitly specify operation routes, where instead the operation behavior is specified using the execution restrictions in transition conditions for each operation. This enables the possibility to create multiple projections of the operation relations to enable better understanding.