Filter only applicable safety mechanisms in dynamic constraint/OCL

medini_1063023713

Hello,

I have created a dynamic constraint that checks whether:

- all safety mechanisms from valid measure catalogs (in my case: Internal Safety Mechanisms and External Safety Mechanisms) are allocated to at least one failure mode in the FMEDA

- no safety mechanism from invalid measure catalogs (any other safety mechanism-related measure catalog) are allocated to a failure mode in any FMEDA

('Safety mechanisms' from the measure catalog 'Rationales' (in my case used as Rationale element) are ignored in this dynamic constraint because I have other dynamic constraints that check whether rationales have to be given or not, e.g., if the failure mode classification is 'safe')

The dynamic constraint works fine but the problem that I have is that sometimes, some safety mechanisms have been allocated once and then de-allocated (unticked). If failure modes are allocated with deselected invalid/obsolete safety mechanisms, I don't want to report this. 

Therefore my question, how to adapt this dynamic constraint so that it does only report issues if the invalid safety mechanisms are actually allocated to failure modes (ticked). In other word,what is the corresponding command in OCL that works in JS with if (self.allSpfSafetyMechanismsApplicable){
var tmp_sm_ref=self.element.spfSafetyMechanisms;}
else {tmp_sm_ref=self.spfSafetyMechanisms;
}

Dynamic constraint:

inv:

let

-- 1. Pre-calculate the container name (for readability and efficiency)

containerName : String = self.mediniGetContainer().oclAsType(safety::MeasureCatalog).name,

FMEDAName : String = self.mediniGetOpposites(null)->select(entry|entry.oclIsKindOf(safety::FailureMode))->collect(entry|entry.oclAsType(safety::FailureMode).mediniGetOpposites('element'))->flatten() ->select(entry|entry.oclIsKindOf(dc::DCFailureModeEntry))->collect(entry|entry.oclAsType(dc::DCFailureModeEntry).component.worksheet)->asSet()->collect(worksheet | worksheet.name) ->asSet()

in

let

-- 2. Pre-calculate the set of DCFailureModeEntry (for readability and efficiency)

dcFailureEntries : Set(dc::DCFailureModeEntry) =

self.mediniGetOpposites(null)->select(entry|entry.oclIsKindOf(safety::FailureMode))

->collect(entry|entry.oclAsType(safety::FailureMode).mediniGetOpposites('element'))

->flatten()

->select(entry|entry.oclIsKindOf(dc::DCFailureModeEntry))

->collect(entry|entry.oclAsType(dc::DCFailureModeEntry))

->asSet()

in

-- 3. Evaluate the conditional logic for the invariant

if containerName.matches('Rationales') then

true

else

if containerName.matches('Internal Safety Mechanisms') or

containerName.matches('External Safety Mechanisms')

then

-- Case 1: Container name matches a valid category.

let

MessageArg1 : String = 'Missing allocation: ',

MessageArg2 : String = containerName,

MessageArg3 : String = 'not allocated to any DC failure entry',

MessageArg4 : String = ''

in

dcFailureEntries->notEmpty()

else

-- Case 2: Container name does NOT match any valid category.

let

MessageArg1 : String = 'Wrong allocation: ',

MessageArg2 : String = containerName,

MessageArg3 : String = 'wrongly allocated to a DC failure mode but not part of valid catalog in following worksheet: ',

MessageArg4 : String = FMEDAName

in

dcFailureEntries->isEmpty()

endif

endif

Message is: {1} {0} from measure catalog {2} is {3} {4}

Merry Christmas,

Romain

medini_1024169437

Romain,

I think you can more or less directly translate the JS construct into OCL, right?

So

if self.allSpfSafetyMechanismsApplicable then
 self.element.oclAsType(safety::FailureMode).spfSafetyMechanisms
else
 self.spfSafetyMechanisms
endif

That gives you at least all safety mechanisms that are "ticked" for a DC failure mode entry. I am not sure how that fits best into your current OCL as that constraint doe snot (yet) really check the relation between DC entry and safety mechnaisms, right?

Jan