Differences

This shows you the differences between two versions of the page.

--- start [2018/06/10 11:07]
admin
+++ start [2022/12/19 14:58] (current)
siyuan [GET INVOLVED]
@@ Line 1: / Line 1: @@
 ====== Welcome to the Maths Special Interest Group (MathSIG) Wiki ======
-===== Objective of the MathSig =====
+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 goal of this special interest group is to work collaboratively with existing OMG sub-group members on:
+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.
-  * Describing mathematical formalisms, primarily for any Model Based standards and frameworks that have been brought out in the OMG
-  * 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
-  * 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.
-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.
+===== Objectives of the MathSig =====
-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.
+Our Mission is to work collaboratively work with OMG groups to achieve the following goals:
-===== Current Mission =====
+  * Develop mathematical formalisms for OMG model based frameworks and standards
+  * 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
+  * Develop foundational formalisms that underly MBSE and can be expressed via OMG model-based standards
-====UPR:UML Profile for ROSETTA====
+The MathSIG will continue to bring unique expertise and experience in advanced research into the commercialization of complex systems using mathematically based MBSE.
-Over the past two years, MathSig has been working on a RFC, named **UPR:UML Profile for ROSETTA**.
-The RFC is issued in March 2018.
-Access to the submission package (including LOI, Specification, XMI, Model Files and etc.) can be found
+===== Upcoming Activities =====
-[[https://www.omg.org/schedule/UML_Profile_for_ROSETTA_RFC.html|here]]
+Stay tuned!
+===== 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
+    - "UPR 2.0", //{{2022-06_presentation_to_se_dsig.pptx}}//
+  * March 2022
+    - "UPR: Architecture Specification with Structures and Transformations", //{{2022-03_presentation_to_ontology_psig.pptx}}//
+    - "Review, Update and Pathway for UPR 1.0 Evolution", //{{2022-03_presentation_to_adtf.pptx}}//
+  * September 2001
+    - "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: 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.
+Access to UPR 1.0 can be found
+[[https://www.omg.org/spec/UPR/1.0/About-UPR/|here]]
 ==== Scope ====
@@ Line 39: / Line 59: @@
 Contact: Zahir Ismail, ZTI Systems Ltd
 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 =====
-==== 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 can be found [[arxiv/1804.11296|here]].
-This paper has been accepted for publication in the IEEE Transactions on Reliability.
-==== SysML 2.0 ====
-The MathSig also intends to engage with the SysML 2.0 working groups on Constraint Driven Design
 ==== GET INVOLVED ====
@@ Line 72: / Line 66: @@
 Prof Charles Dickerson, Chair of the MathSig, <[email protected]> and
 Dr Siyuan Ji, <[email protected]>
+===== Archive =====

Math SIG Wiki

User Tools

Site Tools

Differences

Page Tools