Behavior specification of reactive systems based on attributed finite state machines 属性付き状態遷移モデルに基づくリアクティブシステムの機能の記述

Access this Article

Title: Behavior specification of reactive systems based on attributed finite state machines

博士論文

論文目録 / (0002.jp2)
Contents / p1 (0004.jp2)
Preface / p1 (0008.jp2)
Acknowledgments / p3 (0010.jp2)
1 Introduction / p4 (0011.jp2)
1.1 Reactive Systems / p4 (0011.jp2)
1.2 Behavior Specification of Reactive Systems / p7 (0014.jp2)
1.3 Time Constraints / p8 (0015.jp2)
1.4 A New Specification Approach / p11 (0018.jp2)
1.5 Outline of the Dissertation / p12 (0019.jp2)
2 Survey of Techniques / p14 (0021.jp2)
2.1 Operational Models / p14 (0021.jp2)
2.2 Descriptive Specification / p23 (0030.jp2)
2.3 Other Specification Techniques / p29 (0036.jp2)
3 A Basic Model / p31 (0038.jp2)
3.1 Background and Problems / p31 (0038.jp2)
3.2 Attribute Grammar and HFP / p33 (0040.jp2)
3.3 Attributed Finite State Machines / p35 (0042.jp2)
3.4 Specification of Timing Properties / p41 (0048.jp2)
4 Extensions to the Basic Model / p47 (0054.jp2)
4.1 Hierarchical Structure / p47 (0054.jp2)
4.2 Concurrency / p54 (0061.jp2)
5 Case Study / p60 (0067.jp2)
5.1 Case1:An Assembly Line / p60 (0067.jp2)
5.2 Case2:A Telephone Machine / p65 (0072.jp2)
5.3 Case3:Dining Philosophers / p71 (0078.jp2)
5.4 Comparison between AFSM and Statecharts / p75 (0082.jp2)
6 Prototyping / p77 (0084.jp2)
6.1 Execution Algorithm / p77 (0084.jp2)
6.2 An Actual Prototype of the Assembly System / p80 (0087.jp2)
6.3 Correctness Proof for the Specification / p84 (0091.jp2)
6.4 Simulation Based on Prototype / p86 (0093.jp2)
7 Conclusion / p89 (0096.jp2)
7.1 Overall Summary / p89 (0096.jp2)
7.2 Future Work / p91 (0098.jp2)
Bibliography / p99 (0106.jp2)

3access