Back to the[[http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-roadmap:systems_engineering_concept_model_workgroup| Systems Engineering Concept Model (SECM) Working Group Wiki]] ====== Requirement Concepts Modeling Focus Team ====== ===== Team ===== * Sandy Friedenthal - SAF Consulting * John Watson * Rick Steiner - Skygazer Consulting * Tao Yue - Simula * Shaukat Ali - Simula * Brian Selvy - LSST * Bertil Muth - Hood Group * David Haines - Boeing * Michael Crow - Boeing ===== Objectives ===== The objective of the team is to establish the set of requirements for a comprehensive concept model of Requirements and Verification for SysML V2. \\ ===== Starting Point ===== === SE Needs Reference Material === * {{ :sysml-roadmap:requirements_and_verification_needs_r2-2.docx |Requirements/Verification Needs R2.2 10/13/2016 **Review Document**}} * {{ :sysml-roadmap:secm_requirements_concepts_diagrams_10-24-16.pptx |Requirements/Verification SECM Concept Diagrams 10/24/2016 **Review Document**}} * {{ :sysml-roadmap:definitions_for_reqs_and_verification_10-13-16.xlsx |Requirements/Verification SECM Concept Term Definitions 10/13/2016 **Review Document**}} \\ ===== Latest Working Documents ===== * **12 Mar 2017** - All Requirements, Term Definitions and Diagrams for the Requirements/Verification Concepts are now being maintained in the SECM and not in the documents listed below. * {{ :sysml-roadmap:sysml_v2_rfp_requirements_for_requirements-sf-2017-03-08.docx |Draft SysML v2 RFP Requirements for Requirements, dated 08 Mar 2017}} * {{ :sysml-roadmap:secm_requirements_concepts_diagrams_07_mar_2017.pptx |Requirements/Verification SECM Concept Diagrams 07 Mar 2017}} * {{ :sysml-roadmap:rfp_requirements_for_requirements-sf-e.docx |Draft Requirements for Requirements (Rev e), posted 22 Feb 2017}} * {{ :sysml-roadmap:secm_requirements_concepts_diagrams_08_feb_2017.pptx |Requirements/Verification SECM Concept Diagrams 08 Feb 2017}} * {{ :sysml-roadmap:sysml_v2_glossary_-_requirements_08_feb_2017.docx |Requirements/Verification SECM Concept Term Definitions 08 Feb 2017}} * {{ :sysml-roadmap:secm_requirements_concepts_diagrams_09_jan_2017.pptx |Requirements/Verification SECM Concept Diagrams 09 Jan 2017}} * {{ :sysml-roadmap:secm_requirements_concepts_diagrams_31_dec_2016.pptx |Requirements/Verification SECM Concept Diagrams 31 Dec 2016}} * {{ :sysml-roadmap:secm_requirements_concepts_diagrams_20_dec_2016.pptx |Requirements/Verification SECM Concept Diagrams 20 Dec 2016}} * {{ :sysml-roadmap:requirements_and_verification_needs_r2-2.docx |Requirements/Verification Needs R2.2 - 13 Oct 2016}} * {{ :sysml-roadmap:definitions_for_reqs_and_verification_11-15-16.xlsx |Requirements/Verification SECM Concept Term Definitions 15 Nov 2016}} \\ ===== Limitations of SysML v1 ===== * See section 1.2 of the Requirement/Verification Needs document. \\ ===== Driving Requirements ===== (R1) The next-generation modeling language must express the core systems engineering concepts. This requires definition of a robust data model that reflects these concepts. The requirements that drove SysML derive from the original Systems Engineering Conceptual Model, jointly developed by the INCOSE/OMG/AP233 WG requirements team. Modifications and refinements to this model will occur in light of lessons learned over the last several years, and as necessary to express the core systems engineering concepts. \\ \\ ===== Requirements Analysis ===== === 1. Propose updates to current concept model to address verification related feedback from Brian, David, and one item from Tao/Shaukat – Brian Selvy and David Haines (Note: Discuss scope of verification related concepts such as verification planning for SysML v2.) === * Completed - The SECM has been updated to included the Verification Concepts * {{ :sysml-roadmap:verification_concepts_for_sysml_12-21-16_revision.pptx |Updated Proposal Presentation for Verification Concepts for SysML V2, 21 Dec 2016, Brian and Dave}} * {{ :sysml-roadmap:iv_mapping_to_sysml_12-15-16_brian_and_david.xlsx |IV Mapping to SysML, 15 Dec 2016, Brian and David}} * {{ :sysml-roadmap:verification_concepts_for_sysml_12-14-16_revision_brain_and_david.pptx |Updated Proposal Presentation for Verification Concepts for SysML V2, 14 Dec 2016, Brian and Dave}} * {{ :sysml-roadmap:iv_mapping_to_sysml_12-13-16_brian_and_david.xlsx |IV Mapping to SysML, 13 Dec 2016, Brian and David}} * {{ :sysml-roadmap:verification_concepts_for_sysml_v2-11-23-16_haines_selvy.pptx |Updated Proposal Presentation for Verification Concepts for SysML V2, 23 Nov 2016, Brian and Dave}} * {{ :sysml-roadmap:requirement_and_verification_-_flight_envelope_11-23-2016_brian_hainespptx.pptx |Requirement/Verification Flight Envelope Example, 23 Nov 2016}} * {{ :sysml-roadmap:verification_concepts_for_sysml_v2_10-24-16_selvy-haines.pptx |1st Proposal Presentation for Verification Concepts for SysML V2, 26 Oct 2016, Brian and Dave}} * {{ :sysml-roadmap:definitions_for_reqs_and_verification_10-24-16_verifcationupdate_selvy_haines.xlsx |1st Proposal for Changes to Concept Term Definitions Spreadsheet, 26 Oct 2016, Brian and Dave}} === 2. Propose updates to draft requirements attributes and categories in current concept model for consideration to be included within SysML v2 – Bertil Muth=== * Completed - Model updated, see diagrams in {{ :sysml-roadmap:secm_requirements_concepts_diagrams_11-15-16.pptx |Requirements/Verification SECM SE Needs Concept Diagrams 11/15/2016}}. Specifically slide 5, "Requirements Attribute Concepts". * {{ :sysml-roadmap:secm_requirements_concepts_diagrams_11-02-16_reviewedbybertilmuth.pptx |Updates to Proposal based on group review, 02 Nov2016, Bertil Muth}} * {{ :sysml-roadmap:secm_requirements_concepts_diagrams_10-18-16_reviewedbybertilmuth.pptx |Comments and 1st Proposal Presentation, 18 Oct 2016, Bertil Muth}} === 3. Review requirements relationships in current concept model and propose a draft taxonomy and definition of relationships for SysML v2 – Rick Steiner and Brian Selvy=== * Completed - 01 Feb 2017 * {{ :sysml-roadmap:20170201_discussion.pptx |Requirements Relationships slides, updated after web conference, 01 Feb 2017, Rick and Brian}} * {{ :sysml-roadmap:sysml_v2_rquirement_relationships_-_20170131_discussion.pptx |Requirement Relationships slides, 01 Feb 2017, Rick and Brian}} * {{ :sysml-roadmap:sysml_v2_rquirement_relationships_-_20170104_discussion.pptx |Requirement Relationships slides, 04 Jan 2017, Rick and Brian}} * {{ :sysml-roadmap:reqts_vs_archetypes_30_nov_2016_rick_steiner.pptx |Requirements vs. Archetypes, 30 Nov 2016, Rick}} * This presentation was provided by Rick on 30 Nov 2016. It raises a general question/concern regarding requirements as classifiers vs requirements as properties * {{ :sysml-roadmap:requirement_relationships_20161116.pptx | Proposal Update for Requirement Relationships Recommendations, 11 Nov 2016, Rick and Brian}} * {{ :sysml-roadmap:requirement_relationships_20161109.pptx | Initial Proposal for Requirement Relationships Recommendations, 09 Nov 2016, Rick and Brian}} * {{ :sysml-roadmap:lsst_specification-definition_example.pdf |LSST Specification-Definition Example, 02 Nov 2016, Brian Selvy}} === 4. Propose how uncertainty should be addressed in SysML v2 using the current concept model and starting with the weight requirement example (Requirements/Verification SECM Concept Diagrams, slides 7-9) - Tao Yue and Shaukat Ali === * Completed - Actions listed below have been closed - Sandy asked for feedback to Tao and Shaukat proposed approach to deal with requirements uncertainty that they presented at the 23 Nov telecom. Sandy proposed the following: - Include a non-normative requirement in the SysML v2 RFP for a structured natural language text requirements that incorporates concepts of uncertainty. Refer to Tao/Shaukat’s approach as a potential solution. - Treat the general issue of uncertainty more generally than requirements alone. Focus initially on the uncertainty of property values. Ensure the ability to distinguish different types of uncertainty, such as the uncertainty associated with unit to unit variation (e.g., uncertainty of weight of different manufactured systems) and the uncertainty associated with a property over time due to many different system and environmental uncertainties (e.g. variation in fuel efficiency or engine temperature for a particular vehicle over time) - Action: Tao/Shaukat confirm this is an acceptable proposal - Closed, Tao responded "It is a good proposal. We accept it." - Action: If confirmed, John to add this requirement and add Tao/Shaukat Structured Natural Language metamodel into the concept model as an example - Closed - Action: Sandy coordinate with Hans Peter to ensure probabilities are sufficiently addressed in the Properties and Expressions concepts - Closed * {{ :sysml-roadmap:secm_-_requirements_concepts_-_uncertainty_nov._23_2016.pptx |Proposal Update for SysML V2 Uncertainty, 23 Nov 2016, Shaukat and Tao}} * {{ :sysml-roadmap:secm_-_requirements_concepts_-_uncertainty.pptx | Initial Proposal for SysML V2 Uncertainty, 09 Nov 2016, Shaukat and Tao}} === 5. Propose how current concept model can support scenario based requirements using natural language starting with the behavior example (Requirements/Verification SECM Concept Diagrams, slide 12) – Tao Yue and Shaukat Ali === * Completed - See Item 4 above. * {{ :sysml-roadmap:restricted_textual_requirements_-_background_definition_proposal_and_examples_tao_yue_-_06_feb_2017.pptx |Restricted Textual Requirements - Background Definition Proposal and Examples - 06 Feb 2017 - Tao Yue}} * {{ :sysml-roadmap:secm_-_requirements_concepts_-_restricted_textual_requirements_by_tao_yue_and_shaukat_ali_on_nov._1_of_2016.pptx |Updated Proposal Presentation, 1 Nov 2016, Tao and Shaukat, Includes comparison to other existing solutions}} * {{ :sysml-roadmap:secm_-_requirements_concepts_-_restricted_textual_requirements_by_tao_yue_and_shaukat_ali_on_oct._19_of_2016.pptx |1st Proposal Presentation, 19 Oct 2016, Tao and Shaukat}} === 6. Contrast the approaches to Structured Natural Language Requirements approaches – Tao Yue and Shaukat Ali === * Completed - Presentation and discussion on 14 Dec 2016 closed this item. * {{ :sysml-roadmap:discussion_on_the_different_structured_and_restricted_nl_based_approaches_-_tao_and_shaukat_dec._14_of_2016.pptx |Discussion on the different structured and restricted NL based approaches, 14 Dec 2016, Tao and Shaukat}} === 7. Discuss Bjorn Cole feedback regarding embedding the required properties and constraints in a block. Sandy Friedenthal === * Complete - Bjorn presented his concepts on 11 Jan 2017. * {{ :sysml-roadmap:simplified_vehicle_requirement_example_with_concepts_11jan_2017_bjorn_cole.pptx |Simplified vehicle requirement example with concepts, 11 Jan 2017, Bjorn Cole}} === 8. Assess the mapping between SysML v2 concepts and ReqIF concepts, and provide recommendations for potential future alignment – Bertil Muth=== * Completed - Bertil provided presentation below on 30 Nov 2016. * {{ :sysml-roadmap:sysmlv2reqif1.2alignmentproposal_-_bertil_muth_10-18-16.pptx | Presentation of ReqIF Alignment, 18 Oct 2016, Bertil}} See slides 6 and 7. === 9. Review the integration concepts and their relationship to the verification concepts – Brian, David === * Meeting discussion date TBD \\ ===== Derived Requirements ===== \\ ===== References ===== * {{ :sysml-roadmap:requirement_concepts_-_12-08-2016_omg_tech_meeting_sysml_v2_rfp_working_group_mtg_r2_-_coronado_ca_-_watson.pptx |Requirement Concepts WG Status, OMG Technical Meeting, 08 Dec 2016, SysML v2 RFP Working Group Meeting, John Watson}} * [[sysml-roadmap:requirements_modeling_working_group|Requirement Modeling Working Group - Earlier working group focused on improvements to SysML 1.X]]