Art

J-GLOBAL ID：200902226797788635   Reference number：07A0021458

Consistency analysis between state charts and sequence charts by model checking

モデル検査によるステートチャートとシーケンスチャートの整合性検証

Author (2)： HASEGAWA TETSUO (早稲田大) ,  FUKAZAWA YOSHIAKI (早稲田大)
Material： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
Volume： 106  Issue： 340(AI2006 12-20)  Page： 41-46  Publication year： Nov. 03, 2006 
JST Material Number： S0532B  ISSN： 0913-5685  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *real time processing ,...
Semi thesaurus term： state chart ,...

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

JST classification (3)： Computer system development  (JD02010R) ,  Theory of computation  (JB02000A) ,  Computer networks  (JC03000K)

Reference (5)：

• UML Profile for Schedulability, Performance and Time. URL : http://www.omg.org/cgi-bin/doc?formal/2005-01-02. 2005
• INVERARDI, Paola. Automated Check of Architectural Models Consistency Using SPIN. Proc. of ASE2001. 2001
• FIRLEY, Thomas. Timed Sequence Diagrams and Tool-Based Analysis A Case Study. Proc. of UML1999. 1999
• BEHRMANN, Gerd. A Tutorial on Uppaal. Proc, of SFM-RT'04. 2004
• BENGTSSON, Johan. Verification of an Audio Protocol with Bus Collision Using Uppaal. Proc. of CAV1996. 1996

Terms in the title (5)： モデル検査 ,  チャート ,  シーケンス ,  整合性 ,  検証