Rule-based behavioral reasoning on semantic business processes

ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence

Volumn 2, Issue , 2013, Pages 130-143

  Smith, Fabrizio ^a   Proietti, Maurizio ^a  

^a CNR   (Italy)

Author keywords

Business processes; Ontologies; Rule based reasoning; Verification

Indexed keywords

BEHAVIORAL REASONING; BUSINESS PROCESS; GRAPHICAL NOTATION; ONTOLOGY LANGUAGE; PROCEDURAL SEMANTICS; PROCESS KNOWLEDGE; RULE BASED REASONING; STATE TRANSITION SYSTEMS;

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING; ONTOLOGY; VERIFICATION;

SEMANTICS;

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

References (28)

1. Battle, S., et al. (2005). Semantic Web Services Ontology. http://www.w3.org/Submission/SWSF-SWSO.
2. Burstein, M., et al. (2004). OWL-S: Semantic Markup for Web Services. W3C Member Submission, http://www.w3.org/Submission/OWL-S/.
3. Chen, W. and Warren, D. S. (1996). Tabled Evaluation with Delaying for General Logic Programs. JACM, 43:20-74.
4. Clarke, E. M., Grumberg, O., and Peled, D. A. (1999). Model Checking. The MIT Press.
5. Dijkman, R. M., Dumas, M., and Ouyang, C. (2008). Semantics and Analysis of Business Process Models in BPMN. Inf. Softw. Technol., 50:1281-1294.
6. Fensel, D., et al. (2006). Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer.
7. Francescomarino, C. D., Ghidini, C., Rospocher, M., Serafini, L., and Tonella, P. (2009). Semantically-Aided Business Process Modeling. In Int. Semantic Web Conference, LNCS 5823, pages 114-129. Springer.
8. Fu, X., Bultan, T., and Su, J. (2004). Analysis of Interacting BPEL Web Services. In Int. Conf. on World Wide Web, pages 621-630. ACM Press.
9. Hepp, M., et al. (2005). Semantic Business Process Management: A Vision Towards Using Semantic Web Services for Business Process Management. In Int. Conf. on e-Business Engineering. IEEE Computer Society.
10. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P. F., and Rudolph, S. (2009). OWL 2 Web Ontology Language. W3C Recommendation, http://www.w3.org/TR/owl2-primer/.
11. Kindler, E. (2006). On the Semantics of EPCs: Resolving the Vicious Circle. Data Knowl. Eng., 56(1):23-40.
12. Lin, Y. (2008). Semantic Annotation for Process Models: Facilitating Process Knowledge Management via Semantic Interoperability. PhD thesis, Norwegian University of Science and Technology.
13. Liu, Y., Müller, S., and Xu, K. (2007). A Static Compliance-Checking Framework for Business Process Models. IBM Syst. J., 46:335-361.
14. Lloyd, J. W. (1987). Foundations of logic programming. Springer-Verlag New York, Inc.
15. Montali, M., Pesic, M., Aalst, W. M. P. v. d., Chesani, F., Mello, P., and Storari, S. (2010). Declarative Specification and Verification of Service Choreographies. ACM Trans. Web, 4(1):3:1-3:62.
16. Narayanan, S. and McIlraith, S. (2003). Analysis and Simulation of Web services. Comp. Networks, 42:675-693.
17. Nilsson, U. and Lübcke, J. (2000). Constraint Logic Programming for Local and Symbolic Model-checking. In Computational Logic, LNAI 1861. Springer.
18. OMG (2011). Business Process Model and Notation. http://www.omg.org/spec/ BPMN/2.0.
19. Przymusinski, T. C. (1988). On the Declarative Semantics of Deductive Databases and Logic Programs. In Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers Inc.
20. Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press.
21. Roman, D. and Kifer, M. (2008). Semantic Web Service Choreography: Contracting and Enactment. In Int. Semantic Web Conference, LNCS 5318, pages 550-566. Springer.
22. Smith, F., Missikoff, M., and Proietti, M. (2012). Ontology-Based Querying of Composite Services. In Business System Management and Engineering, LNCS 7350, pages 159-780. Springer.
23. Sohrabi, S., Prokoshyna, N., and McIlraith, S. A. (2009). Web Service Composition via the Customization of Golog Programs with User Preferences. In Conceptual Modeling: Foundations and Applications, pages 319-334. Springer.
24. ter Hofstede, A. M., van der Aalst, W. M. P., Adams, M., and Russell, N., editors (2010). Modern Business Process Automation: YAWL and its Support Environment. Springer.
25. Thielscher, M. (1998). Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell., 2:179-192.
26. van der Aalst, W. M. P. (1998). The Application of Petri Nets to Workflow Management. J. Circuits, Systems, and Computers, 8(1):21-66.
27. Völzer, H. (2010). A New Semantics for the Inclusive Converging Gateway in Safe Processes. In Int. Conf. on Business Process Management, LNCS 6336, pages 294-309, Berlin, Heidelberg. Springer.
28. Weber, I., Hoffmann, J., and Mendling, J. (2010). Beyond Soundness: On the Verification of Semantic Business Process Models. Distrib. Parallel Dat., 27:271-343.