2024-03-29T23:07:48Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000338202024-03-29T05:26:34Z01164:02822:02823:02825
動作要求のモデル化と管理The Modeling and Managing of the Behavioral Specificationjpnhttp://id.nii.ac.jp/1001/00033820/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=33820&item_no=1&attribute_id=1&file_no=1Copyright (c) 2008 by the Information Processing Society of Japanイーソル株式会社リサーチ&コンサルテーションサービス部イーソル株式会社リサーチ&コンサルテーションサービス部神田, 未来藤倉, 俊幸動作に関する要求を,マインドマップによりブレークダウンしさらにプロセス代数式(FSP)によって形式仕様化する手法を提案する.提案手法では,形式化した仕様を組み合わせることで動作モデルを生成することができる.この際,仕様間に矛盾が無いことを検証することができる.動作モデルは,タスク設計情報として利用できる.This paper focuses attention on behavior requirements, and extracts behavioral specifications by using the MindMap from them. The specifications are formalized to FSP descriptions. The composition of FSP can make a conflict-free behavior model by the model checking. The behavior models are available for the designing of the task structure for the multitasking system.AA12149313情報処理学会研究報告組込みシステム(EMB)200855(2008-EMB-009)1011062008-06-122009-06-30