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.
11 December 2008
