[climacs-cvs] CVS update: papers/ilc2005/syntax/climacssyntax.bib papers/ilc2005/syntax/climacssyntax.tex papers/ilc2005/syntax/ttcn3msc.eps papers/ilc2005/syntax/ttcn3msc.pdf

[Brian Mastenbrook]

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 = 	 {}
 }
 
+ at 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}
+}
+
+ at 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