The Executable UML Foundation has released the 2nd revised submission to the OMG RFP for a "Semantics of a Foundational Subset for Executable UML" here: http://www.omg.org/cgi-bin/doc?ad/08-05-02

This revised submission is particularly noteworthy because:
- the conformance clause has been significantly simplified (clause 2)
- the abstract syntax metamodel is about 1/2 the size of that of the UML (clause 7)
- there is an explicitly defined execution model (clause 8)
- there is an axiomatic formalization of the semantics of "base UML" based on NIST's Process Specification Language written in Common Logic (clause 10)

The last point is especially relevant to the Alloy community.

If it is reasonable to cast Alloy as a dialect of CL, then an Alloy/CL representation of an ExUML model would certainly make it easier to use Alloy-related technologyg to do useful things since the ExUML spec provides a lot of the axiomatization we'd need.

Any takers?

PS: Thanks Dan! Finally, no more Yahoo! authentification nonsense!