文献

J-GLOBAL ID：201302209415969253   整理番号：13A0529689

プロセス代数CSPを使ったシーケンス線図の詳細化と検証

Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP

著者 (3件)： KAIZU Tomohiro (Japan Advanced Inst. of Sci. and Technol.) ,  ISOBE Yoshinao (National Inst. of Advanced Industrial Sci. and Technol.) ,  SUZUKI Masato (Japan Advanced Inst. of Sci. and Technol.)
資料名： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers))
巻： E96-A  号： 2  ページ： 495-504 (J-STAGE)  発行年： 2013年 
JST資料番号： F0699C  ISSN： 0916-8508  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： シーケンス線図はソフトウェアモジュールの設計にしばしば使用される。この論文では,著者らはシーケンス線図の正しさを検証する方法を提案する。この方法により,プロセス代数CSPを使って,多くのシーケンス線図から同時実行システムを合成できる。著者らは,シーケンス線図合成のために新しいCSPオペレータを定義する。著者らは,また,著者らの合成法を実行するツールに関して報告し,このツールがシーケンス線図をどのように分析するかを示す。(翻訳著者抄録)

シソーラス用語： ソフトウェア開発 ,  *図面 ,  *オブジェクト指向設計 ,  UML【モデリング言語】 ,  *プログラム検証 ,  CSP【計算機】 ,  計算機処理方式
準シソーラス用語： *シーケンス図

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (11件)：

• HOARE, C. A. R. Communicationg Sequential Processes. 1985
• ROSCOE, A. W. The Theory and Practice of Concurrency. 1998
• Formal Systems (Europe) Limited. FDR2 User Manual. http://www.fsel.com/fdr2_manual.html
• BUTH, B. Model-checking the architectural design of a fail-safe communication system for railway interlocking systems. FM99. 1999, 1869-1869
• RYAN, P. The modelling and analysis of security protocols : the csp approach. 2001

タイトルに関連する用語 (5件)： プロセス代数 ,  CSP ,  シーケンス ,  線図 ,  検証