eiffel-community / eiffel

The Eiffel framework vocabulary, descriptions, guides and schemas along with links to relevant implementation repositories.
Apache License 2.0
122 stars 59 forks source link

CLM does not have a good way to point out the reason for the confidence level change. #323

Closed m-linner-ericsson closed 1 year ago

m-linner-ericsson commented 2 years ago

Description

Today the CLM does not have any link to explain the basis for the confidence level change. You could use the CONTEXT link but that only allows you to denote ActT or TSS as the basis for the confidence level change and it cannot point to a TCT.

A new link to describe this relationship helps make the protocol clearer.

Motivation

Introducing a new link would describe this relation without assuming the information from the CONTEXT link.

Exemplification

Today we would need to use a CAUSE link as see in the following example.

image

Benefits

Possibility to explicitly describe the basis for the confidence level change and allow for the CLM to point to a TCT as the reason for the confidence level change.

Possible Drawbacks

None that I can think of

m-linner-ericsson commented 2 years ago

The link could be called CONFIDENCE_BASIS

e-backmark-ericsson commented 2 years ago

Sounds like a valid proposal. I believe this new link type should be optional, it should be fine to have multiple such links from one CLM event and their legal targets should be TCF and TSF I think.

magnusbaeck commented 2 years ago

What problem are we trying to address here? Using CAUSE and CONTEXT together? Or do you think CAUSE is the wrong link type altogether?

e-backmark-ericsson commented 2 years ago

The CAUSE link type is not good enough for to describe this relationship. CAUSE represents the causal relationship between events. If a consumer wants to know what input a certain confidence level setting had, the CAUSE link might not be able to provide that. It could of course be that case that an organization decides to limit the CAUSE link target options to always be for example TCF or TSF, and thereby it will be obvious that those test activities where used as input to that decision. But the protocol allows for any event type to be used as target for a CAUSE link, so a generic consumer cannot make such assumptions. For clarity there should therefore be a dedicated link type to use for declaring the decision basis for a confidence level. I'd say that the CONFIDENCE_BASIS link type should have TCT, and maybe also TSS, as valid targets. Or maybe TCF and TSF.

magnusbaeck commented 1 year ago

Comments from the 2023-01-19 protocol workshop: