start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
start [2022/08/26 05:12] siyuan [UPR 2.0 Presentations] |
start [2022/12/19 14:58] (current) siyuan [GET INVOLVED] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Welcome to the Maths Special Interest Group (MathSIG) Wiki ====== | ====== Welcome to the Maths Special Interest Group (MathSIG) Wiki ====== | ||
| + | |||
| + | The Mathematical Formalism Domain Special Interest Group (or more simply, the MathSIG) was chartered in 2009 with an initial scope focused soley on the mathematical basis for model transformations that would enable system architects to compose higher level transformations more easily from lower level ones. This was motivated by the concepts of the OMG Model Driven Architecture® which, at the time, were evolving and eventually led to MDA Guide Revision 2.0. Parallel to the evolution was advanced research on relational orientation as a candidate mathematical basis. Strongly influenced by the aerospace industry, a framework was proposed by liaison researchers at the Georgia Institute of Technology. This was coined as the Relational Oriented Systems Engineering Technology Trade-off and Analysis framework (ROSETTA). | ||
| + | |||
| + | The collaboration with the aerospace industry expanded into the automotive industry in 2013 when a five year multi-university programme of research was launched in the United Kingdom by Jaguar Land Rover and the Engineering & Physical Sciences Research Council aimed at simulation innovation and virtual prototyping. During the course of the programme, the ROSETTA framework evolved, matured, and moved closer to commercialisation. In 2018 the first OMG standard involving ROSETTA was adopted. Since then continued application to the electric vehicle market has led to further evolution of the concepts and methods of relational orientation that demand increasing levels of mathematical computation capabilities to be integrated into object-oriented model based systems engineering. This is the driving force behind the current focus of the MathSIG. The group has been re-organised and the mission statement has been streamlined for work not just on the mathematical basis for model transformations but also the foundational formalisms that underly MBSE and can be implemented in mathematically based tools using OMG standards. | ||
| + | |||
| ===== Objectives of the MathSig ===== | ===== Objectives of the MathSig ===== | ||
| - | The goal of this special interest group is to work collaboratively with existing OMG sub-group members on: | + | Our Mission is to work collaboratively work with OMG groups to achieve the following goals: |
| - | * Describing mathematical formalisms, primarily for any Model Based standards and frameworks that have been brought out in the OMG | + | * Develop mathematical formalisms for OMG model based frameworks and standards |
| - | * Reducing the complexity of system design by simplifying the complexity of model transforms using mathematical formalisms that will enable systems architects to more easily compose higher level model transforms from other more granular model transforms | + | * Develop model transformations using mathematical formalisms that will enable systems architects to compose higher level model transformations more easily from more granular model transformations, thereby reducing the complexity of system design and analysis |
| - | * Potentially describing specific sections and types of source or target model semantics using mathematical formalisms in order to understand any conceptual gaps between models and model transformations. | + | * Develop foundational formalisms that underly MBSE and can be expressed via OMG model-based standards |
| - | The Mathematical Formalism SIG will provide an integrating function across the OMG for various activities and interests in the use of mathematical formalisms. These activities and groups today tend to be isolated or fragmented. While this SIG relates to ongoing work at the OMG, it is the vision of the SIG to affect future standards and frameworks, bringing to them greater precision, clarity, and traceability, and bringing to the OMG itself a better capability to assess conformance to OMG standards. | + | The MathSIG will continue to bring unique expertise and experience in advanced research into the commercialization of complex systems using mathematically based MBSE. |
| - | The initial scope of this SIG will be focused solely on the mathematical basis for model transforms and any necessary mathematical formalism for the semantics of the transform source and target models in order to facilitate a mathematical definition of model transforms. It is not within the scope of this working group to define a mathematical basis for comprehensively addressing all semantic properties of models in general. | + | |
| + | ===== Upcoming Activities ===== | ||
| + | |||
| + | Stay tuned! | ||
| ===== UPR 2.0 Presentations ===== | ===== UPR 2.0 Presentations ===== | ||
| + | For the past year the MathSIG has been exploring the pathway to the future evolution of UPR. How to best express the concepts of ROSETTA and Constraint Driven Design via OMG model-based standards depends heavily on the outcomes of the SysML 2.0 finalisation. Four presentations have been made to three key OMG groups during the September 2021 - June 2022 Quarterly meetings: | ||
| + | |||
| * June 2022 | * June 2022 | ||
| - | - "UPR 2.0", Presentation made to SE DSIG. //{{2022-06_presentation_to_se_dsig.pptx}}// | + | - "UPR 2.0", //{{2022-06_presentation_to_se_dsig.pptx}}// |
| * March 2022 | * March 2022 | ||
| - | - "UPR: Architecture Specification with Structures and Transformations", Presentation made to Ontology PSIG. //{{2022-03_presentation_to_ontology_psig.pptx}}// | + | - "UPR: Architecture Specification with Structures and Transformations", //{{2022-03_presentation_to_ontology_psig.pptx}}// |
| - | - "Review, Update and Pathway for UPR 1.0 Evolution", Presentation made to ADTF. //{{2022-03_presentation_to_adtf.pptx}}// | + | - "Review, Update and Pathway for UPR 1.0 Evolution", //{{2022-03_presentation_to_adtf.pptx}}// |
| * September 2001 | * September 2001 | ||
| - | - "Update and Pathway for UPR 1.0 Evolution", Presentation made to MARS. //{{2021-09_presentation_to_mars.pptx}}// | + | - "Update and Pathway for UPR 1.0 Evolution", //{{2021-09_presentation_to_mars.pptx}}// |
| + | |||
| + | A presentation will also be made to the Ontology PSIG in upcoming the September 2022 Quarterly meeting. | ||
| ===== UPR 1.0 ===== | ===== UPR 1.0 ===== | ||
| - | ====UPR:UML Profile for ROSETTA==== | + | ====UPR: UML Profile for ROSETTA==== |
| - | Over the past two years, MathSig has been working on a RFC, named **UPR:UML Profile for ROSETTA**. | + | UPR 1.0 was adopted through the RFC process. The UPR 1.0 RFC was issued in March 2018 and the standard was adopted in June 2018, published Janurary 2019. |
| - | The RFC is issued in March 2018. | + | |
| - | Access to the submission package (including LOI, Specification, XMI, Model Files and etc.) can be found | + | Access to UPR 1.0 can be found |
| - | [[https://www.omg.org/schedule/UML_Profile_for_ROSETTA_RFC.html|here]] | + | [[https://www.omg.org/spec/UPR/1.0/About-UPR/|here]] |
| ==== Scope ==== | ==== Scope ==== | ||
| Line 48: | Line 59: | ||
| Contact: Zahir Ismail, ZTI Systems Ltd | Contact: Zahir Ismail, ZTI Systems Ltd | ||
| Calder Court, Amy Johnson Way, Blackpool, FY4 2RH, UK | Calder Court, Amy Johnson Way, Blackpool, FY4 2RH, UK | ||
| - | |||
| - | ==== Contributors ==== | ||
| - | |||
| - | ^ Name ^ Organisation ^ Contact ^ | ||
| - | | Prof Charles Dickerson |Loughborough University |<[email protected]>| | ||
| - | | Dr Siyuan Ji | Loughborough University |<[email protected]>| | ||
| - | | Dr Mole Li | Loughborough University | <[email protected]> | | ||
| - | | Yves Bernad | Aribus | <[email protected]> | | ||
| - | | Dr David Mulvaney | Loughborough University | <[email protected]> | | ||
| - | | Peter Dennon | National Institute of Standards and Technology | <[email protected]> | | ||
| - | | Graham Bleakleyn | IBM | <[email protected]> | | ||
| - | | Dr Zhenyu Chen | Loughborough University | <[email protected]> | | ||
| - | |||
| - | ===== Upcoming Missions ===== | ||
| - | |||
| - | ==== SysML 2.0 ==== | ||
| - | |||
| - | The MathSig have been engaging with the SysML 2.0 working groups. Below is the presentation made to SE DSIG in September 2017 by Professor Dickerson. | ||
| - | |||
| - | {{syseng 2017-09-07.ppt}} | ||
| - | |||
| - | |||
| - | The group will continue to engage with the SysML 2.0 working groups on topics relate to Constraint Driven Design. | ||
| - | |||
| - | ==== System Reliability Modeling ==== | ||
| - | |||
| - | The MathSig intends to engage with the Safety and Reliability for UML RFP. | ||
| - | |||
| - | The MathSig has written an academic paper in this area, which is downloadable below: | ||
| - | |||
| - | {{1804.11296.pdf}} | ||
| - | |||
| - | This paper has been accepted for publication in the IEEE Transactions on Reliability. | ||
| - | |||
| - | |||
| ==== GET INVOLVED ==== | ==== GET INVOLVED ==== | ||
| Line 90: | Line 66: | ||
| Prof Charles Dickerson, Chair of the MathSig, <[email protected]> and | Prof Charles Dickerson, Chair of the MathSig, <[email protected]> and | ||
| Dr Siyuan Ji, <[email protected]> | Dr Siyuan Ji, <[email protected]> | ||
| + | |||
| + | |||
| + | ===== Archive ===== | ||
start.1661505120.txt.gz · Last modified: 2022/08/26 05:12 by siyuan
Page Tools
