textual-notation-of-model/packages/methods/de4sdv/de4sdv_method_context.sysml
0 view(s) · 42 declared member(s) view source on GitHub
Source
1/*2 * DE4SDV method context and problem statement kernel.3 *4 * This package adapts only the useful SYSMOD/SysML v2 problem-statement pattern5 * for DE4SDV. It is not a full SYSMOD implementation or vendored upstream6 * library.7 *8 * A problem statement is modeled as a requirement. A system context captures9 * the system of interest, actors, and relevant context elements for an10 * increment. DE4SDV intentionally does not introduce a generic ProjectContext11 * abstraction here; feature increments can compose problem statements,12 * stakeholders, and system context directly.13 */1415package DE4SDV_MethodContext {16 part def EngineeringIncrement {17 doc /* Bounded DE4SDV work package that changes, tests, or publishes engineering knowledge. */18 }1920 part def FeatureIncrement :> EngineeringIncrement {21 doc /* Engineering increment focused on a product-line feature, common capability, or variability decision. */22 }2324 part def NeedsRequirementsIncrement :> EngineeringIncrement {25 doc /* Engineering increment focused on needs, draft requirements, traceability, and V&V planning. */26 }2728 part def SystemLayer {29 doc /* Coarse ASELCM-style system layer used to frame DE4SDV increments. */30 }3132 part def System1SDVProductLine :> SystemLayer {33 doc /* Configurable SDV product line and configured vehicle/software variants. */34 }3536 part def System2EngineeringAndAssuranceSystem :> SystemLayer {37 doc /* DE4SDV model-based life-cycle engineering, assurance, simulation, and evidence system. */38 }3940 part def System3OpenSourceGovernanceEcosystem :> SystemLayer {41 doc /* Open innovation ecosystem that governs, evolves, reviews, and improves DE4SDV. */42 }4344 part def MethodStackElement {45 doc /* Method/tooling layer participating in a DE4SDV increment. */46 }4748 part def SAFViewpointSelection :> MethodStackElement;49 part def SYSMODMethodFlow :> MethodStackElement;50 part def DE4SDVOntologyKernel :> MethodStackElement;51 part def SysMLv2ModelExpression :> MethodStackElement;52 part def VSSCandidateSignalCatalog :> MethodStackElement;5354 part def OperationalScopeBoundary {55 doc /* Boundary separating in-scope and out-of-scope content for an increment. */56 }5758 part def InScopeItem {59 doc /* Scope item included in the current increment. */60 }6162 part def OutOfScopeItem {63 doc /* Scope item explicitly deferred or excluded from the current increment. */64 }6566 requirement def ProblemStatement {67 doc /* The problem that is to be solved by the system or increment. */68 }6970 requirement def StakeholderNeedCandidate {71 doc /* Generic base for stakeholder needs before acceptance and quality gate. */72 }7374 requirement def ProductLineCommonCapabilityNeed :> StakeholderNeedCandidate {75 doc /* Need for a common product-line capability required across member products. */76 }7778 requirement def EngineeringTraceabilityNeed :> StakeholderNeedCandidate {79 doc /* Need for engineering traceability, boundary visibility, and controlled scope. */80 }8182 requirement def ProductLineClassificationNeed :> StakeholderNeedCandidate {83 doc /* Need for explicit feature/common-capability classification and variation modeling. */84 }8586 requirement def RegulatoryVisibilityNeed :> StakeholderNeedCandidate {87 doc /* Need for visible regulatory assumptions without compliance claims. */88 }8990 requirement def VerificationPlanningNeed :> StakeholderNeedCandidate {91 doc /* Need for separate controlled V&V planning attachments. */92 }9394 requirement def ProductSafetyAvailabilityNeed :> StakeholderNeedCandidate {95 doc /* Need for bounded degradation and availability indication. */96 }9798 requirement def RequirementCandidate {99 doc /* Generic base for design-input requirement candidates before acceptance. */100 }101102 requirement def FunctionalRequirementCandidate :> RequirementCandidate {103 doc /* Candidate requirement for functional behavior. */104 }105106 requirement def SafetyConstraintRequirementCandidate :> RequirementCandidate {107 doc /* Candidate requirement for safety constraints and non-activation. */108 }109110 requirement def ProductLineConstraintRequirementCandidate :> RequirementCandidate {111 doc /* Candidate requirement for product-line classification and variability constraints. */112 }113114 requirement def TraceabilityConstraintRequirementCandidate :> RequirementCandidate {115 doc /* Candidate requirement for traceability and V&V planning constraints. */116 }117118 requirement def EvidenceContractTraceabilityRequirementCandidate :> RequirementCandidate {119 doc /* Candidate requirement for evidence-contract traceability to controlled boundaries. */120 }121122 part def IncrementAssumption {123 doc /* Assumption recorded for an engineering increment. */124 }125126 part def IncrementGap {127 doc /* Gap or unresolved item recorded for an engineering increment. */128 }129130 part def IncrementScope {131 doc /* Scope boundary for an engineering increment. */132 }133134 part def IncrementTraceabilityShell {135 doc /* Traceability structure connecting an increment to its sources and downstream artifacts. */136 }137138 part def IncrementEngineeringQuestion {139 doc /* Engineering question that an increment answers. */140 }141142 part def IncrementLifecycleDecision {143 doc /* Lifecycle decision that an increment supports. */144 }145146 part def MissingRealizationRecord {147 doc /* Record of a missing realization allocation for a conceptual element. */148 }149150 part def BlockedRealizationBranchRecord {151 doc /* Record of a blocked realization branch due to a source defect or gap. */152 }153154 part def SourceContributionRecord {155 doc /* Record of an observable source contribution to a partial realization. */156 }157158 part def SystemContext {159 doc /* Context containing the system actors, the system of interest, and their relationships. */160 part actors[*];161 part systemOfInterest;162 }163}164