An algebraic formal method for component based software developments コンポーネントに基づくソフトウェア開発のための代数的形式手法に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
An algebraic formal method for component based software developments
- タイトル別名
-
コンポーネントに基づくソフトウェア開発のための代数的形式手法に関する研究
- 著者名
-
飯田, 周作
- 著者別名
-
イイダ, シュウサク
- 学位授与大学
-
北陸先端科学技術大学院大学
- 取得学位
-
博士 (情報科学)
- 学位授与番号
-
甲第68号
- 学位授与年月日
-
1999-03-23
注記・抄録
博士論文
Supervisor:二木 厚吉
情報科学研究科
博士
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/890
目次
- Contents / p3 (0004.jp2)
- Abstract / p1 (0003.jp2)
- Acknowledgments / p2 (0003.jp2)
- 1 Introduction / p1 (0005.jp2)
- 1.1 The contributions of this thesis / p2 (0006.jp2)
- 1.2 The structure of this thesis / p3 (0006.jp2)
- 2 Preliminaries / p5 (0007.jp2)
- 2.1 Equational specification / p6 (0008.jp2)
- 2.2 CafeOBJ syntax and conventions / p15 (0012.jp2)
- 2.3 Behavioural concurrent specification / p19 (0014.jp2)
- 2.4 Rewriting logic specification / p25 (0017.jp2)
- 3 Object composition / p29 (0019.jp2)
- 3.1 Parallel connection / p32 (0021.jp2)
- 3.2 Parallel connection with synchronisation / p34 (0022.jp2)
- 3.3 Dynamic connection / p40 (0025.jp2)
- 3.4 Sharing a component / p46 (0028.jp2)
- 3.5 Verification of a composite object / p49 (0029.jp2)
- 3.6 Controlling action sequence / p52 (0031.jp2)
- 3.7 Implementation issue / p54 (0032.jp2)
- 3.8 Handing non-functional aspects / p55 (0032.jp2)
- 4 Inheritance,aggregation,and relation / p59 (0034.jp2)
- 4.1 Inheritance / p59 (0034.jp2)
- 4.2 Aggregation and relation / p61 (0035.jp2)
- 5 Specification of ATM specification / p65 (0037.jp2)
- 5.1 Bank account system / p66 (0038.jp2)
- 5.2 ATM clients / p69 (0039.jp2)
- 5.3 ATM system / p75 (0042.jp2)
- 5.4 Top level of the system / p79 (0044.jp2)
- 5.5 Verification / p82 (0046.jp2)
- 6 Specification of ODP Trading Function / p89 (0049.jp2)
- 6.1 Basic data structures / p91 (0050.jp2)
- 6.2 Service type / p94 (0052.jp2)
- 6.3 Service type repository / p96 (0053.jp2)
- 6.4 Service offer / p98 (0054.jp2)
- 6.5 Expoter / p104 (0057.jp2)
- 6.6 Importer / p105 (0057.jp2)
- 6.7 Trader / p107 (0058.jp2)
- 6.8 Trading system / p111 (0060.jp2)
- 7 Related works / p119 (0064.jp2)
- 7.1 Object composition by amalgamation / p119 (0064.jp2)
- 7.2 Process Algebra / p120 (0065.jp2)
- 7.3 Concurrent objects in rewriting logic / p120 (0065.jp2)
- 7.4 Multi-paradigm specification / p121 (0065.jp2)
- 8 Conclusions and future works / p125 (0067.jp2)
- 8.1 Precise semantics of object-orientation / p125 (0067.jp2)
- 8.2 Our composition method and component based software developments / p126 (0068.jp2)
- 8.3 Patterns of composition / p126 (0068.jp2)
- 8.4 Future works / p127 (0068.jp2)
- Bibliography / p129 (0069.jp2)
- A Libraries / p133 (0071.jp2)
- A.1 TRIV+ / p133 (0071.jp2)
- A.2 LIST / p133 (0071.jp2)
- A.3 SET / p134 (0072.jp2)
- A.4 BAG / p135 (0072.jp2)
- A.5 CELL / p136 (0073.jp2)
- A.6 SWITCH / p137 (0073.jp2)
- A.7 B-LIST / p138 (0074.jp2)
- A.8 A-MEMORY / p139 (0074.jp2)
- A.9 A-MEMORY+ / p141 (0075.jp2)
- Publications / p143 (0076.jp2)