An ontological approach to business process modeling

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, IICAI 2007

Volumn , Issue , 2007, Pages 1794-1813

  De Nicola, Antonio ^a   Lezoche, Mario ^a   Missikoff, Michele ^a  

^a CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT LANGUAGES; APPLICATION LOGIC; APPLICATION SOFTWARES; BUSINESS PROCESS; BUSINESS PROCESS MODELING; DECLARATIVE SEMANTICS; FORMAL REPRESENTATIONS; FORMAL SEMANTICS; MODELLING METHOD; ONTOLOGICAL APPROACH; ONTOLOGICAL FRAMEWORKS; PROCEDURAL SEMANTICS;

ARTIFICIAL INTELLIGENCE; INFORMATION SERVICES; ONTOLOGY; SERVICE ORIENTED ARCHITECTURE (SOA); SYSTEMS ENGINEERING;

SEMANTICS;

EID: 58049102589     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. Unified Modeling Language: Superstructure version 2.1.1. (http://www.omg.org/docs/formal/07-02-03.pdf)
2. G. Engels, A. Förster, R. Heckel, S. Thöne. Process Modeling Using UML. In "Process-Aware Information Systems". Edited by M. Dumas, W. van der AAlst, A.H.M ter Hofstede. WILEY-INTERSCIENCE, Pages 85-117, (2005).
3. A.-W. Scheer, O. Thomas, O. Adam. Process Modeling Using Event-Driven Process Chains. In "Process-Aware Information Systems". Edited by M. Dumas, W. van der AAlst, A.H.M ter Hofstede. WILEY-INTERSCIENCE, Pages 119-145, (2005).
4. B. F. van Dongen, W. M. P. van der Aalst, H. M. W. Verbeek. Verification of EPCs: Using Reduction Rules and Petri Nets. CAiSE 2005: 372-386
5. IDEF Function Modeling Method. [http://www.idef.com/IDEF0.html]
6. IDEF Process Description Capture Method. [http://www.idef.com/IDEF3.html]
7. Object Management Group. Business Process Modeling Notation Specification. Version 1.0. February 2006 [www.bpmn.org/Documents/ OMG%20Final%20Adopted%20BPMN%2010%20Spec%2006-02-01.pdf]
8. J. Mendling, M. zur Muehlen, A. Price. Standards for Workflow Definition and Execution. In "Process-Aware Information Systems". Edited by M. Dumas, W. van der AAlst, A.H.M ter Hofstede. WILEY-INTERSCIENCE, Pages 281-316, (2005).
9. R. Khalaf, N. Mukhi, F. Curbera, and S. Weerawarana. The Business Process Execution Language for Web Services. In "Process-Aware Information Systems". Edited by M. Dumas, W. van der AAlst, A.H.M ter Hofstede. WILEYINTERSCIENCE, Pages 317-342, (2005).
10. IBM Inc., Microsoft Corp., BEA Inc., SAP AG, and Siebel Systems Inc. The Business Process Execution Language for Web Services, version 1.1, May 2003. [http://www-128.ibm.com/developerworks/library/specification/ws-bpel]
11. WFMC. Process Definition Interface - XML Process Definition Language, version 2.00, October 2005. [http://www.wfmc.org/standards/docs/TC-1025-xpdl-2- 2005-10-03.pdf]
12. M. R. Genesereth, R. E. Fikes (Editors). Knowledge Interchange Format, Version 3.0 Reference Manual. Computer Science Department, Stanford University, Technical Report Logic-92-1, June 1992.
13. Bock, C., Gruninger, M., "PSL: A Semantic Domain for Flow Models," Software and Systems Modeling Journal, 2005.
14. IBM, SAP AG. WS-BPEL Extension for People-BPEL4People. Whitepaper. [http://www.ibm.com/developerworks/webservices/library/specification/ wsbpel4people/], 2005.
15. D. Roman, U. Keller, H. Lausen, J. de Bruijn, R. Lara, M. Stollberg, A. Polleres, C. Feier, C. Bussler, and D. Fensel: Web Service Modeling Ontology, Applied Ontology, 1(1): 77-106, 2005.
16. P. Rajasekaran, J. Miller, K. Verma, A. Sheth, Enhancing Web Services Description and Discovery to Facilitate Composition, International Workshop on Semantic Web Services and Web Process Composition, 2004 (Proceedings of SWSWPC 2004).
17. The OWL Services Coalition. OWL-S: Semantic Markup for Web Services. http://www.daml.org/services/owl-s/1.0/owl-s.pdf.
18. Gruninger Michael, Schlenoff Craig, "Process Specification Language (PSL): results of the first pilot implementation", Proceedings of IMECE: International Mechanical Engineering Congress and Exposition, pp 1-10, 1999.
19. Schlenoff Craig, Ivester Rob, Knutilla Amy: "A robust process ontology for manunfacturing system integration", NIST, 1998.
20. Schlenoff Craig, Gruninger Michael, et al "The Process Specification Language (PSL) Overview and Version 1.0 Specification", NIST, 2000
21. Robin Milner: Communicating and Mobile Systems: the Pi-Calculus, Cambridge Univ. Press, 1999, ISBN 0-521-65869-1
22. Robin Milner: The Polyadic π-Calculus: A Tutorial. Logic and Algebra of Specification, 1993.
23. Davide Sangiorgi and David Walker: The Pi-calculus: A Theory of Mobile Processes, Cambridge University Press, ISBN 0-521-78177-9
24. Peterson, James L. (1977). "Petri Nets". ACM Computing Surveys 9 (3): 223-252.
25. Peterson, James Lyle. Petri Net Theory and the Modeling of Systems. Prentice Hall. ISBN 0-13-661983-5.
26. Petri, Carl A. (1962). "Kommunikation mit Automaten". Ph. D. Thesis. University of Bonn.
27. Workflow Management Coalition (WfMC). [http://www.wfmc.org/]
28. OASIS. Reference Model for Service Oriented Architecture 1.0 (Committee Specification) www.oasis-open.org/committees/download.php/19679/soa-rm-cs.pdf. (2006).
29. F. D'Antonio, M. Missikoff, F. Taglino. Formalizing the OPAL eBusiness ontology design patterns with OWL. Third International Conference on Interoperability for Enterprise Applications and Software, I-ESA 2007.
30. G. Antoniou, F. van Harmelen. Web ontology language: Owl. In Handbook on Ontologies. (S. Staab and R. Studer, ed.), Springer, pages 67-92, 2004.
31. W3C. Web Service Semantics - WSDL-S. [http://www.w3.org/Submission/WSDL- S, 2005.]