Contents of Report

[Data of Report]

Report Number:: TR0289
Date of Registration:: 1987.08
English Title:: Analysis of design Specification in a Communication System by means of Petri Nets
Japanese Title:: ***
English Author:: H.Hasegawa,W.Tanaka,K.Shibata
Japanese:: ***
Name of Organization to which author belongs:: Oki,Oki,Oki
PDF:: tr0289.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Specification Language for a Communication System	.... 2
3	Outline of EXPRESS	.... 2
3.1	Specification Acqisition Subsystem	.... 2
3.2	Knowledge Base	.... 3
3.3	Specification Verification Subsystem	.... 3
4	Integrasion of Servise Graphs	.... 3
4.1	SE (Service Element)	.... 3
4.2	PSG (Partinal Service Graph)	.... 3
4.3	TSG (Total Service Graph)	.... 3
5	Matrix of Petri Net	.... 5
6	Detection of Syntactic Inconsistencies	.... 5
6.1	Syntactic Inconsistencies	.... 5
6.2	Detection of Inconsistencies by Means of Petri Nets	.... 5
7	Integration by Utilizing a Matrix	.... 6
8	Presentation of New Service	.... 6
9	Conclusion	.... 6
	Acknowledgements	.... 7
	References	.... 7

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