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

5.3 Resource Mappings

We need establish mappings between real resources and their representors.

type
RRRM 0 =RR m R

rrrm:RRRM 0 dom rrrm = RRS RRRM = fj rrrm j jg

IRRRM 0 =R

m RR -set

irrrm:IRRRM 0 [

IRRRM = fj irrrm j rng irrrm RRS jg

RMs 0 = RRRM

IRRRM

RMs = fj j

(rrrm,irrrm):RMs 0 8

(rrrm,irrrm)

rr:RR rr 2 dom rrrm

) rrrm(rr) 2 dom irrrm ^ rrrm(rr) 2 irrrm(rrrm(rr)) jg

The fj a j a:A P(a) jg expression denes a sub-type of A , namely all those a of

A that satisfy P(a) . The prex [ denotes distributed set union | since, in this

case, rng irrrm yields a set of sets.

Requirements Capture 2 Hence the decision support system for sustainable
development must provide a repository (a data base) for these mapping as well
as appropriate functions, for example for initializing RMs, for inserting new,
and for displaying, searching, sorting, updating, deleting existing map entries.

5.4 Resource Names and Resource Representations

Resources are clustered in categories and maps between representors of real
resources and their (non-unique) denotations must be established:

type
Resource Clusters = C m Rn -set

RR R Mapping = txt:Q RRRM

R RR Relation = txt:Q IRRRM

Resource Info = Resource Clusters RR R Mapping R RR Relation

Requirements Capture 3 Hence the decision support system for decision sup-
port must provide a repository (a data base) for Resource Info as well as appro-
priate functions, for example for initializing Resource Info, for inserting new,
and for displaying, searching, sorting, updating, deleting existing category and
resource representor to \actual" resource mapping entries.

5.5 Resource Attributes, Values and Indicators

Werefertosections5.1and4.4.
For each resource category we must identify all relevant attributes, (Clus-
ter Atrs) and for each specic resource (identied by its name) and attribute
the (Sustainability) indicators (Resource Inds).