Automated Model Consistency Checking?

[mbc]

Does anyone know of ways to do automated consistency checking in EA?

I am thinking about checks such as:
- Do all messages in a sequence diagram correspond to a relation between classes in a class diagram? Or are some objects sending messages to objects that are invisible to them?

- Do associations in collaboration diagrams correspond to class association?

In this context, my previous feature request regarding automatic conversion/updating between sequence and collaboration diagrams become relevant again. It could be implemented so that a sequence diagram always has a corresponding collaboration diagram (automatically generated). The associations in the collaboration diagram could then be checked against associations between the classifiers of the objects.

If some automated correspondance between attributes, association roles, object names, sequence names etc. was added, then it would just be amazing!

I am interested to hear of
- methods you already use to accomplish things like this
- additional ideas or objections to what I wrote
- comments from Sparx regarding their plans to incorporate things like these.

Mikkel