// workout with feature model specified dependency context RuntimeIncludedActivationDependency { constraint Source_pkg_trace_check { check: not self.sources.isEmpty() message: self.sources.get(0).FeaturesPackageTrace.get(0) }} /// workout with RuntimeRequiredActivation context RuntimeRequiredActivation { constraint Source_pkg_trace_check { check: self.hasSource.isDefined() message: self.hasSource.rtasrcref } // trying to calculate if the reference made from RuntimeIncludedActivationDependency.sources is referencing to same package in Implementation Model as that of RuntimeRequiredActivation.hasSource.rtasrcref constraint RuntimeRequiredActivation_Source_Equals_RuntimeIncludedActivationDependency_Source { check: RuntimeIncludedActivationDependency.sources.equals(self.hasSource.rtasrcref)==true message:"testing" } }