next up previous
Next: Rule II Up: Composition rules and KL-structures Previous: Rule I

Instantiated decomposition methods

An instantiated decomposition method (IDM) uses a generic task decomposition method to coordinate the activities of a set of instantiated methods, in order to carry out a particular composite task. It is a KL-structure constituted by a task decomposition method and a (possibly empty) set of instantiated methods that carry out some of its subtasks. It establishes data and control flow relationships between its constituent instantiated methods.