文献

J-GLOBAL ID：201702246561892829   整理番号：17A0980192

複数事象の発生を含意した区間振る舞い記述法とその検証法の提案

A Behavioral Specification Notation and Verification Method based on Section that Implies Multiple Events Occurrence

著者 (3件)： CHANG Han-Myung (南山大学理工学部ソフトウェア工学科) ,  野呂昌満 (南山大学理工学部ソフトウェア工学科) ,  沢田篤史 (南山大学理工学部ソフトウェア工学科)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 34  号： 2  ページ： 2_3-2_15(J-STAGE)  発行年： 2017年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 並行システム開発において,特に組み込みシステムでは並列に動作する複数のハードウェア装置のもとで複数の事象が並列に発生するので,同時に発生する事象を考慮する必要がある.我々はCSPに代表されるプロセス代数を用いて,同時の事象を含んだ振る舞いを形式的に記述して分析する方法を提案する.プロセス計算ではプロセスは事象の列としてモデル化されるので,同時の事象は複雑な記述になる.本稿では,複数事象の同時性の概念を明確にしCSPを用いてその記述法と検証法を提示する.自動販売機制御の事例を用いて提案する記述方法の有用性について議論する.(著者抄録)

シソーラス用語： CSP【計算機】 ,  *プログラム検証 ,  *並行処理 ,  並列計算機 ,  *プログラム実行 ,  イベント ,  *プロセス代数 ,  同時実行制御 ,  評価試験

分類 (3件)： 計算機システム開発  (JD02010R) ,  ディジタル計算機方式一般  (JC02010O) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 事象 ,  含意 ,  記述法 ,  検証 ,  提案