Re: Help...Verify UML Design

Re: Help...Verify UML Design

From: Tom Mens <>
Date: Tue, 27 Jun 2006 11:07:27 +0200
Message-Id: <>
Given that I have done some research on detecting model  
inconsistencies myself (in collaboration with a couple of  
colleagues), I would also very much like to see the types of model  
inconsistencies you aim to detect:

- which types of inconsistencies (syntactic, structural, behavioural  
- for which types of models?

Concerning the availability of models, yes there is a clear lack of  
freely available models in our community, and we should do something  
about it. Somehow we should come up with a database of available  
models that everyone can use freely for his research purposes.

On 24 Jun 2006, at 16:40, Islam Essam wrote:

> Dear All,
> I've made a software tool that could verify the UML
> design w.r.t some sources of inconsistencies.
> Now, I want to test this tool for an existsing sw UML
> model.
> 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???
> Thank you very much.
> Islam Essam.
> __________________________________________________
> Do You Yahoo!?
> Tired of spam?  Yahoo! Mail has the best spam protection around
> To remove yourself from this list please mail puml-list- 
> with a message containing the word "unsubscribe".
Received on Tue 27 Jun 2006 - 10:05:51 BST