SDLプロセスごとのペトリネット変換による仕様検証(コンカレントシステム, 一般)
スポンサーリンク
概要
- 論文の詳細を見る
交換システムのように複数の端末が接続される情報通信システムをITU-T勧告の仕様記述言語SDLで記述する時には, 端末の仕様はプロセスの型で示し, 端末の実際の動作は同一のプロセスの型から生成されたプロセスインスタンスとして表現されている. そして, 一般に一つのサービスに同じプロセスの型を持つ複数のプロセスインスタンスが関わっている. ここでは, そのようなシステムのSDLのプロセス図をペトリネットに変換してペトリネットのすぐれた検証能力を利用してデッドロックの検出や新たなサービスの発見等の仕様検証を行う手法について述べる.
- 2005-01-20
著者
-
茂呂 征一郎
福井大学工学部
-
松本 忠
福井工業大学工学部
-
茂呂 征一郎
福井大学 工学部 電気電子工学科
-
長谷川 晴朗
沖電気工業(株)政策調査部
-
松本 忠
福井大学工学部
-
松本 忠
福井工業大学
-
Matsumoto T
Department Of Electrical And Electronics Engineering Fukui University
-
長谷川 晴朗
沖電気工業
-
長谷川 晴朗
沖電気工業(株)ソフトウェアセンタ
-
茂呂 征一郎
福井大学
-
茂呂 征一郎
福井大学工学部電気・電子工学科
関連論文
- SDLプロセスごとのペトリネット変換による仕様検証(コンカレントシステム, 一般)
- グレブナー基底のペトリネット可到達問題への適用について
- ファジイペトリネットを用いた推論エンジンルール構造修正法の一提案
- ハールウェーブレットを用いる適応的な解像度の選択による回路解析法(カオスの通信への応用,局在振動,一般)
- 時間なし連続ペトリネットの状態方程式の解について(ハイブリッドシステム,コンカレント工学一般)
- ひずみ波交流理論を用いた星形結合発振器の同期現象の検討
- CMOS LC発振器の相互インダクタ結合による多相発振
- P/Tペトリネットの可到達性判定の代数的試みについて(グラフ,ペトリネット,ニューラルネット及び一般)
- P/Tペトリネットの発火回数ベクトルをTインバリアントと特解で表すときの展開係数導出法(グラフ,ペトリ,ニューラルネット及び一般)
- パルス駆動された星形結合発振器の位相パターンの切り替りの様子について(一般,制御システムとダイナミックス)
- リング状に結合されたウィーンブリッジ発振器の同期現象
- パルス駆動星形結合LC発振器におけるパルスユニットの個数について
- パルス駆動された星形結合LC発振器の位相パターン制御について
- A-2-7 パルス駆動された星形結合発振器の位相パターン変化に対する素子値のばらつきによる影響(A-2. 非線形問題, 基礎・境界)
- 素子値にばらつきのあるパルス駆動星形結合発振器における位相パターン変化について
- ハールウェーブレットを用いる回路解析法について
- 結合発振器ネットワークにおける素子の欠損による位相パターンへの影響
- ウィーンブリッジ発振器の星形結合系の複数の発振器の位相を制御するためのパルス駆動法について
- ウェーブレット選点法によるstiff常微分方程式の求解
- 次世代の産業社会におけるコンカレント技術
- 定常連続システムから離散状態システムを得るための一手法(コンカレントシステム,離散事象システム及び一般)
- 環状結合MEMS発振器による多相同期現象
- GHCプログラムの検証と性能評価
- 制約論理型言語を用いたプランニングの記述
- 並列プログラムの動作評価に関する一検討
- 通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法 (コンカレント・コラボレーション技術論文小特集)
- P/Tペトリネットの可到達性判定の代数的試みについて(グラフ,ペトリネット,ニューラルネット及び一般)
- P/Tペトリネットの発火回数ベクトルをTインバリアントと特解で表すときの展開係数導出法(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットの状態方程式の非負整数解のレベル表現と生成元の基礎的考察(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットの状態方程式の非負整数解のレベル表現と生成元の基礎的考察(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットの状態方程式の非負整数極小解の非負有理数初等解による特性化-事例集(コンカレント工学一般)
- ペトリネットによる並列プログラムの動作解析に関する一考察
- 抵抗で頂点の発振器を星形結合した蜂の巣状回路に見られる同期及び非同期現象
- 異なる形態の星型結合が混在する結合発振器ネットワーク
- P/Tペトリネットの状態方程式の非負有理数解の生成元から非負整数解の生成元の導出アルゴリズム(コンカレント工学一般)
- 代数幾何と可換代数におけるグレブナー基底のペトリネットの挙動解析への適用
- ペトリネットの状態方程式の解のレベル3,4,5におけるgeneratorの代数的構造と性質
- 代数幾何と可換代数におけるグレブナー基底のペトリネットの挙動解析への適用
- ペトリネットの状態方程式の解のレベル3,4,5におけるgeneratorの代数的構造と性質
- ペトリネットの状態方程式の非負整数特解の諸性質
- P/Tペトリネットの状態方程式の解のgeneratorの導出法 : 拡張Fourier-Motzkin法を用いた場合
- P/Tペトリネットの状態方程式の解のgeneratorの導出法 : 拡張Fourier-Motzkin法を用いた場合
- A-12-2 P/Tペトリネットの状態方程式の解のgenerator の求め方 : 極小台集合インバリアントを用いる場合
- 中間言語にペトリネットを用いたSDL仕様設計の一方式
- An Application of Grobner Basis Approach to Petri Net Problems(Concurrent System Technology)
- An Application of Grobner Basis Approach to Petri Net Problems
- 4個の発振器の結合系に生じる非同相同期現象の考察
- 4個の3次元発振器の結合系に生じる非同相同期現象
- 4個のカオス発振器をキャパシタで完全結合した系に生ずる同期現象
- Coloured Petri Netsに基づいた通信サービス要求仕様化支援
- SICE Annual Conference 2003 in Fukui 会議報告
- ペトリネットに関する最近の研究動向
- ペトリネットに関する最近の研究動向
- A-12-7 P/Tペトリネットのすべての初等インバリアントの線形計画法による生成
- ABC/ABMによるソフトウェア品質保証業務のBPR
- ABC/ABMによるソフトウェア品質保証業務のBPR
- パルス駆動された星形結合LC発振器の位相パターン制御について
- 通信システムにおける設計仕様の統合方式の一考察
- 通信システム開発における仕様記述法の現状と課題
- 通信ソフトウェア開発環境の現状と課題
- 推論システムの構造最適化のファジィペトリネットモデルによる試み
- P/Tペトリネットの発火回数ベクトルの実行可能性判定法 : 解ベクトルのgeneratorを活用する方法
- P/Tペトリネットの発火回数ベクトルの実行可能性判定法 : 解ベクトルのgeneratorを活用する方法
- P/Tペトリネットの状態方程式の解の実行可能性判定アルゴリズム
- P/Tペトリネットの状態方程式の解の実行可能性判定アルゴリズム
- A-12-3 P/Tペトリネットの可到達問題の代数的考察
- 通信ソフトウェアの開発環境
- 定理証明に基づくプロトコルの設計支援
- ウィーンブリッジ発振器の星形結合系の複数の発振器の位相を制御するためのパルス駆動法について
- 星形結合されたLC発振器のパルス刺激による位相パターンの変化
- パルス列によって駆動されたRC発振器の結合系について
- ぺトリネットによる変換 SDL 仕様の検証方式
- A-12-2 P/Tペトリネットの状態方程式による可到達性解析 : generatorによる発火回数ベクトルの分解法
- A-12-4 P/Tペトリネットの状態方程式の非負整数非同次解の一般形
- CST2000-11 ペトリネットの状態方程式の非負特解について
- 結合発振器ネットワークにおける素子の欠損による位相パターンへの影響
- 計算機代数システム援用によるグレブナー基底のペトリネットの挙動解析への適用
- An Algorithm for the Set of All Generators of an Arbitrary Firing Count Vector in Petri Nets
- Behavioral Analyses in Petri Nets by Groebner Bases ーAn Application of Ideals and Varieties to Petri Net Problems ー
- A-12-2 ペトリネットの状態方程式の解構造と最簡generatorの導出法
- A-12-1 P/Tペトリネットの状態方程式の非負整数特解に関する諸性質
- P/Tペトリネットの行列方程式の非負整数非同次解のgeneratorの導出 : 拡大接続行列の有理数基底からの導出
- P/Tペトリネットのインバリアントと特解の両者に対するgeneratorの同時導出法 : 拡大接続行列の整数基底からの導出
- P/Tペトリネットの行列方程式の任意発火回数ベクトルのgenerators
- A-12-1 P/Tペトリネットの状態方程式の解のgeneratorの求め方 : 極小インバリアントを用いる場合
- 8. 通信ソフトウェア要求仕様化設計へのペトリネットの応用 ( ネット指向パラダイムを求めて)
- PA-6-3 通信システム開発におけるコンカレント技術
- AP-2-3 製品開発プロセスにおけるコンカレント工学への期待(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- コンカレントシステムの仕様記述法について
- 異なったカオス発振器の結合系に生じる同期現象と分岐現象
- N字形負性抵抗を含む発振器の同期現象
- 均一でない結合係数をもつ結合発振器ネットワークについて
- 結合発振器ネットワークにおける結合抵抗による定常パターンへの影響(非線形問題)
- 結合発振器ネットワークにおける結合抵抗の影響とパターンの評価について
- 結合発振器ネットワークにおける結合抵抗の影響とパターンの評価について
- ハールウェーブレットを用いる回路解析法の評価と改善
- ウェーブレット選点法による偏微分方程式の求解
- A-2-5 パルス列によって駆動された星形結合発振器の位相パターンスイッチング
- コルピッツ発振器の結合系に見られる同期現象について
- A-2-17 ハールウェーブレット変換を用いた非線形回路の周期解の一解析法(A-2.非線形問題,一般セッション)