Re: Formal semantics paper - from Marco Carbone et al

I note Page 99 of the paper (the pdf file whose link Steve sent
to the list) contains discussions on relation to Kobayashi-
Igarashi-Rehof's works as well as many others.

As we wrote there, Baeton and others' DiCons is the first fully-
fledged global language as far as we know, even though this
language seems not to have been known at the time WS-CDL started
to be designed. Other than the obvious predecessors such as
UML sequence diagrams and message sequence charts (whose purposes
are different from WS-CDL, but which do share the common great
idea, a global description of interactions), it would be nice to
know a history of this class of description languages.

kohei

Received on Wednesday, 2 August 2006 12:47:25 UTC