Update of /project/climacs/cvsroot/papers/ilc2005/syntax In directory common-lisp.net:/tmp/cvs-serv15539
Modified Files: climacssyntax.bib climacssyntax.tex Removed Files: ttcn3msc.eps ttcn3msc.pdf Log Message: A few more small modifications; only one FIXME remains.
Date: Mon May 23 15:57:22 2005 Author: bmastenbrook
Index: papers/ilc2005/syntax/climacssyntax.bib diff -u papers/ilc2005/syntax/climacssyntax.bib:1.8 papers/ilc2005/syntax/climacssyntax.bib:1.9 --- papers/ilc2005/syntax/climacssyntax.bib:1.8 Mon May 23 13:34:58 2005 +++ papers/ilc2005/syntax/climacssyntax.bib Mon May 23 15:57:22 2005 @@ -178,3 +178,16 @@ OPTannote = {} }
+@Manual{TTCN3, + title = {Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language}, + key = {ETSI ES 201 873-1 V2.2.1}, + organization = {The European Telecommunications Standards Institute}, + year = {2003} +} + +@Manual{MSC, + title = {Message Sequence Chart (MSC)}, + key = {ITU-T Z.120}, + organization = {International Telecommunication Union}, + year = {1999} +}
Index: papers/ilc2005/syntax/climacssyntax.tex diff -u papers/ilc2005/syntax/climacssyntax.tex:1.22 papers/ilc2005/syntax/climacssyntax.tex:1.23 --- papers/ilc2005/syntax/climacssyntax.tex:1.22 Mon May 23 15:39:00 2005 +++ papers/ilc2005/syntax/climacssyntax.tex Mon May 23 15:57:22 2005 @@ -295,9 +295,8 @@ Common Lisp, Prolog, and a Testing Control Notation (TTCN-3). Each of these syntaxes is implemented with the provided Earley parser \cite{earley}. The lute tablature editor uses a per-buffer function -for its syntax analysis and implements a simple recursive-descent -parsing algorithm. (FIXME: is this true? I don't know enough about -parsing) +for its syntax analysis and implements a simple state-machine parser +for its regular notation.
\subsection{Per-Window Syntaxes}
@@ -346,13 +345,15 @@ the file. This adds a burden on the mode implementor that the syntax analyser be both bug-free and correspond with reality; a slightly-buggy or incomplete syntax mode will render the whole thing -useless. Violation of WiB? - -The Testing and Test Control Notation 3 (TTCN-3) language is a -language which captures detailed test specifications. TTCN provides -both a textual ``core'' grammar and a graphical presentation format -similar to Message Sequence Charts. Climacs currently provides an -editor for a subset of the TTCN-3 core language. +useless. We plan on implementing a resynchroniziation method for +parsers, which would allow the parse to continue at the next valid +parsable state in the buffer; see section \ref{sec:conclusions}. + +The Testing and Test Control Notation 3 (TTCN-3) language \cite{TTCN3} +is a language which captures detailed test specifications. TTCN +provides both a textual ``core'' grammar and a graphical presentation +format similar to Message Sequence Charts (MSCs) \cite{MSC}. Climacs +currently provides an editor for a subset of the TTCN-3 core language.
The TTCN-3 syntax is implemented with a high-level macro which defines classes and adds syntax rules using the syntax protocol for each