中間言語にペトリネットを用いたSDL仕様設計の一方式
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア開発工程の中の仕様作成段階への支援は、ソフトウェア生産性向上への重要な鍵である。特に構内交換機等の通信システムに対する年々多様化するユーザ要求に迅速な対応を行う為には、曖昧なユーザ要求をいかに正確に仕様化するかが重要である。このため筆者らは仕様作成段階を中心に支援する通信ソフトウェア設計支援環境の開発を行っている。本稿では支援環境の一部として試作を行った、ペトリネットで記述した状態遷移図をCCITT勧告の仕様記述言語SDLによる記述に変換するペトリネット→SDLトランスレータについて報告する。
- 一般社団法人情報処理学会の論文
- 1989-10-16
著者
関連論文
- SDLプロセスごとのペトリネット変換による仕様検証(コンカレントシステム, 一般)
- 次世代の産業社会におけるコンカレント技術
- GHCプログラムの検証と性能評価
- 制約論理型言語を用いたプランニングの記述
- 並列プログラムの動作評価に関する一検討
- 通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法 (コンカレント・コラボレーション技術論文小特集)
- ペトリネットによる並列プログラムの動作解析に関する一考察
- 中間言語にペトリネットを用いたSDL仕様設計の一方式
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- Coloured Petri Netsに基づいた通信サービス要求仕様化支援
- ABC/ABMによるソフトウェア品質保証業務のBPR
- ABC/ABMによるソフトウェア品質保証業務のBPR
- 通信システムにおける設計仕様の統合方式の一考察
- 通信システム開発における仕様記述法の現状と課題
- 通信ソフトウェア開発環境の現状と課題
- ソフトウェア開発プラットフォ-ム--多様化する通信サ-ビスの実現をめざして (ネットワ-ク特集)
- 通信ソフトウェアの開発環境
- 定理証明に基づくプロトコルの設計支援
- 通信システムの要求充足問題のペトリネットによるモデル化について
- WWWを利用したソフトウェアの設計情報管理手法
- 通信ソフトウェアの開発支援のための検証
- FDTの並行動作表示における比較
- オブジェクト指向並行設計支援システム
- オブジェクト指向並行設計支援システム
- 模倣関係に基づくSDLダイナミックアナライザ
- OMTに基づくC++用クラス設計支援ツール
- C++言語用HCPチャ-トシステム (ソフトウェア生産)
- オブジェクト指向対応HCPチャートシステム
- ぺトリネットによる変換 SDL 仕様の検証方式
- 8. 通信ソフトウェア要求仕様化設計へのペトリネットの応用 ( ネット指向パラダイムを求めて)
- PA-6-3 通信システム開発におけるコンカレント技術
- AP-2-3 製品開発プロセスにおけるコンカレント工学への期待(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- コンカレントシステムの仕様記述法について
- 通信ソフトウェア設計支援システムにおけるSDLを用いたプロセス設計に関する一考察