A Triptych Software Development Paradigm - Correct System Design: Recent Insights and Advances - page 40

With this follows that we redene:

type
RRAIS = RR

m (A m (I I))

RRAIS)

!

E = (RRAIS Fuzzy

Etcetera.

5.2 Problem Synopsis

We refer to section 4.1. The problem synopsis | in a \gross" way, to be detailed
(detail-resolved) by subsequent actions | identies (including names) the major
(initially \raw") resources and development functions. Text stands for text that
explains the pragmatics of whatever is being represented.

type
Q =

Resources = Q

= text

m (Q

(Rn RR))

(C C ))

DevtFct = (Q

DevtFuncts = Q (Dn m DevtFct)

Synopsis = Q Resources DevtFuncts

Location
value
obs RLoc: RR ! Location

obs RLoc is an observer function which to every resource representation asso-
ciates its physical Location. Observe that only now did we actually use the notion
of a resource category (c:C). When we, earlier, dealt with \real" resources there
basically was no need to introduce categories of resources. Now that we work
(mostly) with representations of resources, then we must introduce that type
notion.
The overall problem synopsis is informally described ( Text ). Each resource
and development function is named (Rn, Dn) and explained ( Text ), and, for the
development functions, a \type"-denition of the function is given in terms of
the resource categories involved. Resources themselves are, of course, not present
in the decision support system for sustainable development \machinery": only
representors (RR) which further locates the resources (etc.).

Requirements Capture 1 Hence the decision support system for sustainable
development must provide a repository (a data base) for `Synopsis' as well as
appropriate functions, for example for initializing PS, for inserting new, and for
displaying, searching, sorting, updating, deleting existing resource representor
and development function entries.