Automated generation of communication software from service specifications サービス仕様に基づく通信ソフトウェア自動作成

この論文をさがす

著者

    • 田倉, 昭 タクラ, アキラ

書誌事項

タイトル

Automated generation of communication software from service specifications

タイトル別名

サービス仕様に基づく通信ソフトウェア自動作成

著者名

田倉, 昭

著者別名

タクラ, アキラ

学位授与大学

東京工業大学

取得学位

博士 (理学)

学位授与番号

乙第2986号

学位授与年月日

1997-01-31

注記・抄録

博士論文

目次

  1. 論文目録 / (0002.jp2)
  2. Contents / p3 (0005.jp2)
  3. 1 Introduction / p1 (0007.jp2)
  4. 1.1 Automated Generation of Communication Software / p1 (0007.jp2)
  5. 1.2 Requisites for a Specification Language / p5 (0009.jp2)
  6. 1.3 Specification Completion / p8 (0011.jp2)
  7. 1.4 Protocol Synthesis / p9 (0011.jp2)
  8. 1.5 Refinement from Protocols to Software Specifications / p12 (0013.jp2)
  9. 1.6 Stepwise Refinement for Functional Models / p12 (0013.jp2)
  10. 1.7 Completing Protocols / p13 (0013.jp2)
  11. 1.8 Overview of the Thesis / p14 (0014.jp2)
  12. 2 Preliminaries / p17 (0015.jp2)
  13. 2.1 Network Architectures / p17 (0015.jp2)
  14. 2.2 Service and Protocol Specifications / p18 (0016.jp2)
  15. 2.3 STR / p19 (0016.jp2)
  16. 3 Specification Completion of Communication Services / p21 (0017.jp2)
  17. 3.1 Problem / p21 (0017.jp2)
  18. 3.2 Services and Requirements / p22 (0018.jp2)
  19. 3.3 Detection and Elimination of Specification Errors / p22 (0018.jp2)
  20. 3.4 Detection and Correction of Rule Errors / p23 (0018.jp2)
  21. 3.5 Detection of Insufficient Rules / p24 (0019.jp2)
  22. 3.6 Supplementing Insufficient Rules / p25 (0019.jp2)
  23. 3.7 Generating New Rules / p27 (0020.jp2)
  24. 3.8 Effectiveness and Limits / p35 (0024.jp2)
  25. 4 Protocol Synthesis for a Layered Architecture-Synthesizing Sequential Communication Protocols / p37 (0025.jp2)
  26. 4.1 Graph Representation of Service Specifications / p37 (0025.jp2)
  27. 4.2 Problem / p38 (0026.jp2)
  28. 4.3 Definitions / p40 (0027.jp2)
  29. 4.4 Protocol Synthesis Algorithm / p50 (0032.jp2)
  30. 4.5 Example / p51 (0032.jp2)
  31. 4.6 Complexity of Communication Time / p54 (0034.jp2)
  32. 5 Protocol Synthesis for a Layered Architecture-Synthesizing Parallel Communication Protocols- / p57 (0035.jp2)
  33. 5.1 Preliminaries / p57 (0035.jp2)
  34. 5.2 Protocol Synthesis Algorithm / p57 (0035.jp2)
  35. 5.3 Graph Analysis / p60 (0037.jp2)
  36. 5.4 Distributed Algorithm Generation / p64 (0039.jp2)
  37. 5.5 Evaluation / p66 (0040.jp2)
  38. 6 Software Specification Generation from Protocol Specifications / p67 (0040.jp2)
  39. 6.1 Detailed Specification Language STR/D / p67 (0040.jp2)
  40. 6.2 Example / p70 (0042.jp2)
  41. 7 Application to PBX Software Generation / p71 (0042.jp2)
  42. 7.1 Results of Specification Description / p71 (0042.jp2)
  43. 7.2 Evaluation of Description Results / p73 (0043.jp2)
  44. 7.3 Evaluation of Automated Software Generation for Non-Experts / p74 (0044.jp2)
  45. 7.4 Software Architecture / p75 (0044.jp2)
  46. 7.5 Implementation Results / p77 (0045.jp2)
  47. 8 Software Generation for Functional Model / p79 (0046.jp2)
  48. 8.1 Stepwise Refinement / p79 (0046.jp2)
  49. 8.2 Application / p80 (0047.jp2)
  50. 9 Completing Protocols / p85 (0049.jp2)
  51. 9.1 Protocol Model / p85 (0049.jp2)
  52. 9.2 Definition and Nature of Exceptional Behaviors / p88 (0051.jp2)
  53. 9.3 Completing Algorithm / p89 (0051.jp2)
  54. 9.4 Application / p95 (0054.jp2)
  55. 10 Conclusion / p101 (0057.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000153856
  • NII著者ID(NRID)
    • 8000001092870
  • DOI(NDL)
  • NDL書誌ID
    • 000000318170
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ