RE: UML



Date view Thread view Subject view Author view

Mitch Kokar (kokar@coe.neu.edu)
Thu, 4 Jan 2001 09:27:54 -0500


Mohamed, You can look at the UML'99 Proceedings. There are at least two papers there on the formalization of UML in Z - one by Robert France and another one by (I don't remember her name)from Australia. We have done some work on the formalization of UML using a category theoretical approach. You can get a glimpse of our approach by looking at a paper on my web page http://www.coe.neu.edu/~kokar/publications/ The title is: Formal Verification of UML Diagrams: A First Step Towards Code Generation. ==Mitch > -----Original Message----- > From: puml-list-request@cs.york.ac.uk > [mailto:puml-list-request@cs.york.ac.uk]On Behalf Of Mohamed M. Khatib > Sent: Thursday, January 04, 2001 5:52 AM > To: puml-list@cs.york.ac.uk > Subject: UML > > > Hi, > > I am Mohamed khatib a ph.d student at the cairo university. Title > of my thesis > is: " The Use of Formal Methods in the Software Construction". > The priamry > goals of my ph.d are to: > > 1.Identify and formalize UML modeling concepts in Z. > 2.Develop formal refinement techniques for UML. > 3.apply the refinement techniques developed in step2 to a > selected case study > in software construction. > > Please tell me if there are any related work regarding the above goals. > > Best regards, > > Mohamed. > > > > > ------------------------------------------- > The Fastest Browser on Earth now for FREE!! > Download Opera 5 for Windows now! Get it at > http://www.opera.com/download/ > ------------------------------------------- > > > > > 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