Architecture on a hybrid Business Process Design and Verification System

2007 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2007

Volumn , Issue , 2007, Pages 6199-6204

  Li, Bing ^a   Iijima, Junichi ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

BPDVS; Situation calculus; XPDL

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SYSTEMS; VERIFICATION;

BUSINESS PROCESS MANAGEMENT SYSTEMS (BPMS); PROCESS DESCRIPTION LANGUAGES; VERIFICATION SYSTEMS;

PROCESS DESIGN;

EID: 38049085697     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WICOM.2007.1520     Document Type: Conference Paper

References (12)

1. W. M. P. Van Der Aalst, A. H. M. Ter Hofstede, and M. Weske, "Business Process Management: A Survey", BPM 2003, LNCS 2678, Springer pp. 1-12.
2. M. Havey, Essential Business Process Modeling, First Edition, O'Reilly, 2005.
3. G. K. Janssens, J. Vereist, and B. Weyn, "Techniques for Modelling Workflows and Their Support of Reuse", Business Process Management, LNCS1806, pp.1-15, Springer 2000.
4. M. Koubarakisa, and D. Plexousakis, "A formal framework for business process modelling and design", Information Systems 27 (2002), pp. 299-319.
5. J. Iijima, "Formal Approach for Business Process Modeling", Proceeding of National Conference of Japan Society for Management Information, pp.151-154, Autumn 1999.
6. B. Li, and J. Iijima, "Formal Verification of XPDL-based Business Process Definition", Submitted to International Journal of Business Process Integration and Management, 2007.
7. B. Li, and J. Iijima, "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.
8. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, 2001.
9. "Business Process Modeling Notation Specification", OMG Final Adopted Specification, February 2006.
10. "Business Process Execution Language for Web Services", Version 1.1, May 5, 2003.
11. "Process Definition Interface - XML Process Definition Language", Document Number WFMC-TC-1025, Version 2.00, October 3, 2005.
12. M. Moitraa, and J. Ganesh, "Web services and flexible business processes: towards the adaptive enterprise", Information & Management 42, pp.921-933, 2005