A study on a software engineering method for concurrent systems design by parallel TS charts 並列TSチャートによるコンカレントシステムの設計技法に関する研究

この論文をさがす

著者

    • Peter Dimitrov Petrov ペータ ディミトロフ ペトロフ

書誌事項

タイトル

A study on a software engineering method for concurrent systems design by parallel TS charts

タイトル別名

並列TSチャートによるコンカレントシステムの設計技法に関する研究

著者名

Peter Dimitrov Petrov

著者別名

ペータ ディミトロフ ペトロフ

学位授与大学

東海大学

取得学位

工学博士

学位授与番号

乙第153号

学位授与年月日

1991-09-19

注記・抄録

博士論文

目次

  1. CONTENTS / (0003.jp2)
  2. CHAPTER1.INTRODUCTION / p1 (0009.jp2)
  3. 1.1 Purpose of the thesis / p1 (0009.jp2)
  4. 1.2 Problems in concurrent systems design / p2 (0010.jp2)
  5. 1.3 Research goals / p5 (0013.jp2)
  6. 1.4 Structure of the thesis / p6 (0014.jp2)
  7. References / p8 (0016.jp2)
  8. CHAPTER2.REPRESENTATION OF PARALLEL COMPUTATION BY PARALLEL TS CHARTS / p11 (0019.jp2)
  9. 2.1 Introduction / p11 (0019.jp2)
  10. 2.2 Development of Parallel TS Charts structures for asynchronous parallel computation representation / p17 (0025.jp2)
  11. 2.3 Representation of parallel programming constructs for asynchronous parallel execution specification / p31 (0039.jp2)
  12. 2.4 Representation of synchronous parallelism / p47 (0055.jp2)
  13. 2.5 Conclusions and results / p55 (0063.jp2)
  14. References / p56 (0064.jp2)
  15. CHAPTER3.SHARED VARIABLES SYNCHRONIZATION AND COMMUNICATION REPRESENTATION BY PARALLEL TS CHARTS / p58 (0066.jp2)
  16. 3.1 Introduction / p58 (0066.jp2)
  17. 3.2 Methods and mechanisms for mutual exclusion / p60 (0068.jp2)
  18. 3.3 Parallel TS Charts representation of mutual exclusion / p62 (0070.jp2)
  19. 3.4 Methods and mechanisms for shared variables synchronization and interprocess communication / p68 (0076.jp2)
  20. 3.5 Parallel TS Charts representation of shared variables synchronization and communication / p73 (0081.jp2)
  21. 3.6 Concurrent problems solving by Parallel TS Charts shared memory synchronization structures / p86 (0094.jp2)
  22. 3.7 Results and conclusions / p94 (0102.jp2)
  23. References / p94 (0102.jp2)
  24. CHAPTER4.MESSAGE PASSING COMMUNICATION AND SYNCHRONIZATION REPRESENTATION BY PARALLEL TS CHARTS / p96 (0104.jp2)
  25. 4.1 Introduction / p96 (0104.jp2)
  26. 4.2 Message passing communication and synchronization mechanisms and language constructs / p97 (0105.jp2)
  27. 4.3 Analysis of message passing communication and synchronization mechanisms / p107 (0115.jp2)
  28. 4.4 Parallel TS Charts representation of message Passing mechanisms and program constructs / p111 (0119.jp2)
  29. 4.5 Representation of concurrent languages message based synchronization and communication / p124 (0132.jp2)
  30. 4.6 Concurrent problems solving by Parallel TS Charts message passing communication structures / p134 (0142.jp2)
  31. 4.7 Results and conclusions / p140 (0148.jp2)
  32. References / p140 (0148.jp2)
  33. CHAPTER5.DEVELOPMENT OF A NEW DISTRIBUTED PROGRAMMING CONCEPT AND ITS REPRESENTATION BY PARALLEL TS CHARTS / p142 (0150.jp2)
  34. 5.1 Introduction / p142 (0150.jp2)
  35. 5.2 Development of a new distributed interprocess communication mechanism / p143 (0151.jp2)
  36. 5.3 Developing a new synchronization mechanism for distributed variables communication / p149 (0157.jp2)
  37. 5.4 Parallel TS Charts representation of distributed variables communication and synchronization / p156 (0164.jp2)
  38. 5.5 Concurrent problems solving with distributed variables communication and synchronization / p163 (0171.jp2)
  39. 5.6 Results and conclusions / p173 (0181.jp2)
  40. References / p174 (0182.jp2)
  41. CHAPTER6.DEVELOPMENT OF A NEW SOFTWARE ENGINEERING METHOD FOR CONCURRENT PROGRAMMING USING PARALLEL TS CHARTS / p176 (0184.jp2)
  42. 6.1 Introduction / p176 (0184.jp2)
  43. 6.2 Proposal for software engineering method based on Parallel TS Charts / p177 (0185.jp2)
  44. 6.3 Concurrent programming environment specification / p181 (0189.jp2)
  45. 6.4 Software engineering method application example / p187 (0195.jp2)
  46. 6.5 Experiments for concurrent programs design using Parallel TS Charts software engineering method / p196 (0204.jp2)
  47. 6.6 Results and conclusions / p208 (0216.jp2)
  48. References / p209 (0217.jp2)
  49. CHAPTER7.CONCLUSION / p210 (0218.jp2)
  50. 7.1 Results / p210 (0218.jp2)
  51. 7.2 Further research topics / p215 (0223.jp2)
  52. ACKNOWLEDGMENT / p216 (0224.jp2)
  53. APPENDIX.PARALLEL TS CHARTS SYMBOLS AND STRUCTURES DEFINITIONS / p217 (0225.jp2)
  54. INDEX / p230 (0238.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000080817
  • NII著者ID(NRID)
    • 8000000081024
  • DOI(NDL)
  • NDL書誌ID
    • 000000245131
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ