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-07-25 11:11] 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 ===== | ||
+ | |||
+ | * {{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_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:sysml2.0_modeling_formalism_orlando_june2016_ver2.pptx|Modeling Formalism (Modeling Language Foundations) Orlando - June 2016}} | ||
+ | * {{sysml-roadmap:sysml2.0_modeling_formalism_reston.pptx|Modeling Formalism (Modeling Language Foundations) Reston - March 2016}} | ||
===== Key Features of New Concepts ===== | ===== Key Features of New Concepts ===== | ||
Line 71: | Line 70: | ||
- | ===== Potential Formalism Candidates ===== | + | ===== Formal Language References ===== |
- | * {{http://www.omg.org/mof/|MetaObject Facility}} | ||
* {{http://www.w3.org/TR/owl2-syntax/|OWL 2}} | * {{http://www.w3.org/TR/owl2-syntax/|OWL 2}} | ||
- | * {{http://math.mit.edu/~dspivak/informatics/olog.pdf|Ontology Logs}} | + | * {{http://www.w3.org/TR/owl2-direct-semantics/|OWL 2 Direct Semantics}} |
+ | * {{http://dodcio.defense.gov/Library/DoD-Architecture-Framework/dodaf20_ontology1/|IDEAS Foundation}} | ||
Line 81: | Line 80: | ||
===== Review Documents ===== | ===== Review Documents ===== | ||
- | * {{sysml-roadmap:sysml2.0_modeling_formalism_reston.pptx|Modeling Formalism (Modeling Language Foundations) Reston - March 2016}} | + | * {{sysml-roadmap:use_case_for_expressing_dysfunctional_behavior.pdf| Use Case for expressing dysfunctional behavior}} |
- | * {{sysml-roadmap:sysml2.0_modeling_formalism_orlando_june2016_ver2.pptx|Modeling Formalism (Modeling Language Foundations) Orlando - June 2016}} | + | * {{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:bayesianreasoningovermodels_-_2016-07-30.pdf| Teleconference Powerpoint Slides (8/1) - A Bayesian Learning Approach to Inconsistency Identification in MBSE, S.Herzig}} | ||
+ | * {{sysml-roadmap:herzig-dissertation-2015_1_.pdf| A Baysian Learning Approach to Inconsistency Identification in Model-Based Systems Engineering (Dissertation), S. Herzig}} | ||
+ | * {{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 93: | Line 95: | ||
* TBD | * TBD | ||
+ | |||
Line 99: | Line 102: | ||
===== Related Work, Possibly Reusable ===== | ===== Related Work, Possibly Reusable ===== | ||
- | * {{http://doc.omg.org/c4i/13-09-11|Unified Modeling Framework RFP}} and submissions in [[http://www.omg.org/techprocess/meetings/schedule/UPDM_3.0_RFP.html|C4I Task Force]]. OWL-like foundation ([[http://www.ideasgroup.org/|IDEAS]]) metamodel with UML/SysML Profile. | + | * **OMG** |
+ | * {{http://www.omg.org/techprocess/meetings/schedule/UAF_FTF.html|Unified Architecture Framework FTF}}, adopted response to {{http://doc.omg.org/c4i/13-09-11|UPDM 3.0 RFP}}. OWL-like foundation ([[http://www.ideasgroup.org/|IDEAS]]) metamodel with UML/SysML Profile. | ||
+ | * {{http://doc.omg.org/ptc/16-02-37|Distributed Ontology, Modeling, and Specification Language (DOL)}} can be used to integrate first order logic based languages (in [[http://www.omg.org/techprocess/meetings/schedule/DOL_1.0_FTF.html|finalization]] March 2016, from {{http://doc.omg.org/ad/13-12-02|RFP}} December 2013). See Annexes for examples. Overview in {{http://doc.omg.org/ad/15-12-04|ADTF presentation}}. More information on [[http://ontologforum.org/index.php/OntoIOp|Ontolog]]. | ||
+ | * {{http://www.omg.org/techprocess/meetings/schedule/MOF_to_RDF_Structural_Mapping_in_Support_of_Linked_Open_Data_RFP.html | MOF to RDF Structural Mapping in Support of Linked Open Data RFP and responses}} | ||
+ | * {{http://www.omg.org/techprocess/meetings/schedule/Metamodel_Extension_Facility_RFP.html | Metamodel Extension Facility RFP and responses}} ({{http://www.omg.org/spec/SMOF|SMOF}}-based alternative to profiles) | ||
- | * {{http://doc.omg.org/ptc/16-02-37|Distributed Ontology, Modeling, and Specification Language (DOL)}} can be used to integrate first order logic based languages (in [[http://www.omg.org/techprocess/meetings/schedule/DOL_1.0_FTF.html|finalization]] March 2016, from {{http://doc.omg.org/ad/13-12-02|RFP}} December 2013). See Annexes for examples. Overview in {{http://doc.omg.org/ad/15-12-04|ADTF presentation}}. More information on [[http://ontologforum.org/index.php/OntoIOp|Ontolog]]. | + | * **Ontology** |
+ | * {{http://www.menthor.net/ontouml.html| OntoUML}} | ||
+ | * {{http://www.w3.org/TR/owl2-semantics/#Independence_of_the_Direct_Semantics_from_the_Datatype_Map_in_OWL_2_DL_.28Informative.29 | OWL 2 Direct Semantics}} | ||
+ | * {{http://dx.doi.org/10.5381/jot.2011.10.1.a3| Onto Behavior Modeling (aka "UML3")}} ({{http://conradbock.org/bock-ontological-behavior-modeling-jpl-slides.pdf|slides}}, updates available) | ||
+ | * Special case of {{http://www.dsmforum.org/events/dsm10/Papers/Mannadiar.pdf|Domain-Specific Engineering of Domain-Specific Languages}} | ||
+ | * {{https://www.nist.gov/node/609191?pub_id=822748| Onto Product Modeling}} ({{http://conradbock.org/ontological-product-modeling-short-slides.pdf|slides}}) | ||
- | * {{https://www.researchgate.net/publication/243341927_Towards_a_Multi-Formalism_Model_Checker_Based_on_SDES_Description|Towards a Multi-Formalism Model Checker Based on SDES Description}} | + | * **Model checking** (a proof technique for semantic validation) |
- | + | * {{https://www.researchgate.net/publication/243341927_Towards_a_Multi-Formalism_Model_Checker_Based_on_SDES_Description|Towards a Multi-Formalism Model Checker Based on SDES Description}} | |
- | * {{http://www.academia.edu/14964641/RDF2SPIN_Mapping_Semantic_Graphs_to_SPIN_Model_Checker|RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker}} | + | * {{http://www.academia.edu/14964641/RDF2SPIN_Mapping_Semantic_Graphs_to_SPIN_Model_Checker|RDF2SPIN: Mapping Semantic Graphs to SPIN Model Checker}} |
- | * {{http://www.menthor.net/ontouml.html| OntoUML}} | + | * **Hamilton/Hackler** |
- | + | * {{http://www.htius.com/Articles/INCOSE.pdf | A Formal Universal Systems Semantics for SysML}} | |
- | * {{http://www.w3.org/TR/owl2-semantics/#Independence_of_the_Direct_Semantics_from_the_Datatype_Map_in_OWL_2_DL_.28Informative.29 | OWL 2 Direct Semantics}} | + | * {{http://www.htius.com/Articles/36.pdf | Universal Systems Language for Preventative Systems Engineering}} |
- | + | ||
- | * {{http://www.htius.com/Articles/INCOSE.pdf | A Formal Universal Systems Semantics for SysML (Hamilton/Hackler)}} | + | |
- | + | ||
- | * {{http://www.htius.com/Articles/36.pdf | Universal Systems Language for Preventative Systems Engineering (Hamilton/Hackler)}} | + | |
+ | |||
===== Current Action Items ===== | ===== Current Action Items ===== | ||
Line 135: | 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]> | |