User Tools

Site Tools


Welcome to the Maths Special Interest Group (MathSIG) Wiki

Objectives of the MathSig

The goal of this special interest group is to work collaboratively with existing OMG sub-group members on:

  • 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.

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.

Current Mission


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 here


This specification of a UMLTM profile adds capabilities to UML for a comprehensive facility to structure information in support of model based analysis for architecture optimization and system design. This extension is called UPR: the UML profile for ROSETTA, in reference to its underlying mathematical foundation (the Relational Oriented Systems Engineering Technology Tradeoff and Analysis framework, for which an overview is provided in Clause 6.2 of the specification). The relational orientation of the framework further supports model transformation between architecture design and detailed system design.

Challenges being addressed

A comprehensive facility has been lacking to support information structuring and integration for architecture optimization and Constraint-Driven Design analysis across distributed domain experts in a system design team. The facility must also support efficient and effective transformation of the system architecture into detailed system design. In current international standards [ISO/IEC/IEEE 42010:2011], system architecture description is conceptualized using elements and relationships between elements.


Submitter: ZTI Systems Ltd

Contact: Zahir Ismail, ZTI Systems Ltd Calder Court, Amy Johnson Way, Blackpool, FY4 2RH, UK


Name Organisation Contact
Prof Charles Dickerson Loughborough University
Dr Siyuan Ji Loughborough University
Dr Mole Li Loughborough University
Yves Bernad Aribus
Dr David Mulvaney Loughborough University
Peter Dennon National Institute of Standards and Technology
Graham Bleakleyn IBM
Dr Zhenyu Chen Loughborough University

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.


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:


This paper has been accepted for publication in the IEEE Transactions on Reliability.


If you are interested in getting involved with this group on the above topics, please contact:

Prof Charles Dickerson, Chair of the MathSig, and Dr Siyuan Ji,

start.txt · Last modified: 2018/06/10 11:35 by admin