Verifying process properties has been an important research topic in last several years. The idea is to support humans in modeling processes by checking whether their processes are correct according to certain criteria (e.g. always terminate, adhere to a predefined specification). But these approaches were mostly limited to verifying syntactic properties of the process ignoring semantics and functionality of the contained activities. In this paper we introduce a new property called semantic conformance that ensures that a process has the intended functionality. A process is semantically conformant to a process specification if it fulfills the intended functionality in all situations described in the process specification and if every activity of the process is actually invokable whenever it can be invoked.
展开▼
