Mathematical Formalism Domain Special Interest Group

Mathematical Formalism Domain Special Interest Group

Using Mathematical Formalisms for Efficient Systems

The OMG's Mathematical Formalism Domain Special Interest Group (Math DSIG) looks to mathematically optimize systems via model-based systems engineering (MBSE). Complexity in modern systems poses significant challenges to the efficiency and assurance of developing useful models for product and service delivery to market.  Mathematical systems modeling simplifies the representation of complex systems and facilitates the analysis and forecast of system behavior. There is a significant opportunity for MBSE to reduce the complexity of system architecting and design while improving the scientific quality of the models developed. The Math DSIG can help redefine your system's efficiency.


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.
  • December 2022 BAE Systems Presentation: Why is mathematical formalism needed in Systems Engineering?
  • December 2022 Loughborough University Presentation: Model Synchronization in a Joint-Cognitive Paradigm
  • June 2024 Presentation 1 at Mathsig: Artificial General Intelligence (AGI) realized by Stochastic Fibred Category Theory
  • June 2024 Presentation 2 at Mathsig: ROSETTA Implementation in SysML v2 Revisited


Get Involved:

If you're an OMG member, have a member account, and want to get involved, you can Subscribe to The Math DSIG Mailing List to receive frequent group email updates and/or contact [email protected]. If you don't know if your organization is already a member, check the OMG Member ListRequest An Account, and follow the prior steps, if your organization is a member, to get engaged. If not a member and interested in getting involved please visit our Membership Overview Webpage and/or contact [email protected].