文献

J-GLOBAL ID：200902286423927359   整理番号：04A0806743

再利用性を備えた状態機械仕様

State Machine Specification with Reusability

著者 (5件)： ITABASHI G (Tohoku Univ., Sendai-shi, JPN) ,  TAKAHASHI K (Sendai National Coll. of Technol., Sendai-shi, JPN) ,  KATO Y (Sendai National Coll. of Technol., Sendai-shi, JPN) ,  SUGANUMA T (Tohoku Univ., Sendai-shi, JPN) ,  SHIRATORI N (Tohoku Univ., Sendai-shi, JPN)
資料名： 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))
巻： E87-A  号： 11  ページ： 2885-2894  発行年： 2004年11月01日 
JST資料番号： F0699C  ISSN： 0916-8508  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 既存の仕様を再利用し詳細化するために,並行システムの仕様記述...

シソーラス用語： *並行処理 ,...
準シソーラス用語： 状態機械

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0806743&from=J-GLOBAL&jstjournalNo=F0699C") }}

分類 (1件)： オートマトン理論  (JB04000O)

引用文献 (15件)：

• MILNER, R. Communication and Concurrency. 1989
• HAREL, D. The STATEMATE semantics of Statecharts. ACM Trans. Software Engineering and Methodology. 1996, 5, 4, 293-333
• ITABASHI, G. A specification method for mobile and concurrent systems based on the concept of field and finite state machine, and its application. Trans. IPSJ. 2001, 42, 12, 3041-3052
• ITABASHI, G. Specification and analysis of the contract net protocol. IEICE Trans. Fundamentals. 2002, E85-A, 11, 2447-2542
• TAKAHASHI, K. A composite specification method for concurrent systems based on state machine model. IEICE Technical Report. 2002, SS2002-15

タイトルに関連する用語 (2件)： 再利用性 ,  仕様