Contents of Report

[Data of Report]

Report Number:: TR0879
Date of Registration:: 1994.06
English Title:: Compositional Adjustment of Concurrent Programs to Satisfy Temporal Logic Constraints In MENDELSZONE
Japanese Title:: ***
English Author:: N.Uchihira,S.Honiden
Japanese:: ***,***
Name of Organization to which author belongs:: TOSHIBA,TOSHIBA
PDF:: tr0879.pdf

	Abstract	.... 2
1	Introduction	.... 3
1.1	Motivation	.... 3
1.2	Overview of Main Results	.... 4
1.3	Significance of this Paper	.... 7
1.4	Organization of the Paper	.... 8
2	Finite state Processes	.... 8
2.1	Finite State Processes	.... 8
2.2	Equivalence of Finite State Processes	.... 11
2.3	Operators on Finite State Processes	.... 12
3	Program Adjustment	.... 15
3.1	Temporal Logic	.... 15
3.2	Basic Adjustment	.... 17
3.3	Compositional Adjustment	.... 19
4	MENDELS ZONE	.... 21
4.1	Overview	.... 21
4.2	MENDEL NET	.... 22
4.3	MENDEL NET Construction	.... 22
4.4	MENDEL NET Verification and Adjustment	.... 24
4.5	Compilation to KL1 and Execution	.... 24
5	Example; The Machine Control Program	.... 25
6	Conclusions and Related Works	.... 25
	Acknowledgements	.... 28
	References	.... 29
	End	.... 30

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