Analysis of the Analysis Formalism
At the heart of any MDA tool there lies a Metamodel. And at the center of the Metamodel there is a model that describes the tool's modeling notation. This model is the analysis of Object Oriented Analysis.
Notations like UML describe diagram syntax - what the boxes and arcs represent in each type of diagram. Some notations may also provide some information and rules about diagram semantics.
The Analysis of the Analysis Formalism simply means that the OOA modeling notation is used to analyse the OOA modeling notation. In other words, in an OOA of OOA, the modeling notation is used to describe itself.
What makes the OOA of OOA so powerful is that it enables any analysis model to be held in standard form no matter the type of application being modelled. The OOA of OOA shows objects such as Event, Attribute, State, Transition and of course Object.
In PLASMA, this model is based on an analysis of the Shlaer-Mellor Analysis Formalism. It is represented by an Information Model and is implemented by a number of relational tables. Because PLASMA uses the OOA of OOA as its repository for UML, the OOA of OOA is populated by the Analyst as diagrams are entered into the tool.
The actual OOA of OOA Class Diagram used in PLASMA to generate code should be available for download before the end of 2004.