The BritishComputerSociety ObjectOrientedProgrammingAndSystemsGroup? hosted a presentation by IanWilkie? of KennedyCarter regarding their xUML process/products 5 April 2000. Here's an except from the posted agenda:
Here's what I learned:
xUML is a process built around KennedyCarter's ActionSpecificationLanguage. It involves building two sets of models:
The tool will animate these analysis models for V+V. The idea is that you write tests in ASL based on your use-cases.
Then you hit the button, and the code generator uses the rules in the design model to implement the analysis model. There are two generations of code generator available: the original yacc/lex family, and newer ones built by constructing an analysis model of the desired code generation process, then using ASL in a design model for code generators to walk over the new code-gen analysis model and use a pre-existing code generator to build your new code generator. Or something like that... [See also: RecursiveDesign]
They seem to be doing reasonably well in the same space that the ShlaerMellorMethod was never able to break out of: SoftRealTime?, control, simulation-y sort of things.
The idea of using the UML as a programming language is advanced in this OMG RFP: http://cgi.omg.org/techprocess/meetings/schedule/Action_Semantics_for_UML_RFP.html. These's a description under "RFP issued ... Relevant Documents": skip to section 6.
See also: ActionSpecificationLanguage, UnifiedModelingLanguage, RecursiveDesign, ShlaerMellorMethod, ArgoUml, UmlSchema