Information Technology Reference
In-Depth Information
In \raw" development we just develop! | without any consideration to resources
at hand, in particular: whether sustainable or not! Two developments with ex-
actly, if that was ever possible, resources need not yield the same resulting re-
sources.
The above expresses that there is an abstract type, a sort, named R, which
stands for all resources, and that there is some further unspecied, ie. \grossly"
underspecied function (hence partial
), D 0 , from sequences of resources into
!
sequences ( ) of resources.
4.2 Resources
Resources \fall" in (\main") categories (C):
Examples 1 Land, Monies, Minerals, Crops, People, etc.
Each category (has a name and) designates a set of resources possessing same
attributes (A):
Examples 2 Land: quality, area, location, cost, ...; Monies: kind, currency,
amount, ...; ...; People: profession, quality, quantity, ...; etc.
Each category and attribute (pair) designates a value class (VAL):
Examples 3 (l:Land,a:Area): from one acre to maybe 20,000 acres; (p:People,
a:Amount): from one to perhaps 2,000; etc.
type
C, A, VAL
value
obs RC: R
!
C
obs CRs: C
!
R -set
obs RAs: R
!
A -set
A
obs RAV: R
!
VAL
obs AVs : A
!
VAL -infset
axiom
8
r,r 0 :R
c:C 8
r,r 0 g
obs RAs(r) = obs RAs(r 0 )
f
obs CRs(c)
)
obs RC(r) = obs RC(r 0 )=c
^
^:::
The above RSL notation expresses that there are further algebraic sorts: cate-
gories, attributed and values, and that there are some further unspecied ob-
server functions.
Each resource \belongs" to one main category (obs RC). 3 Each resource re-
lates to a set ( -set ) of attributes (obs RAs). Any given resource may or may not
have a value for a given attribute (obs RAV).
3 We could postulate another category-observer function (obs RCs, not shown) which
to resources associated \related" categories, such that, for example two dierent
resources of the same main category associated to not necessarily the same set of
\related" categories.
 
Search WWH ::




Custom Search