Verification of Business Processes for a Correspondence Handling Center Using CCS

In this research paper we develop a translation of business processes given in the process interchange format (PIF) to the calculus of communicating systems (CCS). Then we show how to verify properties such as deadlocks, livelocks, safety- and liveness properties. We demonstrate our results using examples taken from a scenario in work distribution in Correspondence Handling Centres.