| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2016-01-25 10:20 |
石川 | しいのき迎賓館 セミナールームB | 非循環関係の再合成可能な分割によるコレオグラフィ実現 ～ パレート最適な状態機械の合成について ～ ○宮本俊幸（阪大）  MSS2015-37 SS2015-46 |
与えられた分散システムの抽象的仕様（コレオグラフィ）に対して，分散システムの構成要素（サービス）の振る舞いモデルを合成す... [more] | MSS2015-37 SS2015-46 pp.13-18 |
| MSS, CAS, SIP, VLD (共催) |
2015-06-17 09:45 |
北海道 | 小樽商科大学 | 非循環関係の再合成可能な分割によるコレオグラフィ実現 ○宮本俊幸（阪大） CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 |
与えられた分散システムの抽象的仕様（コレオグラフィ）に対して，分散システムの構成要素の振る舞いモデルを合成する問題はコレ... [more] | CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 pp.7-12 |
| SS, MSS (共催) |
2012-01-26 13:15 |
高知 | 高知市文化プラザかるぽーと | cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について ○長谷川泰央・宮本俊幸（阪大） MSS2011-59 SS2011-44 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| CAS, MSS (共催) |
2011-11-18 11:40 |
山口 | 山口大学大学会館 | SOAに基づくシステムの設計検証のためのUMLサブセット ○長谷川泰央・新村勇人・宮本俊幸（阪大） CAS2011-79 MSS2011-48 |
短期間で情報システムを構築可能なアーキテクチャとしてSOA が注目されている．SOA に基づくシステム開発の効率化のため... [more] | CAS2011-79 MSS2011-48 pp.89-94 |
| MSS, CAS (共催) |
2010-11-18 14:55 |
大阪 | 関西大学 | T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について ○長谷川泰央・宮本俊幸（阪大） CAS2010-72 CST2010-45 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | CAS2010-72 CST2010-45 pp.41-46 |
| MSS, CAS (共催) |
2009-11-27 16:40 |
愛知 | 名古屋大学 | ペトリネットを用いたコレオグラフィ実現について ○宮本俊幸（阪大）・藤井 拓（オージス総研） CAS2009-62 CST2009-35 |
複数のWebサービス間で実行される連携フロー定義はコレオグラフィと呼ばれる． コレオグラフィ実現問題とはコレオグラフィ... [more] |
CAS2009-62 CST2009-35 pp.99-104 |
[研究会発表申込システムのトップページに戻る]