Domain Level Special Interest Group

Math Formalism


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.

Get Involved:

If you are interested in getting involved with this group, want more information or would like to come as a guest to an upcoming meeting and obtain temporary access to the mailing list, please contact one of our Account Representative or contact one of the Chairs.