FSP Composition Process Attributes

Concurrent Programming

FSP Process Composition Analysis & Design Form

1. FSP Composition Process Attributes

Attribute Value
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.

"Order a similar paper and get 100% plagiarism free, professional written paper now!"

Order Now