Re: Generating Ada from UML on Linux

[Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>]

On Thu, 10 Aug 2006, Jacob Sparre Andersen wrote:

"[..]

Which formal specification language would you suggest for teaching
undergraduate students?  I am open to suggestions.  [..]"

I am not sure which to suggest, a number of them also have weaknesses and 
I do not know all of the good specification languages. VDM (specifically 
VDM-SL) can be represented in ASCII but it has no reuse capability 
whatsoever (e.g. it is not possible to write in VDM
predicate_p := some really long expression which will appear many times
predicate_q := some really long expression which will appear many times
predicate_r := some really long expression which will appear many times
if predicate_p and predicate_q
--...
elsif predicate_p or predicate_r
--...
else
--...). Z has this basic capability but is not expressible in ASCII (some 
people write it in LaTeX but LaTeX can easily need several runs before 
all interdependant references are resolved but still produces output 
which if not thoroughly checked could be mistaken for a finished 
document). Also, Z does not have any built-in temporal facilities.

Being an Ada course, the SPARK specification language might not be 
irrelevant.