rnc for robustness_properties

[Peter Dobcsanyi]

On Mon, Aug 04, 2003 at 11:56:28AM -0400, John P. Morgan wrote:
> Below is a proposal for the rnc element robustness_properties. Please
> criticize as needed. Thanks.

That is OK with me if you think it is needed.

On a general note, I think we should not refuse additions (the more is
the merrier :-) even during the debate, provided the following three
conditions are met:

    - general consensus that we need it
    - the proposer provides the relevant RNC definition
    - the proposer provides the corresponding documentation 

The last two conditions up to "just cut and paste" for an outsider and
"do it yourself" for developers with accounts on DTRS.
Note, implementation is not a requirement, although is welcome.


Some minor things with this particular proposal:

> robust_connected = element robust_connected {
>     attribute category_lost { "plots" | "blocks" } ,
>     attribute number_lost { xsd:positiveInteger } ,
>     attribute is_max { "true" | "unknown" }
> }

Because of some obscure XML technical reasons, I prefer, at least for
the time being, to keep connection with XML logical type so the last
attribute should look like:

    attribute is_max { xsd:boolean | "unknown" }

Specify the semantics in the doc. That might change later.

> robustness_value = element robustness_value { 
>     # self_efficiency =       (value of the criterion for the full design)/
>     #                          (value for the reduced design)
>     # absolute_efficiency =   (value for best in reduced binary class)/
>     #                          (value for the reduced design)
>     # calculated_efficiency = (value for best in selected list of designs)/
>     #                          (value for the reduced design)
>     attribute self_efficiency   { xsd:decimal }  ,
>     attribute absolute_efficiency   { xsd:decimal | "not_applicable" | "unknown" 
> } ? ,
>     attribute calculated_efficiency { xsd:decimal } ?
> }

That looks to me "indicators" like structure; may I suggest arbitrary
order between the two optional elements absolute_ and
calculated_efficiency replacing ',' with '&'.

--             ,
    Peter Dobcsanyi