【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Execution of distributed systems described in LOTOS and its visualization LOTOSで記述された分散システムの実行とその可視化

この論文をさがす

著者

    • 安本, 慶一 ヤスモト, ケイイチ

書誌事項

タイトル

Execution of distributed systems described in LOTOS and its visualization

タイトル別名

LOTOSで記述された分散システムの実行とその可視化

著者名

安本, 慶一

著者別名

ヤスモト, ケイイチ

学位授与大学

大阪大学

取得学位

博士 (工学)

学位授与番号

乙第6927号

学位授与年月日

1996-03-25

注記・抄録

博士論文

14401乙第06927号

博士(工学)

大阪大学

1996-03-25

12590

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p5 (0005.jp2)
  3. 1 Introduction / p1 (0006.jp2)
  4. 2 How to Describe Distributed Systems in LOTOS / p8 (0010.jp2)
  5. 2.1 A formal specification language LOTOS / p8 (0010.jp2)
  6. 2.2 Service specification and its correct protocol specification / p9 (0010.jp2)
  7. 3 Derivation of Protocol Specifications from Service Specifications in LOTOS with Data Parameters / p14 (0013.jp2)
  8. 3.1 Introduction / p14 (0013.jp2)
  9. 3.2 Developing distributed systems using LOTOS / p15 (0013.jp2)
  10. 3.3 Deriving protocol specifications / p20 (0016.jp2)
  11. 3.4 Evaluation / p27 (0019.jp2)
  12. 3.5 Conclusion / p28 (0020.jp2)
  13. 4 Interactive Execution and Visualization of Protocol Specifications in LOTOS in a Distributed Environment / p30 (0021.jp2)
  14. 4.1 Introduction / p30 (0021.jp2)
  15. 4.2 Facilities for executing protocol specifications / p30 (0021.jp2)
  16. 4.3 Design and implementation of the simulator / p33 (0022.jp2)
  17. 4.4 Application / p38 (0025.jp2)
  18. 4.5 Conclusion / p40 (0026.jp2)
  19. 5 Implementation of LOTOS Specifications using Multi-thread Mechanism and Real-time Visualization of their Execution / p42 (0027.jp2)
  20. 5.1 Introduction / p42 (0027.jp2)
  21. 5.2 Implementation of LOTOS specifications using multi-thread mechanism / p43 (0027.jp2)
  22. 5.3 Real-time visualization of dynamic behavior of LOTOS specifications / p56 (0034.jp2)
  23. 5.4 Evaluation / p66 (0039.jp2)
  24. 5.5 Conclusion / p70 (0041.jp2)
  25. 6 Conclusion / p71 (0041.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000130688
  • NII著者ID(NRID)
    • 8000000954435
  • DOI(NDL)
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 000000295002
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ