Common Process Assistant (CPA)

The CPA is a prolog-based tool for analysing process knowledge. CPE and CDE communicate with the tool via a defined socket-based protocol. Currently, it can evaluate temporal relationships by mapping the timepoint-based representation into an interval logic and reasoning about legal transitive interval relationships.

Running CPA

CPA can be executed from a command prompt in the installed directory: "./cpa" once a SICStus prolog interpreter has been installed. See the "{target dir}/docs/papers/" directory for the CPE or CDE users guide which provides detailed information for interfacing with the CPA. While the CPA is running it simple awaits commands on a specified port (see figure 1). Diagnosed errors with explanations are sent back to the tools for user browsing. To stop CPA, enter (Control-C) and then "e" to end.


Figure 1 - The Common Process Assistant

Requirements

The CPA is written in prolog and requires a prolog interpreter for execution. Currently we are using SICStus Release 3 #5. The CPA server uses modules for socket communication and list processing. See http://www.sics.se/isl/sicstus.html for obtaining a copy of SICStus.

Source code

cpa-1.0-source.tar.gz

CPF Home Page | Email Author

Last updated 7 October 1998
by Steve Polyak