Re: Help...Verify UML Design

Re: Help...Verify UML Design

From: Tom Mens <>
Date: Tue, 27 Jun 2006 11:10:55 +0200
Message-Id: <>
I fully agree with this need for a library of models, and I am even  
willing to contribute my own toy examples to this initiative.

The more important question, of course, is the availability of  
industrial models, which are much harder to get, as Greg mentioned. I  
do not have access to those either...

Nevertheless, I think it is an excellent idea to start collecting all  
models and making them available to everyone. (No I am not  
volunteering to manage this myself, I do not have sufficient  
resources and time, unfortunately. But I will contribute if someone  
starts up such an initiative.)

P.S. Wouldn't there be a way to get funding somewhere for such an  

Tom Mens.

On 27 Jun 2006, at 09:43, Greg O'Keefe wrote:

> On Sun, 2006-06-25 at 00:40, Islam Essam wrote:
>> Does any body could help me in finding such a sw UML
>> design (includes Class Diagram, Sequence Diagram,
>> State Diagram,...) to test/verify my tool on it???
> I do not have a model for you Islam, sorry.
> But I thought I'd grab this opportunity to jump on the soap-box again
> and say:  We need a library of models!
> This would be point of comparison for different tools and approaches.
> Some of you might know about TPTP (thousands of problems for theorem
> provers) which is enormously useful to the automated theorem proving
> people. Linguists have huge databases ("corpus") of text.  The famous
> model transformation example (classes -> database schema) was really
> useful in this way.
> I have considered entering a sample of the toy models found in the UML
> formalisation literature into EMF/UML2, which might be a useful
> beginning.  It would be much better to obtain some real-life models  
> from
> industry though.
> Anyone interested?
> Greg O'Keefe
> -- 
> Computer Sciences Laboratory
> Research School of Information Sciences and Engineering
> RSISE Building 115
> The Australian National University
> Canberra ACT 0200
> Australia
> T: +61-2-6125-8608
> F: +61-2-6125-8651
> E:
> W:
> To remove yourself from this list please mail puml-list- 
> with a message containing the word "unsubscribe".
Received on Tue 27 Jun 2006 - 10:09:08 BST