A translation method from natural language specifications into formal specifications using contextual dependencies

@inproceedings{Ishihara1993ATM,
  title={A translation method from natural language specifications into formal specifications using contextual dependencies},
  author={Yasunori Ishihara and Hiroyuki Seki and Tadao Kasami},
  booktitle={RE},
  year={1993}
}
This paper presents a method of translating natural language specifications of communication protocols into algebraic specifications. Such a natural language specification specifies action sequences performed by the protocol machine (program). Usually, a sentence implicitly specifies the state of the protocol machine at which the described actions should be performed. A method of analyzing the implicitly specified states of the protocol machine is proposed taking the OSI session protocol… CONTINUE READING