Conversation
martynaslelevicius
approved these changes
Jul 22, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR proactively fixes the
TradeStudymodel bug report in the following SysML 2.1 RTF issue:The
TradeStudymodel is intended to be used as in the following example, in which its objective is redefined to be typed byMinimizeObjectiveorMaximizeObjective:But, previously, this cause input parameters from the
TradeStudyObjectivebase definition to be invalidly inherited, once from redefinitions inMinimizeObjectiveorMaximizeObjectiveand once from redefinitions in the redefined objectiveTradeStudy::tradeStudyObjective. This was not detected previously, because the Pilot Implementation does not currently cross-check inheritance of redefinitions from different general types. Further, if (as above) a subject is not explicitly modeled for an objective requirement, the Pilot Implementation physically inserts one behind the scenes, which then implicitly redefines the two otherwise inherited subject parameters. However, this is not conformant with the specification, and it is planned to be removed from the Pilot Implementation, in which case the inheritance of two subject parameters will cause a validation error to be reported.This PR eliminates these problems by updating the declaration for
TradeStudyObjectiveso that the nested featurebestis no longer a parameter (it was previously anoutparameter). This allowsbestto be redefined inMinimizeObjectiveandMaximizeObjectivewithout having to redefine the input parameters before it. The redefined input parameters inTradeStudy::tradeStudyObjectivecan then be inherited without any problem.