Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
On the semantics of service compositions
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
A semi-automated orchestration tool for service-based business processes
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Hi-index | 0.00 |
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.