| An approach for the refinement of the information system activity (workflow)
specifications by the pre-existing heterogeneous information resource behavior
patterns is discussed. The proposed methodology is considered to be a part
of the semantic interoperation reasoning framework. The two-dimensionally
uniform multiactivity specification is assumed.
The paper is focused on the behavioral abstraction of the multiactivity
specifications that are introduced as patterns of actions (Petri net firing
sequences) generalized as regular expressions. Behavior concretization
reasoning is based on the partial ordering of the patterns. Structural
and behavioral abstractions of multiactivities work together to make their
concretization feasible.
The technique is developed and used in frame of the SYNTHESIS project. |
