Mathematical Formalism Domain Special Interest Group

Complexity in modern systems poses significant challenges to the efficiency and assurance of developing useful models for product and service delivery to market. There is a significant opportunity for model based systems engineering (MBSE) to reduce the complexity of system architecting and design while improving the scientific quality of the models developed.


Collaboratively work with OMG groups to achieve the following goals:

  • 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

The first two goals resulted in the adoption of UPR, which was subsequently applied to the commercialization of wireless charging for automotive electric vehicles. Subsequently, initial work began on the UPR Revision Task Force. The group is re-organizing to pursue the third goal based on recent and ongoing advances in academic research and commercialization.
The Math DSIG brings unique expertise and experience in advanced research as well as the commercialization of complex systems using mathematically based MBSE.


  • UML Profile for ROSETTA (UPR): Adds capabilities to UML for a comprehensive facility to structure information in support of model based analysis for architecture optimization and system design.
  • Impact Article: A concise report on the academic research and commercial work that led to the UPR standard.
  • IEEE Article: Advanced research on how mathematical formalism can be used to define key terms in systems and architecture in a way that is precise yet intuitive, and use these terms to define a model based mathematical process for Architecture Definition in systems engineering.
  • Book: A post graduate level textbook on systems engineering that specifies formal transformations between the key models of MBSE using SysML that are suitable for practical engineering.
  • Math DSIG Paper: Offers a distilled summary of transformations of graphical models that have been expressed in SysML diagrams, from Use Cases through Sequence Diagrams.
  • September 2022 Presentation to Ontology PSIG: Mathematical Foundations of Transformation of Knowledge into Models and between Models
  • June 2022 UPR Presentation to Systems Engineering DSIG


Get Involved:

If interested in getting involved with the Math DSIG please contact