A hybrid approach for business process verification

IFIP Advances in Information and Communication Technology

Volumn 254, Issue , 2007, Pages

  Li, Bing ^a   Iijima, Junichi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

Business process verification; Situation calculus; XPDL

Indexed keywords

CALCULATIONS; ENTERPRISE RESOURCE MANAGEMENT; INFORMATION USE; MANAGEMENT INFORMATION SYSTEMS;

BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT SYSTEMS; FORMAL MODEL; HYBRID APPROACH; ORDER FULFILLMENT PROCESS; SITUATION CALCULUS; XPDL;

INFORMATION SYSTEMS;

EID: 84930965497     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (12)

1. M. Weske, W. M. P. Van Der Aalst, and H. M. W. Verbeek, Advances in business process management, Data & Knowledge Engineering. Volume 50, pp. 1-8, (2004).
2. S. Mukheljee, H. Davulcu, M. Kifer, P. Senkul, and G. Yang, Logic Based Approaches to Workflow Modeling and Verification, Logics Jor Emerging Applications of Databases (Springer, 2003).
3. G. K. Janssens, I. Vereist, and B. Weyn, Techniques for Modeling Workflows and Their Support of Rcuse, in Business Process Management, LNCSI806 (Springer, 2000), pp. 1-15.
4. M. Koubarakisa, and D. Plexousakis, A formal framework for business process modeling and design, Infomation Systems. Volume 27, (2002), pp. 299-319.
5. B. Li, and J. Iijima, Bridging The Gap Between XPDL And Situation Calculus: A Hybrid Approach For Business Process Verification, in Prac. of the 5th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems-MSVVEIS 2007 (INSTICC, 2007), pp. 151-156.
6. B. Li, and I. Iijima, Formal Verification of XPDL-based Business Process Defmition, The International. fournal of Business Process Integration and Management (submitted, 2007).
7. M. Havey, Essential Business Process Modeling, 1st edition (O'Reilly: 2005).
8. OMG, Business Process Modeling Notation Specification (2006).
9. WfMC, Process Definition Intetface-XML Pracess Definition Language, Version 2. 0 (2005).
10. W. M. P. Van Der Aalst, and A. H. M. Ter Hofsede, Verification of Workflow Task Structures: A Petri-Net-Based Approach, Information Systems. Volume 25, Number 1, pp. 43-69, (2000).
11. R. Reiter, Knowledge in Action: Logical Foundations Jor Specijj; ing and Implementing Dynamical Systems (MIT Press: Massachusetts, 2001).
12. R. Brachman and H. Levesque, Knowledge Representation and Reasoning (Morgan Kaufinann, 2004).