Academia.eduAcademia.edu

Outline

Semantic reengineering of business processes

2010, Information Systems

https://doi.org/10.1016/J.IS.2009.06.003

Abstract

This paper discusses transforming ontological models into non-ontological models of business processes, when the process of articulating different data models is known as reengineering domains. As a crucial factor in achieving interoperability and semantic reengineering of the domains with the different levels of semantic representation (expressiveness), we point out the role of foundational ontology that serves to enable global meaning of the process knowledge and that is, in this paper, additionally connected with the process theory (process algebra). The main focus of the process theory is on the system that interacts with one another, such as the business processes, whereas the main idea of semantic reengineering is transforming ontological models into the semantic business processes that can be (semi-)automatically executed via a workflow engine. Therefore, as a promising solution in achieving interoperability between the real enterprise needs and the business process models, we involve the Pi-Calculus as a process theory to provide semantics between the ontological models based on the DOLCE Description and Situation (D&S) Plan and Tasks Ontology (DDPO) and the business process models that are expressed in Business Process Execution Language (BPEL). Information Systems 35 (2010) 496-504 ARTICLE IN PRESS

References (21)

  1. C. Masolo, S. Borgo, A. Gangemi, N. Guarino, Ontology Library, WonderWeb Del. D18, 2004.
  2. J. Nitzsche, D. Wutke, T. Van Lessen, An ontology for executable business processes, in: M. Hepp, K. Hinkelmann, D. Karagiannis, R. Klein, N. Stojanovic (Eds.), Semantic Business Process and Product Lifecycle Management. Proceedings of the Workshop SBPM 2007, Innsbruck, CEUR Workshop Proceedings, ISSN 1613-0073, 2007.
  3. M. Hepp, D. Roman, An Ontology Framework for Semantic Business Process Management, in: Proceedings of the Eighth International Conference Wirtschaftsinformatik, Germany, 2007.
  4. M. Fronk, J. Lemcke, Expressing Semantic Web Service Behavior using Description Logics, in: Proceedings of the ESWC 2006 Workshop on SBPM 2006, Montenegro, 2006.
  5. V. Damjanovic, W. Behrendt, M. Plo ¨ßnig, M. Holzapfel, Developing Ontologies for Collaborative Engineering in Mechatronics, in: Proceedings of the Fourth European Semantic Web Conference, ESWC 2007, Austria, 2007, pp. 190-204.
  6. A. Gangemi, S. Borgo, C. Catenacci, J. Lehmann, Task taxonomies for knowledge content, Metokis Deliverable (2004) D07.
  7. V. Damjanovic, DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes, in: Proceedings of the First International Work- shop on Knowledge Reuse and Re-engineering over the Semantic Web (KRRSW 2008), at ESWC 2008, Tenerife, Canary Islands, 2008.
  8. J. Parrow, An introduction to the Pi-Calculus, in: J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier, Amsterdam, 2001, pp. 479-543.
  9. M. Havey, Essential Business Process Modelling: Best Practices for Building Process-Oriented Workflow Applications, O'Reilly, 2005.
  10. H. Smith, P. Fingar, Workflow is just a Pi Process, 2003. Online. Available at: /http://www.fairdene.com/picalculus/workflow-is- just-a-pi-process.pdfS.
  11. R. Lucchi, M. Mazzara, A Pi-Calculus based semantics for WS-BPEL, Journal of Logic and Algebraic Programming (JLAP) 70 (2006) 96-118.
  12. Web Service Description Language (WSDL) 1.1, W3C Note, 2001. Online. Available at: /http://www.w3.org/TR/wsdlS.
  13. Business Process Execution Language for Web Services, ver. 1.1. 2003. Online. Available at: /http://download.boulder.ibm.com/ ibmdl/pub/software/dw/specs/ws-bpel/ws-bpel.pdfS.
  14. J. Miller, J. Mukerji: MDA Guide Version 1.0.1, OMG Document, 2003. Online. Available at: /www.omg.org/docs/omg/03-06-01. pdfS.
  15. ATLAS Group, ATL User Manual, 2006.
  16. OMG MOF V13: Meta-Object Facility (MOF) Specification, March 2000.
  17. V. Damjanovic, M. Plo ¨ssnig, Bridging the gap between different levels of business process modelling, in: Proceedings of the International Conference on Collaborative Mechatronic Engineer- ing, ICCME 2009, Salzburg, Austria, May 25-26, 2009.
  18. B. Blanchet, A. Chaudhuri, Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage, in: IEEE Symposium on Security and Privacy, USA, 2008, pp. 417-431.
  19. BPEL4WS, A convergence path toward a standard BPM Stack, BPMI.org Position Paper, 2002.
  20. R. Aviv, W. Silverman, E.Y. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, Pacific Symposium on Biocomputing 1 (2001) 459-470.
  21. E. Brinksma, International Standard ISO 8807:1989, Information processing systems-Open Systems Interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behaviour.