Contents of Report

[Data of Report]

Report Number:: TR0271
Date of Registration:: 1987.06
English Title:: Concurrent Program Synthesis with Reusable Components Using Temporal Logic
Japanese Title:: ***
English Author:: N.Uchihira,T.Kasuya,K.Matsumoto,S.Honiden
Japanese:: ***
Name of Organization to which author belongs:: Toshiba,Toshiba,Toshiba,Toshiba
PDF:: tr0271.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Programming Model	.... 4
3	Mendel/87	.... 6
3.1	Overview	.... 6
3.2	Object	.... 6
3.3	Main Program	.... 8
3.4	Gate and Gate Controller	.... 9
3.5	Signal Gate and End-of-gate	.... 9
4	Object Retrieval and Interconnection	.... 10
4.1	Manual	.... 10
4.2	Automatic	.... 10
4.3	More Flexible Automatic Binding	.... 11
5	Synchronization Supervisor Synthesis	.... 14
5.1	Spcification Langage for Synchronization	.... 14
5.2	Scheduling Rule Synthesis for the Gate Controller	.... 15
6	Concurrent Program Prototyping System Overview	.... 17
7	Synthesis Example; Keyword Count Program	.... 18
8	Conclusion	.... 21
	Acknowledgment	.... 22
	References	.... 23
	End	.... 36

目次をクリックすると、PDFファイルが表示されます。