| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2019-01-16 14:05 |
沖縄 | 沖縄県青年会館 | 相関マイニングとワークフローネットによるユーザの嗜好抽出方法とその評価尺度の提案 ○モハマド アヌアルッディン ビン アハマドン（山口大）・ピヤティダ サコーン（カセサート大）・山口真悟（山口大）  MSS2018-75 SS2018-46 |
顧客の好みは、マーケティングの意思決定の最も重要な要素の1つになっている。 顧客の嗜好を満足させるためには、サービス提供... [more] | MSS2018-75 SS2018-46 pp.115-119 |
| SS, MSS (共催) |
2018-01-19 09:50 |
広島 | 広島市立大学サテライトキャンパス | データワークフローネットによるIoTサービスのデータ指向オーケストレーション ○モハマド アヌアルッディン ビン アハマドン・山口直郁・山口真悟（山口大） MSS2017-62 SS2017-49 |
本稿では、IoT サービスのオーケストレーション手段について提案した。初めにサービスの仕様とデバイスモデルのデータワーク... [more] | MSS2017-62 SS2017-49 pp.85-89 |
| MSS, SS (共催) |
2015-01-27 10:00 |
鳥取 | ブランナールみささ | ワークフローネットのスーパークラス抽出問題とその解法の洗練 ○西 颯麻・山口真悟（山口大） MSS2014-83 SS2014-47 |
複数のワークフローの共通の振舞いは，それらの振舞いを継承するスーパークラスとしてモデル化できる．筆者らはワークフローネッ... [more] | MSS2014-83 SS2014-47 pp.85-90 |
| MSS, SS (共催) |
2015-01-27 10:25 |
鳥取 | ブランナールみささ | ワークフローネットのリファクタリングに対するimplicitプレースに着目したアプローチ ○張 佳・豊嶋伊知郎・山口真悟（山口大） MSS2014-84 SS2014-48 |
ワークフローネットをその振舞いを保ったままサブクラスのネットへ変換することをリファクタリングという．アサイクリック拡張自... [more] | MSS2014-84 SS2014-48 pp.91-96 |
| MSS | 2014-03-06 13:55 |
愛媛 | 愛媛大学工学部 | TPハンドルをもつワークフローネットのプロトコル継承を維持する健全化に対するスーパーバイザー制御を活用したアプローチ ○長野聡一郎・山口真悟（山口大） MSS2013-76 |
本稿ではTPハンドルをもつ自由選択ワークフローネットに対する健全化方法を提案する． この問題の対象となるワークフローネ... [more] |
MSS2013-76 pp.7-12 |
| MSS, SS (共催) |
2013-03-07 10:30 |
福岡 | 休暇村志賀島 | ワークフローネットのスーパークラス抽出問題とその一解法 ○西 颯麻・山口真悟（山口大） MSS2012-75 SS2012-75 |
本稿では２つのワークフローネット$N_{x}$と$N_{y}$の振舞いから共通プロセスの抽出に取り組む． ワークフロー... [more] |
MSS2012-75 SS2012-75 pp.91-96 |
| MSS | 2013-01-22 14:25 |
大阪 | 大阪国際会議場 | 健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について ○加納大暉・山口真悟（山口大） MSS2012-48 |
ワークフローには定義とインスタンスという二つの側面がある． 本稿では,可達性を利用して，ワークフローインスタンスの正し... [more] |
MSS2012-48 pp.17-21 |
| MSS | 2013-01-22 14:50 |
大阪 | 大阪国際会議場 | 自由選択ワークフローネットにおける非安全マーキングへの可達性解析 ○村上雄基・豊嶋伊知郎・山口真悟（山口大） MSS2012-49 |
ワークフローネットにおいて非安全なマーキングに必ず可達なマーキングは, そのワークフローインスタンスが正常に終了できない... [more] | MSS2012-49 pp.23-26 |
| SS, MSS (共催) |
2012-01-26 13:45 |
高知 | 高知市文化プラザかるぽーと | 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について ○平川智悠・山口真悟（山口大） MSS2011-60 SS2011-45 |
ワークフローは法律の改正や市場の拡大などに適合するよう変更されることがある． その際，事業の継続性の観点から，変更後の... [more] |
MSS2011-60 SS2011-45 pp.33-38 |
| 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, CAS (共催) |
2007-11-29 13:25 |
新潟 | 新潟大学自然科学研究科 | Well-Structured ワークフローネットの並列度を計算するための最長パスに着目したヒューリスティックアルゴリズム ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） CAS2007-68 CST2007-19 |
本稿では最長パスに着目したwell-structured WFネットの並列度PARAdegの ヒューリスティックアルゴ... [more] |
CAS2007-68 CST2007-19 pp.7-10 |
| MSS | 2007-08-31 13:25 |
島根 | 島根大学総合理工学部多目的ホール | モデル検査ツールSPINによるワークフローネットの健全性の判定について ○山口宗師・山口真悟・田中 稔（山口大） CST2007-12 |
ワークフロー(WF)ネットはワークフローをモデル化するためのペトリネットであり，ワークフローの解析や性能評価に活用されて... [more] | CST2007-12 pp.7-12 |
[研究会発表申込システムのトップページに戻る]