Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!ukc!dcl-cs!msm From: msm@comp.lancs.ac.uk (Mark S Madsen) Newsgroups: comp.specification Subject: Re: VDM vs Z notation? (misinformation :-) Keywords: LOTOS, Z Message-ID: <1376@dcl-vitus.comp.lancs.ac.uk> Date: 19 Jun 91 09:24:11 GMT References: <1991Jun18.152454.27474@fmg.bt.co.uk> Reply-To: msm@comp.lancs.ac.uk (Mark S Madsen) Organization: Department of Computing at Lancaster University, UK. Lines: 54 In article <1991Jun18.152454.27474@fmg.bt.co.uk> elc@fmg.bt.co.uk (Elspeth Cusack) writes: >Mark S Madsen >, quoted by collin@hpindda.cup.hp.com (Collin > Park @ HP Information Networks) said: (I apologise in advance for any inconsistencies that may arise through my not having ever seen Collin's quotation of my email to him.) >These both sound like malicious rumours :-) Standardising on VDM??? >Someone is joking with you. I can tell you that BT (formerly British >Telecom) has standardised on LOTOS and Z. Sounds like my sort of self-assured tone, so it was probably I that wrote it :-) >This statement about BT interest in formal methods is a little >misleading. It is true that there is research activity in both ^^^^^^^^^^ Oh, definitely it must indeed have been I writing, if the content is misleading! >LOTOS and Z,and that these are our `favoured candidates' (as >researchers) for specifying distributed systems. But that is a >long way from saying that the company has standardised on LOTOS >and Z! BT also has an active community of SDL users in the >protocol testing field, and considerable involvement with >software methodologies and development conventions. My apologies to everyone at BT for misrepresenting them to the world. (I am not apologising for misleading the net because the above quote was sent in private email, and quoted without permission from me.) I was clearly under a mistaken impression that LOTOS and Z were in possession of official approval. However (I love having the opportunity to begin a paragraph with that word :-), let me emphasise that at least one point in my original posting was correct, and is implied in Elspeth's posting: VDM is by no means the only formal technique in use in the UK with either business or academic concerns. >Elspeth Cusack Hope you're all keeping well down there - say hi to Steve from me. Mark -- ______________________________________________________________________ Mark S Madsen +44-524-65201x3819 msm@comp.lancs.ac.uk Department of Computing, Lancaster University, LA1 4YR, UK ______________________________________________________________________