An Automatic Implementation Method for Specifications in LOTOS.

Saved in:

Bibliographic Details
Title:	An Automatic Implementation Method for Specifications in LOTOS.
Authors:	Nomura, Shingo¹, Takizuka, Takashi¹, Hasegawa, Toru¹
Source:	Systems & Computers in Japan. 11/15/94, Vol. 25 Issue 13, p1-14. 14p.
Subjects:	LOTOS (Computer program language), Programming languages, Telecommunication systems, Computer science, Electronics
Abstract:	LOTOS is one of the specification description language for the communication protocol standardized by ISO. In constructing the LOTOS execution system, which translates the specification described by LOTOS into the program and executes the resulting program, a key problem is the realization of the interprocess communication. To solve this problem, this paper proposes the construction of a unique scheduler which has the functions of process management and communication. The proposed scheduler manages the stack assigned by OS, and realizes the parallel operation of the processes through the co-routine call of the process function. The object of synchronization is managed by providing a tree structure, which represents the parent-child relation of the processes, to the synchronization waiting queue containing the processes waiting for synchronization. In the proposed system, the scheduler provides the basic functions of LOTOS. Consequently, the program generated by the translator has a structure matched to the input specification. This helps to improve the readability and facilitates the modification and maintenance. The execution system based on the proposed method is applied to the development of a program, and it is verified that the interprocess communication of LTOTOS is efficiently realized, compared to the existing OS or the method based on the functions of the parallel programming language. [ABSTRACT FROM AUTHOR]
	Copyright of Systems & Computers in Japan is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database:	Engineering Source

Description
Abstract:	LOTOS is one of the specification description language for the communication protocol standardized by ISO. In constructing the LOTOS execution system, which translates the specification described by LOTOS into the program and executes the resulting program, a key problem is the realization of the interprocess communication. To solve this problem, this paper proposes the construction of a unique scheduler which has the functions of process management and communication. The proposed scheduler manages the stack assigned by OS, and realizes the parallel operation of the processes through the co-routine call of the process function. The object of synchronization is managed by providing a tree structure, which represents the parent-child relation of the processes, to the synchronization waiting queue containing the processes waiting for synchronization. In the proposed system, the scheduler provides the basic functions of LOTOS. Consequently, the program generated by the translator has a structure matched to the input specification. This helps to improve the readability and facilitates the modification and maintenance. The execution system based on the proposed method is applied to the development of a program, and it is verified that the interprocess communication of LTOTOS is efficiently realized, compared to the existing OS or the method based on the functions of the parallel programming language. [ABSTRACT FROM AUTHOR]
ISSN:	08821666