Bridging the gap between XPDL and situation calculus: A hybrid approach for business process verification

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007

Volumn , Issue , 2007, Pages 151-156

  Li, Bing ^a   Iijima, Junichi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; FUNCTIONS; GALLIUM ALLOYS; INDUSTRIAL APPLICATIONS; TECHNICAL PRESENTATIONS;

BUSINESS PROCESSES; FORMAL MODELS; FORMAL SPECIFICATIONS; HYBRID APPROACHES; PROCESS MODELS; SITUATION CALCULUSES;

INFORMATION SYSTEMS;

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

References (13)

1. st edition (2005)
2. Marinescu, D.C.: Internet-Based Workflow Management: Towards a Semantic Web. Wiley-Interscience, New York (2002)
3. Van Der Aalst, W.M.P., Ter Hofsede, A.H.M.: Verification Of Workflow Task Structures: A Petri-Net-Based Approach. Information System, Vol. 25, No. 1, 43-69 (2000)
4. Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. BPM 2003, LNCS 2678. Springer (2003) 1-12
5. Schumann, J. M.: Automated theorem proving in software engineering. Springer (2001)
6. Reijers, H.A.: Design and Control of Workflow Processes: Business Process Management for the Service Industry. LNCS 2617, Springer (2003)
7. Janssens, G.K., Verelst, J. and Weyn, B.: Techniques for Modelling Workflows and Their Support of Reuse. Business Process Management, LNCS1806, Springer (2000) 1-15
8. Mukherjee, S., Davulcu, H., Kifer, M., Senkul, P. and Yang, G.: Logic Based Approaches to Workflow Modelling and Verification. Logics for Emerging Applications of Databases, Springer (2003)
9. Koubarakisa, M., Plexousakis, D.: A formal framework for business process modelling and design. Information Systems 27 (2002) 299-319
10. Iijima, J.: Formal Approach for Business Process Modeling. Proceedings of National Conference of Japan Society for Management Information (1999) 151-154
11. WfMC: Process Definition Interface - XML Process Definition Language. WFMC-TC-1025, Version 2.0 (2005)
12. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)
13. Li, B., Iijima, J.: Formal Verification of XPDL-based Business Process Definition. Submitted to the International Journal of Business Process Integration and Management (2007)