Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Schaffner, J., Meyer, H., Tosun, C.: A semi-automated orchestration tool for service-based business processes. In: Proceedings of the 2nd International Workshop on Engineering Service-Oriented Applications: Design and Composition, pp. 54–65 (2006)
Schaffner, J., Meyer, H., Weske, M.: A formal model for mixed initiative service composition. In: SCC 2007. Proceedings of The IEEE International Conference on Services Computing (2007)
van der Aalst, W.: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
Dehnert, J., Rittgen, P.: Relaxed soundness of business processes. In: Falsafi, B., VijayKumar, T.N. (eds.) PACS 2000. LNCS, vol. 2008, pp. 157–170. Springer, Heidelberg (2001)
Basten, T., van der Aalst, W.: Inheritance of behavior. JLAP 47, 47–145 (2001)
Martens, A.: On Compatibility of Web Services. Petri Net Newsletter 65, 12–20 (2003)
Puhlmann, F., Weske, M.: Investigations on soundness regarding lazy activities. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 81–96. Springer, Heidelberg (2006)
Decker, G., Weske, M.: Behavioral consistency for b2b process integration. In: CAISE. Proceedings of the 19th International Conference on Advanced Information Systems Engineering (2007)
Meyer, H.: On the semantics of service compositions. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol. 4524, Springer, Heidelberg (2007)
Kifer, M., Lara, R., Polleres, A., Zhao, C., Keller, U., Lausen, H., Fensel, D.: A logical framework for web service discovery. In: ISWC 2004. Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, CEUR Workshop Proceedings. Hiroshima, Japan, vol. 119 (2004)
Keller, U., Lausen, H., Stollberg, M.: On the semantics of functional descriptions of web services. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, Springer, Heidelberg (2006)
Baldoni, M., Baroglioa, C., Martellia, A., Pattia, V.: Reasoning about interaction protocols for customizing web service selection and composition. Journal of Logic and Algebraic Programming 70, 53–73 (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meyer, H. (2008). Calculating the Semantic Conformance of Processes. In: ter Hofstede, A., Benatallah, B., Paik, HY. (eds) Business Process Management Workshops. BPM 2007. Lecture Notes in Computer Science, vol 4928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78238-4_48
Download citation
DOI: https://doi.org/10.1007/978-3-540-78238-4_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78237-7
Online ISBN: 978-3-540-78238-4
eBook Packages: Computer ScienceComputer Science (R0)