Re: UML and formal languages



Date view Thread view Subject view Author view Attachment view

From: zouhaib .. (zouhaib@hotmail.com)
Date: Sat 02 Apr 2005 - 08:47:25 BST




Hi,

Well Behram, UML is not a formal language till now (though some formalization is possible through OCL), because of lack of precision in its syntax (though described by meta-models), and imprecise and ambiguous semantics. On the other hand formal languages like Z, Z++ (an oo extension for Z), VDM, VDM++ are famous for their precision in semantics (and ease of use ... ;) :) ). For the later part of your question, please refer to my presentation slides attached, especially the references at the end could help a lot.

 

if you have any further queries, i'd be glad to help

Regards

 

--------------------------------------------
Muhammad Zouhaib Zafar
Member, Center for Software Dependability
Research Assistant
Mohammad Ali Jinnah University
Islamabad, Pakistan
Email: zouhaib@jinnah.edu.pk
--------------------------------------------------------


Date view Thread view Subject view Author view Attachment view