| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| CAS, MSS (共催) |
2011-11-17 15:15 |
山口 | 山口大学大学会館 | 単純Well-Structuredワークフローネットの諸性質 ○孫 伯仲・山口真悟（山口大）  CAS2011-77 MSS2011-46 |
Acyclic 拡張自由選択ワークフローネットをそのサブクラスの一つであるAcyclic well-structured... [more] | CAS2011-77 MSS2011-46 pp.77-82 |
| CAS, MSS (共催) |
2011-11-18 11:15 |
山口 | 山口大学大学会館 | Acyclic Well-Structuredワークフローネットの可達性判定について ○濱野慎司・山口真悟（山口大） CAS2011-78 MSS2011-47 |
ワークフローのモデル化と解析にワークフローネットが適用され，成果をあげている． 本稿では可達性を利用して，ワークフロー... [more] |
CAS2011-78 MSS2011-47 pp.83-87 |
| MSS | 2011-01-21 09:50 |
山口 | 海峡メッセ下関 | 並行同期型インターワークフローの振舞い継承に対する健全性に基づく多項式時間判定について ○平川智悠・山口真悟（山口大） CST2010-70 |
インターワークフローとは複数のワークフローを接続することによってつくられるワークフローである．ワークフローの接続パターン... [more] | CST2010-70 pp.59-64 |
| MSS, CAS (共催) |
2010-11-18 10:30 |
大阪 | 関西大学 | 抑止アーク付きワークフローネットに対する健全性判定について ○篠原悠樹・山口真悟（山口大） CAS2010-65 CST2010-38 |
ワークフローにおける一部の仕事は優先順位をもつものがある．優先順位をもつワークフローは抑止アーク付きワークフローネットで... [more] | CAS2010-65 CST2010-38 pp.1-5 |
| MSS | 2010-01-22 09:10 |
愛知 | 豊田中央研究所アクタスCホール | Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案 山口真悟・○濱野慎司・黒田祐樹・田中 稔（山口大） CST2009-45 |
ワークフロー管理とは仕事の流れをワークフローとして定義し，そのインスタンスを自動化することである． ワークフローには同... [more] |
CST2009-45 pp.45-48 |
| MSS, CAS (共催) |
2009-11-27 15:50 |
愛知 | 名古屋大学 | 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて ○黒田祐樹・山口真悟・田中 稔（山口大） CAS2009-60 CST2009-33 |
ワークフローネットはワークフローをモデル化するためのペトリネットである． 本稿では，ワークフローネットの振る舞いを維持... [more] |
CAS2009-60 CST2009-33 pp.89-93 |
| MSS | 2009-01-29 15:25 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | ワークフローネットの健全性判定に対するモデル検査法について ○山口宗師・山口真悟・田中 稔（山口大） CST2008-46 |
ワークフロー(WF)ネットが満たすべき性質として健全性(soundness)がある．健全性はワークフローの論理的な正しさ... [more] | CST2008-46 pp.27-32 |
| MSS | 2009-01-29 15:50 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | 引継型と請負型のインターワークフローへの動的変更の解析 ○成井徹志・山口真悟・葛 崎偉・田中 稔（山口大） CST2008-47 |
本稿ではワークフローからインターワークフローへの動的変更の解析を議論する． インターワークフローの連携型が引継型か請負... [more] |
CST2008-47 pp.33-38 |
| CAS, MSS (共催) |
2008-11-07 15:20 |
大阪 | 大阪大学 | 不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について ○池田 良・山口真悟・田中 稔（山口大） CAS2008-62 CST2008-40 |
ワークフロー（WF）ネットを拡張する場合，拡張後のWFネットは 拡張前のWFネットの振る舞いを継承しなければならない．... [more] |
CAS2008-62 CST2008-40 pp.101-104 |
| MSS | 2007-08-31 13:25 |
島根 | 島根大学総合理工学部多目的ホール | モデル検査ツールSPINによるワークフローネットの健全性の判定について ○山口宗師・山口真悟・田中 稔（山口大） CST2007-12 |
ワークフロー(WF)ネットはワークフローをモデル化するためのペトリネットであり，ワークフローの解析や性能評価に活用されて... [more] | CST2007-12 pp.7-12 |
| MSS | 2006-01-27 10:10 |
神奈川 | 東芝科学館 ホール | ワークフローネットの健全性と並列度について ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿ではワークフロー(WF)ネットの健全性と並列度について議論する。 まずWFネットの並列性を評価する尺度として並列度... [more] |
CST2005-41 pp.13-18 |
| MSS | 2005-01-27 13:50 |
東京 | 電気通信大学 | 状態機械ワークフローネットのFlush、Abort、SCO方式による動的変更に対する最悪変更時間の計算について ○宮内克彰・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿では，状態機械ワークフローネット(SMWFネット)の動的変更に対する変更時間の計算について議論する． まずSMWF... [more] |
CST2004-45 pp.37-42 |
| MSS, CAS (共催) |
2004-11-04 16:10 |
愛知 | 愛知県立大学 | 競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について ○國吉圭介・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿では，競合なしリソース付きwell-structuredワークフローネット(CF-Res-WSWFネット)に対する最... [more] | CAS2004-54 CST2004-33 pp.71-76 |
[研究会発表申込システムのトップページに戻る]