5.Description Examples

4. Top goals are established in the context of dependability requirements, environment information and definitions.

Dependability requirements, environment information and definitions are established as top goals to further clarify the scope of the system.In the following example　SLA(Service Level Agreement) are equivalent to dependability requirements. 　



5. Grasp the structure of the D-Case

It is tedious work to devide top goals into corresponding sub-goals.So we recommend that you a grasp the structure of the D-Case and then argue accordingly.Fig.9 illustrates the structure of a D-Case roughly and we can use this to strengthen our discussions.



6. Required documents are established as contexts.

We require documents that explain the workflow if we are to discuss the operations workflow in detail.

7. Create a D-Case subtree from documents

We can use the structure of a document to automatically define and expand top goals into subgoals.In the following example (Fig.10) the D-Case top goals are exapanded according to the steps in the workflow document.(Note: only the first and the last step is expanded)