Art

J-GLOBAL ID：200902286423927359   Reference number：04A0806743

State Machine Specification with Reusability

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

Author (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)
Material： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Fundam Electron Commun Comput Sci (Inst Electron Inf Commun Eng))
Volume： E87-A  Issue： 11  Page： 2885-2894  Publication year： Nov. 01, 2004 
JST Material Number： F0699C  ISSN： 0916-8508  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *concurrent processing ,...
Semi thesaurus term： state machine

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=04A0806743&from=J-GLOBAL&jstjournalNo=F0699C") }}

JST classification (1)： Automaton theory  (JB04000O)

Reference (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

Terms in the title (2)： 再利用性 ,  仕様