Research on Consistency Verification of Semantic Business Process Model Based on SWRL

Abstract:

At the moment Semantic Business Process Model (SBPM) build on the semantic annotation, the specification of process activity, the control flow between activities and business functions of process. However, the correctness of SBPM is based on technical knowledge and experiences of the model designer, which is apparently not feasible for complex and dynamic business processes. Therefore, the goal of this paper is present a formalization description which was understood by business experts and model designers, establishing a new method to verify the consistency between SBPM and requirement of enterprise. Our techniques are based on the SWRL and Business rule.

• Periodical: Advanced Materials Research (Volumes 756-759)
• Pages: 1595-1599
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.756-759.1595
• Online since: September 2013
• Authors: Peng Tan, Feng He, Chen Min Yan
• Keywords: Business Rule, Consistency, SBPM, SWRL, Verification

References

[1] F. Lautenbacher, B. Bauer, and C. Seitz, Semantic Business Process Modeling-Benefits and Capability, In AAAI 2008 Stanford Spring Symposium, Stanford University, California.

[2] Business Rules Group, Defining business rules, what they really are, July (2000).

[3] I. Weber, J. Hoffmann, and J. Mendling. Semantic business process validation, Technical report, University of Innsbruck, (2008).

[4] W3C, SWRL: A semantic web rule language combining OWL and RuleML, http: /www. w3. org/Submission/SWRL, Latest version: May (2004).

[5] G. Koliadis and A. Ghose. Verifying Semantic Business Process Models in Inter-operation, In 2007 IEEE International Conference on Services Computing, 2007, p.731–738.

DOI: 10.1109/scc.2007.128

[6] C. Ghidini, M. Rospocher, L. Serafini, P. Tonella. Reasoning on semantically annotated processes, In Proceedings of the 6th International Conference on Service Oriented Computing, 2008, p.132–146.

DOI: 10.1007/978-3-540-89652-4_13