DocumentCode
2608998
Title
Verifying Business Process Compatibility (Short Paper)
Author
Wong, Peter Y H ; Gibbons, Jeremy
Author_Institution
Comput. Lab., Oxford Univ., Oxford
fYear
2008
fDate
12-13 Aug. 2008
Firstpage
126
Lastpage
131
Abstract
We describe a process-algebraic approach to verifying process interactions for business collaboration described in business process modelling notation. We first overview our process semantics for BPMN in the language of communicating sequential processes; we then use a simple example of business collaboration to demonstrate how our semantic model may be used to verify compatibility between business participants in a collaboration.
Keywords
business data processing; groupware; process algebra; program verification; business collaboration; business process compatibility; business process modelling notation; process-algebraic approach; sequential process; Business communication; Collaborative software; Collaborative work; Communication system control; Functional programming; International collaboration; Laboratories; Prototypes; Software quality; Unified modeling language; CSP; business process modelling; compatibility verification; model checking; refinement;
fLanguage
English
Publisher
ieee
Conference_Titel
Quality Software, 2008. QSIC '08. The Eighth International Conference on
Conference_Location
Oxford
ISSN
1550-6002
Print_ISBN
978-0-7695-3312-4
Type
conf
DOI
10.1109/QSIC.2008.6
Filename
4601536
Link To Document