Re: UML and formal languages



Date view Thread view Subject view Author view Attachment view

From: Behram Khan (behram_khan81@hotmail.com)
Date: Thu 31 Mar 2005 - 17:25:10 BST


If we eventually get a procedure (that is a widely accepted standard) of 
verifying a UML model then there will be no need for the other formal 
specification languages like Z,VDM,B etc?

>From: boulange@hds.utc.fr
>To: puml-list@cs.york.ac.uk, Behram Khan <behram_khan81@hotmail.com>
>CC: puml-list@cs.york.ac.uk
>Subject: Re: UML and formal languages
>Date: Thu, 31 Mar 2005 18:06:52 +0200
>
>UML is a semi-formal method (lack of semantic),
>  Q: How we can verify an UML model ?
>    Many work are in progress in this subject.....
>
>Z, VDM and B for examples are formal method
>     - syntax,
>     - semantic and
>     - verification process.
>
>
>Selon Behram Khan <behram_khan81@hotmail.com>:
>
> > Hi.
> > I am a BE student from NUST Pakistan. I am stuying formal methods as a
> > subject. We had a discusison in the class that "is UML a replacement for
> > formal methods?  if not then what is the difference between UML and 
>formal
> > languages, and what benifits can formal languages(liek z and VDm) give 
>that
> > UML cant".
> > There were many views so i just wanted to know any coments form anyone 
>about
> >
> > this topic in this group.
> > thank you
> >
> >
> >
> >
> >
> > To remove yourself from this list please mail
> > puml-list-request@cs.york.ac.uk
> > with a message containing the word "unsubscribe".
> >
>
>
>
>
>-------------------------------------------------
>

Date view Thread view Subject view Author view Attachment view