2024-03-29T16:58:21Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001178442023-11-17T02:17:36Z06504:07962:07968
リアルタイムソフトウェア向け視覚的設計支援の提案 : 動作設計技法の概要A visual design method for real-time application softwarejpnhttp://id.nii.ac.jp/1001/00117960/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=117844&item_no=1&attribute_id=1&file_no=1情報処理振興事業協会・技術センター情報処理振興事業協会・技術センター小山田, 正史岩戸, 伝一近年、通信ソフトや交換ソフトなどのリアルタイムソフトウェアの発展とともに、リアルタイムソフトウェアを対象としたさまざまな設計技法や支援システムが開発されてきた。従来の技法の多くは、対象システムの静的な仕様を機能的な構成要素の階層として、動的な仕様を構成要素の状態遷移として捉えていた。例えば、SDLでは、静的仕様を機能ブロック階層で、動的仕様を機能ブロック(に含まれるプロセス)の状態遷移図でモデル化している。実際の設計作業では、静的な仕様から状態遷移図などの動的な仕様をどのように構築するかが非常に重要になる。しかし、静的仕様から動的仕様を構築する過程を支援している設計技法は少ない。本稿では、システムに対する要求仕様をもとに、システムの動的仕様として状態遷移図を構築するまでを支援する設計技法(SNAPSHOT)を提案する。特に動的仕様に関する設計を、本稿では動作設計と呼ぶことにする。AN00349328全国大会講演論文集第39回ソフトウェア工学158215831989-10-162015-01-20