An Automatic Implementation Method for Specifications in LOTOS.
Saved in:
| Title: | An Automatic Implementation Method for Specifications in LOTOS. |
|---|---|
| Authors: | Nomura, Shingo1, Takizuka, Takashi1, Hasegawa, Toru1 |
| 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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 13945382 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: An Automatic Implementation Method for Specifications in LOTOS. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Nomura%2C+Shingo%22">Nomura, Shingo</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Takizuka%2C+Takashi%22">Takizuka, Takashi</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Hasegawa%2C+Toru%22">Hasegawa, Toru</searchLink><relatesTo>1</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Systems+%26+Computers+in+Japan%22">Systems & Computers in Japan</searchLink>. 11/15/94, Vol. 25 Issue 13, p1-14. 14p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22LOTOS+%28Computer+program+language%29%22">LOTOS (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Telecommunication+systems%22">Telecommunication systems</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+science%22">Computer science</searchLink><br /><searchLink fieldCode="DE" term="%22Electronics%22">Electronics</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=13945382 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 14 StartPage: 1 Subjects: – SubjectFull: LOTOS (Computer program language) Type: general – SubjectFull: Programming languages Type: general – SubjectFull: Telecommunication systems Type: general – SubjectFull: Computer science Type: general – SubjectFull: Electronics Type: general Titles: – TitleFull: An Automatic Implementation Method for Specifications in LOTOS. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Nomura, Shingo – PersonEntity: Name: NameFull: Takizuka, Takashi – PersonEntity: Name: NameFull: Hasegawa, Toru IsPartOfRelationships: – BibEntity: Dates: – D: 15 M: 11 Text: 11/15/94 Type: published Y: 1994 Identifiers: – Type: issn-print Value: 08821666 Numbering: – Type: volume Value: 25 – Type: issue Value: 13 Titles: – TitleFull: Systems & Computers in Japan Type: main |
| ResultId | 1 |
