This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sysml-roadmap:sysml_v2_model_formalism_working_group [2016-12-06 00:42] jpatrick |
sysml-roadmap:sysml_v2_model_formalism_working_group [2017-06-29 10:56] (current) jpatrick [Team] |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | Back to [[http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-roadmap:sysml_assessment_and_roadmap_working_group| System Modeling Assessment and Roadmap Working Group]] | + | Back to [[http://www.omgwiki.org/OMGSysML/doku.php?id=sysml-roadmap:sysml_assessment_and_roadmap_working_group| SysML v2 RFP Working Group]] |
Line 25: | Line 25: | ||
- | ===== Example Use Cases ===== | ||
- | * Create, view, update, delete, and execute model transformations to/from SysML models | ||
- | * Define, update, delete, and execute model queries to support visualization and analysis | ||
- | * Define, update, delete, and execute model validation rules to validate input data and model | ||
- | * Define, transform, and execute analytical models | ||
Line 56: | Line 51: | ||
- | ===== Derived Requirements for the Model Formalism ===== | ||
- | * The SysML 2.0 formalism shall support computer interpretability of SysML 2.0 models. | ||
- | * The SysML 2.0 formalism shall support graphical notation. | ||
- | * The SysML 2.0 formalism shall support textual notation similar to a programming language. | ||
- | * The SysML 2.0 formalism shall support lightweight modeling (i.e., the formalism shouldn't be so rigid as to make sketching in the model cumbersome). | ||
===== OMG Presentations ===== | ===== OMG Presentations ===== | ||
- | * {{sysml-roadmap:sysml_v2_formalism_presentation_adtf_coronado_v4.pptx| SysML 2.0 Requirements and Approaches (ADTF Presentation) Coronado - December 2016}} | + | * {{sysml-roadmap:sysml_v2_formalism_presentation_sysml_2_rfp_brussels_v3.pptx | SysML v2 Formalism: Requirements & Benefits Brussels - June 2017}} |
- | * {{sysml-roadmap:sysml_v2_formalism_presentation_sysml_2_rfp_coronado_v6.pptx| SysML Foundational Approaches and Use Cases Coronado - December 2016}} | + | * {{sysml-roadmap:sysml_v2_formalism_presentation_sysml_2_rfp_reston_v11.pptx| Semantics Intro, Formalism Requirememts, Benefits, Use Cases, and Future Directions Reston - March 2017 (SysML 2 RFP WG)}} |
+ | * {{sysml-roadmap:sysml_v2_formalism_presentation_adtf_coronado_v6.pptx| SysML 2.0 Formalism Requirements andPotential Language Architectures Coronado - December 6 (ADTF)}} | ||
+ | * {{sysml-roadmap:sysml_v2_formalism_presentation_sysml_2_rfp_coronado_v6-cb.pptx| SysML 2.0 Formalism:Requirement Benefits,Use Cases, andPotential Language Architectures Coronado - December 2016 (SysML 2 RFP WG)}} | ||
* {{sysml-roadmap:sysml_v2_formalism_requirements_chicago_09152016_v4.pptx| SysML v2 Formalism Requirements Chicago - September 2016}} | * {{sysml-roadmap:sysml_v2_formalism_requirements_chicago_09152016_v4.pptx| SysML v2 Formalism Requirements Chicago - September 2016}} | ||
* {{sysml-roadmap:sysml2.0_modeling_formalism_orlando_june2016_ver2.pptx|Modeling Formalism (Modeling Language Foundations) Orlando - June 2016}} | * {{sysml-roadmap:sysml2.0_modeling_formalism_orlando_june2016_ver2.pptx|Modeling Formalism (Modeling Language Foundations) Orlando - June 2016}} | ||
Line 78: | Line 70: | ||
- | ===== Potential Formalism Candidates ===== | + | ===== Formal Language References ===== |
- | * {{http://www.omg.org/mof/|Meta Object Facility}} | ||
* {{http://www.w3.org/TR/owl2-syntax/|OWL 2}} | * {{http://www.w3.org/TR/owl2-syntax/|OWL 2}} | ||
+ | * {{http://www.w3.org/TR/owl2-direct-semantics/|OWL 2 Direct Semantics}} | ||
* {{http://dodcio.defense.gov/Library/DoD-Architecture-Framework/dodaf20_ontology1/|IDEAS Foundation}} | * {{http://dodcio.defense.gov/Library/DoD-Architecture-Framework/dodaf20_ontology1/|IDEAS Foundation}} | ||
Line 88: | Line 80: | ||
===== Review Documents ===== | ===== Review Documents ===== | ||
- | | + | * {{sysml-roadmap:use_case_for_expressing_dysfunctional_behavior.pdf| Use Case for expressing dysfunctional behavior}} |
* {{sysml-roadmap:sysmlv2_formalism_wg_slides_09012016_v4.pptx| Teleconference Powerpoint Slides (9/7 & 9/9)}} | * {{sysml-roadmap:sysmlv2_formalism_wg_slides_09012016_v4.pptx| Teleconference Powerpoint Slides (9/7 & 9/9)}} | ||
* {{sysml-roadmap:algebraic_structures_on_relationships.pptx| Teleconference Powerpoint Slides (8/15) - Algebraic Structures on Relationships/Customizable Inference Engines in SysML v2}} | * {{sysml-roadmap:algebraic_structures_on_relationships.pptx| Teleconference Powerpoint Slides (8/15) - Algebraic Structures on Relationships/Customizable Inference Engines in SysML v2}} | ||
Line 95: | Line 87: | ||
* {{sysml-roadmap:sysml-formal2.pptx|7/25/2016 Teleconference PowerPoint Slides}} | * {{sysml-roadmap:sysml-formal2.pptx|7/25/2016 Teleconference PowerPoint Slides}} | ||
* {{sysml-roadmap:sysml-formal2.pptx|7/25/2016 Teleconference PowerPoint Slides}} | * {{sysml-roadmap:sysml-formal2.pptx|7/25/2016 Teleconference PowerPoint Slides}} | ||
- | |||
===== Prototypes to Demonstrate Feasibility ===== | ===== Prototypes to Demonstrate Feasibility ===== | ||
Line 153: | Line 144: | ||
===== Team ===== | ===== Team ===== | ||
^ Name ^ Organization ^ email ^ | ^ Name ^ Organization ^ email ^ | ||
+ | | Jonathan Patrick | [[http://www.uah.edu/rsesc| Rotorcraft Systems Engineering and Simulation Center at the University of Alabama in Huntsville]] | <[email protected]> | | ||
| Yves Bernard | [[http://www.airbus.com| Airbus]] | <[email protected]> | | | Yves Bernard | [[http://www.airbus.com| Airbus]] | <[email protected]> | | ||
- | | Jonathan Patrick | [[http://www.mtsi-va.com| MTSI]] | <[email protected]> | | ||
| Bran Selic | [[https://www.simula.no/| Simula Research Laboratory of Norway]] | <[email protected]> | | | Bran Selic | [[https://www.simula.no/| Simula Research Laboratory of Norway]] | <[email protected]> | | ||
| Geoffrey Biggs | [[http://www.aist.go.jp/| National Institute of Advanced Industrial Science and Technology]] | <[email protected]> | | | Geoffrey Biggs | [[http://www.aist.go.jp/| National Institute of Advanced Industrial Science and Technology]] | <[email protected]> | |