IPMFSSF — Formalisms need further clarification

On behalf of Olivier Constant, Thales Group:

My main concern is about the "formalism" concepts from Section 10, which are central in the specification. There seems to be a Boolean interpretation for FormalDefinition and all its subclasses, but this interpretation is not explicitly explained. What does it represent? Is it related to pattern conformance? It seems to me that this is a major issue.

Add explanatory text to Formalisms package to clarify intentions and applicability

The Formalisms package was lacking sufficient explanatory text to allow for implementation solely on the basis of the specification. This is now fixed. No changes made to metamodel or semantics, this is strictly explanatory text, but a significant amount of it.