The goal of this special interest group is to work collaboratively with existing OMG sub-group members on:
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.
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.
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
|Prof Charles Dickerson||Loughborough Universityfirstname.lastname@example.org|
|Dr Siyuan Ji||Loughborough Universityemail@example.com|
|Dr Mole Li||Loughborough Universityfirstname.lastname@example.org|
|Dr David Mulvaney||Loughborough Universityemail@example.com|
|Peter Dennon||National Institute of Standards and Technologyfirstname.lastname@example.org|
|Dr Zhenyu Chen||Loughborough Universityemail@example.com|
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.
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.