[antlr-interest] Re: SDL, MSC, ASN.1
Helmut Neukirchen
neukirchen at itm.mu-luebeck.de
Thu Mar 6 02:37:51 PST 2003
"Dvoryansky Leonid" <dvleonid at land.ru> wrote:
>
> Is there any implementation of SDL ITU.T Z.100 state machine on ANTLR?
> Even only text notation implemented.
> Or MSC?
Unfortunatly, I do not understand your question:
Why do you want to implement the state machine based semantics of SDL
using ANTLR? ANTLR is more related to the syntax of a language, not its semantics.
(BTW.: since the semantics of SDL is formally described, it is even possible
to derive in a (semi-)automatic way a compiler/simulator for SDL, but this
does not involve ANTLR, but some tools which have been developed for the
underlying Abstract State Machine semantics:
Eschbach, R., Glässer, U., Gotzhein, R., von Löwis, M., Prinz, A.:
Formal Definition of SDL-2000: Compiling and Running SDL Specifications as ASM Models,
Journal of Universal Computer Science 7 (11), 2001, Springer, pp. 1025-1050)
In case you are just looking for an ANTLR-based parser for SDL, MSC and ASN.1,
have a look at:
SDL: <http://www.teststep.org/>
MSC: <http://www.itm.mu-luebeck.de/research/main_projects/projects/single_projects/index.php?lang=en&pj_nr=8&opj_nr=2>
ASN.1: <http://www.antlr.org/grammars/ASN.1/ASN1_grammar.g/>
HTH,
Helmut
--
Helmut Neukirchen mailto:neukirchen at itm.uni-luebeck.de
Institute for Telematics http://www.itm.uni-luebeck.de
University of Luebeck phone: +49 451 500 4867
Ratzeburger Allee 160, D-23538 Luebeck, Germany fax: +49 451 500 3722
Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/
More information about the antlr-interest
mailing list