nav[aria-label="Primary Navigation"] { padding: 0; & ul { list-style: none; width: 100%; display: flex; flex-direction: row; justify-content: start; align-items: start; gap: 30px; padding: 0; & li { margin: 0; } & ul li { list-style: none; } } }

Collect DC worksheet of Safety mechanism through Profile property

medini_1063548292

Hello all,

I am trying to create a Profile property that will list all DC Worksheet where the particular Safety mechanism is used. I searched through forum but did not find the answer to the problem i have been facing.

I am currently using Medini Analyze 22R1.1

I have started with JavaScript and also with OCL.

General strategy was to utilize mediniGetOpposites twice

first navigate from safetyMechanims to a failureMode

Second to navigate from a failure mode to a DCComponentEntry

--OCL - simplified approachusing null instead of 'spfSafetyMechanisms', 'mpfSafetyMechanisms'
-- Collects any medini object , filter only failure modes
-- collect opposites for every failure modes using 'element' ( FM included in DCFailureModeEntry)
self.mediniGetOpposites(null)->select(entry|entry.oclIsKindOf(safety::FailureMode))->collect(entry|entry.oclAsType(safety::FailureMode).mediniGetOpposites('element'))->asSet()->select(entry|entry.oclIsKindOf(dc::DCFailureModeEntry))->asSet()
 ->collect(entry|entry.oclAsType(dc::DCFailureModeEntry).component.worksheet)->asSet()

So far everything works the derived profile property will correctly display list of worksheet where this particular SM is used and it is also possible to use Select Elements using right mouse button context menu

Here comes the tricky/confusing part.

I would like to "write" this result into a SM Reference profile property with multiple DC Worksheet as element Type

To do so I was not able to find a working solution through Profile property as OCL/JavaScript.

Javascript
The only current working solution was to actually use designated JS script and then use "Execute" script on particular SM to use add/addAll List method.

Example of JS inside Derived profile property:

//JavaScript insideDerived Profile property user_dcsheets
var elements = self.mediniGetOpposites("spfSafetyMechanisms")
//add mpf safety mechanisms
elements.addAll(self.mediniGetOpposites("lmpfSafetyMechanisms"))
//crate a result list variable
var covered = elements.clone()
	//cleanup of variable
	covered.clear()
	covered.shrink()
// 1st loop through medini elements
	elements.toArray().forEach(function (covele,id){
		if (covele.component == undefined) {
			// test if current component is not a DCFailureModeEntry
			// get opoosites 'element' and add any DCFailureModeEntry to current list
			covele.mediniGetOpposites("element").toArray().forEach(function scanop(ele) {
				test = getDCfromFMs(ele) 
				if (ele && ele instanceof Metamodel.dc.DCFailureModeEntry)) elements.add(ele)				
			}); // internal forech opposites of nnon DCFailureEnry mediniObjects
		elements.remove(covele)	//remove from original list
		}	
	});

// 2nd lopping though modified list, scan for DC workshetts , get only unique records
	elements.toArray().forEach(function (covele,id){
		//check Metamodel type, and if he worksheet is not already added
	if (covele instanceof Metamodel.dc.DCFailureModeEntry && covered.indexOf(covele.component.worksheet) == -1) {
		covered.add(covele.component.worksheet)
	}
});
elements
// add resutls into Refence profiel Property user_dcpick
	if (covered.size()) self.user_dcpick.addAll(covered) 
//dipslae the results in the current Derived profile property user_dcsheets

Outcome of previous JS is always getting a Java error :

java.lang.IllegalStateException: Cannot modify resource set without a write transaction

I could not post the OCL source as with my limited OCL knowledge I was not able to do what I wanted
I have got a lot of various OCL complaints regarding the target operations
(set/sequence/union/append ) and also the Meta-class was not matching expected dcWorksheet ( FMEA worksheet in result from interactive OCL).

In the end i did not now how to properly "convert" it to dc Worksheet or why this type mismatch was an issue

Excerpt from interactive OCL console

Evaluating:
self.user_dcpick.addAll(self.mediniGetOpposites(null)->select(entry|entry.oclIsKindOf(safety::FailureMode))->collect(entry|entry.oclAsType(safety::FailureMode).mediniGetOpposites('element'))->asSet()->select(entry|entry.oclIsKindOf(dc::DCFailureModeEntry))->asSet()->collect(entry|entry.oclAsType(dc::DCFailureModeEntry).component.worksheet) ->asSet())
Results:
Cannot find operation (addAll(Set(FMEAWorksheet))) for the type (DCWorksheet)
--------
--another trial trying with union,Bag
Evaluating:
self.user_dcpick.oclAsSet() ->asBag()->union(self.mediniGetOpposites(null)->select(entry|entry.oclIsKindOf(safety::FailureMode))
 ->collect(entry|entry.oclAsType(safety::FailureMode).mediniGetOpposites('element'))->asSet()->select(entry|entry.oclIsKindOf(dc::DCFailureModeEntry))->asSet()
 ->collect(entry|entry.oclAsType(dc::DCFailureModeEntry).component.worksheet))
Results:
Cannot find operation (union(Bag(FMEAWorksheet))) for the type (Bag(DCWorksheet))
----------------------------------------------
--abnother trial using set,union
Evaluating:
self.user_dcpick.oclAsSet() ->asSet()->union(self.mediniGetOpposites(null)->select(entry|entry.oclIsKindOf(safety::FailureMode))
 ->collect(entry|entry.oclAsType(safety::FailureMode).mediniGetOpposites('element'))->asSet()->select(entry|entry.oclIsKindOf(dc::DCFailureModeEntry))->asSet()
 ->collect(entry|entry.oclAsType(dc::DCFailureModeEntry).component.worksheet)->asSet())
Results:
Cannot find operation (union(Set(FMEAWorksheet))) for the type (Set(DCWorksheet))

The only working solution through external *.js file using Execute on selected SM element:

//designated *.js file , only working solution to write to a Reference proifle property
//selction[0] SafetyMechanism as selection object -> Execute
// write DC sheets ( user_dcsheets) into the Reference property (user_dcpick)
var sm=selection[0];
if (sm.user_dcsheets && sm].user_dccpick && sm.user_dcsheets.size()) {

 sm.user_dcpick.addAll(sm.user_dcsheets)

} // property exists, some objects inside of the source property

Could please guide me and point to the things what I may be doing wrong ?
I have impression taht the OCL is simply more strict in terms of class type FMEAWorksheet vs. DCWorksheet. Or I am not using proper methods , i do know about add()*/addAll() OCL equivalent.

Is there a way how to get DC worksheet class object form DCComponentEntry? If not then the only solution would be in fact to set the Reference profile property to an FMEAWorksheet type.

Thanks & Regards,

Marian

Find more posts tagged with

medini

medini legacy

Accepted answers

medini_1059007410

Hi Marian,

The reason for the errors you get when trying to write into the reference property from a derived property script is that derived properties cannot modify the model at all, the script is executed in a read-transaction only. So only traverse, read and calculate (see here, Jan's first answer).

So either you stay with displaying the data in your derived property, or you'll need to use the "batch script" to modify the reference property.

Happy scripting,

Nils

All comments

medini_1059007410

Hi Marian,

So either you stay with displaying the data in your derived property, or you'll need to use the "batch script" to modify the reference property.

Happy scripting,

Nils

medini_1023909254

Hi Marian,

I agree with Nils - so what is the purpose to write this into a reference property? Note, a user could add/remove entries from that property manually and thus the consistency is not guaranteed as a selection/deselection would not be propagated back to the SM.

One additional remark: Your OCL (which looks quite sophisticated) does show all DC Sheets which have a DC Component that is representing an architecture element which has a failure mode to which this safety mechanism is assigned (sound like a very complicated sentence). However, this does not mean that the mechanism is used in that sheet (as you may filter out SMs depending e.g. on a safety goal). Moreover, it may also be the case that the failure mode is not marked as Single&Latent fault - in that case also the assignment of the mechanism to a failure mode and it's occurence in the DC sheet would not have any impact ...

Eckhardt

medini_1063548292

Thank you Niels for a response!

Everything you noted make sense and it is on purpose to avoid data inconsistency and other reasons. So to summarize

Scripted Profile property intended primarily as read-only collecting information and display
Modification of Profile properties possible only through Batch scripts

Could you please clarify if the OCL Batch script is also capable of altering properties or the only way is to use JavaScript? OCL to me seems to only collect/process data/information but not to modify anything inside model.

@Eckhardt You are fully correct.
Ultimate goal is to have an input for DFA where finally I there will be HW 'element' so one could in the end simply select all elements inside of derived property and drag and drop into corresponding DFA checklist field.
The OCL demonstrative example was simplified to the bare minimum just to serve the purpose to showcase the problem and also because I am new to OCL and do not fully understand all concepts and methods. Obviously conditioning to check for applicability of SM in given DC worksheet context ( goal/variant) is a must but I do not have the OCL skills to do it yet so I am leaning towards JavaScript instead. side note is thaht I already started to see benefits of OCL vs JavaScript.

Marian

medini_1059007410

Hi Marian,

The batch scripts in medini (the ones placed in the config/scripts folder) are always .js (Javascript), we don't use OCL for these. So modification of the model is only possible with these Javascripts.

Cheers,

Nils