Execution of distributed systems described in LOTOS and its visualization LOTOSで記述された分散システムの実行とその可視化
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Execution of distributed systems described in LOTOS and its visualization
- Other Title
-
LOTOSで記述された分散システムの実行とその可視化
- Author
-
安本, 慶一
- Author(Another name)
-
ヤスモト, ケイイチ
- University
-
大阪大学
- Types of degree
-
博士 (工学)
- Grant ID
-
乙第6927号
- Degree year
-
1996-03-25
Note and Description
博士論文
Table of Contents
- Abstract / p1 (0003.jp2)
- Contents / p5 (0005.jp2)
- 1 Introduction / p1 (0006.jp2)
- 2 How to Describe Distributed Systems in LOTOS / p8 (0010.jp2)
- 2.1 A formal specification language LOTOS / p8 (0010.jp2)
- 2.2 Service specification and its correct protocol specification / p9 (0010.jp2)
- 3 Derivation of Protocol Specifications from Service Specifications in LOTOS with Data Parameters / p14 (0013.jp2)
- 3.1 Introduction / p14 (0013.jp2)
- 3.2 Developing distributed systems using LOTOS / p15 (0013.jp2)
- 3.3 Deriving protocol specifications / p20 (0016.jp2)
- 3.4 Evaluation / p27 (0019.jp2)
- 3.5 Conclusion / p28 (0020.jp2)
- 4 Interactive Execution and Visualization of Protocol Specifications in LOTOS in a Distributed Environment / p30 (0021.jp2)
- 4.1 Introduction / p30 (0021.jp2)
- 4.2 Facilities for executing protocol specifications / p30 (0021.jp2)
- 4.3 Design and implementation of the simulator / p33 (0022.jp2)
- 4.4 Application / p38 (0025.jp2)
- 4.5 Conclusion / p40 (0026.jp2)
- 5 Implementation of LOTOS Specifications using Multi-thread Mechanism and Real-time Visualization of their Execution / p42 (0027.jp2)
- 5.1 Introduction / p42 (0027.jp2)
- 5.2 Implementation of LOTOS specifications using multi-thread mechanism / p43 (0027.jp2)
- 5.3 Real-time visualization of dynamic behavior of LOTOS specifications / p56 (0034.jp2)
- 5.4 Evaluation / p66 (0039.jp2)
- 5.5 Conclusion / p70 (0041.jp2)
- 6 Conclusion / p71 (0041.jp2)