| Task | Planned Completion Date |
|---|---|
| Identify definition(s) of composability and provide a list of the technical challenges associated with composability | 6 Nov 99 |
| Examine composability problem with respect to computability theory. Where undecidability issues exist, attempt to describe restrictions on composition that alleviate them | 1 Jan 99 |
| Identify notations and methods for composable systems specification and analysis | 1 Mar 99 |
| Describe the relationship between composability and broader family of systems objectives through the Objectives/Principles/Attributes (OPA) methodology and the analytic hierarchy process. | 1 May 99 |
| Describe a first-order theory of composable systems in terms of axioms, design heuristics and inference rules for analysis | 1 Jul 99 |
| Evaluate the theory through application to OneSAF architectural products | 1 Sept 99 |
Note: tasks subject to modification per sponsor guidance