Information Technology Reference
In-Depth Information
CM
indicates whether the formalism considers the composition of
multiple services.
MC
indicates whether a mediation code generation method is given.
AM
indicates whether a method for automatic message mapping
between services is given.
CP
indicates whether correctness proof for a given method is given.
