Interpreting Process Model Definitions

While in the previous chapter, we have discussed possibilities to express process model definitions for dynamic task nets within an adapted Unified Modeling Language, we have not yet defined the dynamic semantics of a resulting model. The present chapter is concerned with interpreting process model definitions to constrain process model instances and offer guidance to a process manager constructing and maintaining these. The following question lies at the heart of this chapter’s discussion: How can a process model instance be checked for structural and behavioral consistency against a given UML-based process model definition?