Concurrent Programming
FSP Process Composition Analysis & Design Form
1. FSP Composition Process Attributes
| Attribute | Value |
| Name | |
| Description | |
| Alphabet (Use LTSA’s compressed notation, if alphabet is large.) | |
| Sub-processes (List them.) | |
| Number of States | |
| Deadlocks (yes/no) | |
| Deadlock Trace(s) (If applicable) |
2. FSP “main” Program Code
The code for the parallel composition of all of the sub-processes and the definitions of any constants, ranges & process labelling sets used. (Do not include the code for the other sub-processes.)
| FSP Program: |
3. Combined Sub-processes
(Add rows as necessary.)
| Process | Description |
4. Analysis of Combined Process Actions
- Synchronous actions are performed by at least two sub-process in the combination.
- BlockedSynchronous actions cannot be performed, since at least one of the sub-processes cannot preform them, because they were added to their alphabet using alphabet extension.
- Asynchronous actions are preformed independently by a single sub-process.
Group actions together if appropriate, for example if they include indexes,
e.g. in[0], in[1], …, in[5] as in[1..5].
(Add rows as necessary.)
| Synchronous Actions | Synchronised by Sub-Processes (List) |
| Sub-Process | Asynchronous Actions (List) |
5. Parallel Composition Structure Diagram
The structure diagram for the parallel composition.