Quick Start

A quick overview of some of the features is described in the following tasks:

Create

• Click on the

  

  Create Process icon.
• Double click on the process box labelled P1 to rename the process.
• Double click on one of the edges (initially labelled X) to rename the corresponding resource.
• Double click on one of the small, resource circles to add a new branch.
• Right-click on one of the small, resource circles to add a branch of different type (from parallel to optional and vice-versa) or to delete a branch.

Compose

• Open a new workspace with the

  

  Create Workspace icon.
• Double click on a process in the Processes list on the left to add its graph to the workspace.
• Compose processes in sequence by selecting (clicking) an output resource (edge or circle) and then right-clicking an input resource with the same name belonging to a different process.
• Compose processes in parallel by selecting (clicking) a process box then right-clicking another process box.
• Compose processes conditionally by selecting (clicking) an input resource (edge or circle) and then right-clicking another input resource belonging to different process.
• Right click on a process box and select

  

  Store Composition to collapse and *store a composite proces*s as a reusable composite component under a new name.

Edit & Verify

• Right click on a process in the Processes list on the left.
• Select

  

  Edit Process to change the specification of an atomic process.
• Select

  

  Delete Process to delete a process.
• Changing or deleting a process specification affects all composite processes that depend on it. These become unverified:

  

  .
• Right click on an unverified process and select

  

  Verify Process&Parents to rerun and verify the composition.