Abstract
Process modeling forms a core activity in many organizations in which different entities and stakeholders interact for smooth operation and management of enterprises. There have been few work on semantically labeling business processes using OWL-DL that formalize business process structure and query them. However, all these methods suffer from few limitations such as lack of a modular approach of ontology design, no guarantee of a consistent ontology development with TBox and ABox axioms and no provision of combining control flow relations of the main process and its sub-processes. In this work, we propose an approach for labeling and specifying business processes by using hybrid programs which offers modular ontology design, consistent ontology design of each module and unified control flow for process and its sub-processes. This formalism of hybrid programs integrates ontology specified in OWL-DL with SWRL (Semantic Web Rules Language) rules. Further we report on our experimental effort on modeling industrial business processes with this hybrid formalism. We also present a case study of an industrial business process to illustrate our modeling approach which can aid in business knowledge management.
G. S. Dayan—This work was done when the author was an intern with Infoys Ltd, Bangalore during Mar–May’17.
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
Notes
- 1.
Wlog we assume same individuals for all the three processes.
- 2.
For brevity of space we specify only a couple of patterns here.
- 3.
CSP here stands for Communicating Sequential Process.
- 4.
Denoted with a small rectangle.
- 5.
Denoted with a shaded circle inscribed within another circle.
- 6.
Available at https://camunda.org/.
- 7.
InFlux process models have created high impact on Infosys business by bringing in formalism and repeatability into the process of translation of business objectives into IT solutions.
- 8.
This is like consistency checking of the whole ontology created on Protégé.
References
Baader, F., Nutt, W.: Basic description logics. In: Description Logic Handbook, pp. 43–95 (2003)
Bisztray, D., Heckel, R.: Rule-level verification of business process transformations using CSP. ECEASST 6 (2007)
Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Inf. Sci. 176(15), 2227–2267 (2006)
Fahland, D., et al.: Analysis on demand: instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5), 448–466 (2011)
Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Reasoning on semantically annotated processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 132–146. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89652-4_13
Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Semantically-aided business process modeling. In: Bernstein, A., et al. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 114–129. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04930-9_8
Goderis, A., Sattler, U., Goble, C.A.: Applying description logics for workflow reuse and repurposing. In: Proceedings of the International Workshop on Description Logics (DL 2005) (2005)
Gröner, G., Staab, S.: Modeling and query pattern for process retrieval in OWL. In: Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009), 1–4 September 2009, Redondo Beach, California, USA, pp. 189–190. ACM (2009)
Groener, G., Staab, S.: Modeling and query patterns for process retrieval in OWL. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 243–259. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04930-9_16
Hirsh, H., Kudenko, D.: Representing sequences in description logics. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 1997, pp. 384–389 (1997)
Käfer, T., Harth, A.: Specifying, monitoring, and executing workflows in linked data environments. CoRR abs/1804.05044 (2018). http://arxiv.org/abs/1804.05044
Kiefer, C., Bernstein, A., Lee, H.J., Klein, M., Stocker, M.: Semantic process retrieval with iSPARQL. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 609–623. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72667-8_43
Knolmayer, G., Endl, R., Pfahrer, M.: Modeling processes and workflows by business rules. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 16–29. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-45594-9_2
Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 268–284. Springer, Heidelberg (2005). https://doi.org/10.1007/11538394_18
Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. J. Web Semant. 3, 41–60 (2005)
O’Connor, M., Tu, S., Nyulas, C., Das, A., Musen, M.: Querying the semantic web with SWRL. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol. 4824, pp. 155–159. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75975-1_13
Roy, S., Bihary, S., Laos, J.A.C.: A CSP-theoretic framework of checking conformance of business processes. In: 19th Asia-Pacific Software Engineering Conference, APSEC 2012, pp. 30–39 (2012)
Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1–26 (1991)
Smith, F., Proietti, M.: Reasoning on data-aware business processes with constraint logic. In: Proceedings of the 4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2014), pp. 60–75 (2014)
Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)
W3C Recommendation: OWL-S Semantic Markup for Web Services (2004). http://www.w3.org/Submissions/OWL-S
Weber, I., Hoffman, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Databases 27, 271–343 (2010)
Wolverton, M., Martin, D.L., Harrison, I.W., Thoméré, J.: A process catalog for workflow generation. In: Proceedings of 7th International Semantic Web Conference, ISWC 2008, pp. 833–846 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Roy, S., Dayan, G.S., Devaraja Holla, V. (2018). Modeling Industrial Business Processes for Querying and Retrieving Using OWL+SWRL. In: Panetto, H., Debruyne, C., Proper, H., Ardagna, C., Roman, D., Meersman, R. (eds) On the Move to Meaningful Internet Systems. OTM 2018 Conferences. OTM 2018. Lecture Notes in Computer Science(), vol 11230. Springer, Cham. https://doi.org/10.1007/978-3-030-02671-4_31
Download citation
DOI: https://doi.org/10.1007/978-3-030-02671-4_31
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02670-7
Online ISBN: 978-3-030-02671-4
eBook Packages: Computer ScienceComputer Science (R0)