西澤茂隆, 中村匡秀, 井垣宏, 松本健一, 三浦健次郎, "ビル管理システム連携におけるシステムとサービス競合の定式化," 情報処理学会研究報告, 2008(29), pp. 179-186 2008年3月.
ID 567
分類 研究会・全国大会等
タグ
表題 (title) ビル管理システム連携におけるシステムとサービス競合の定式化
表題 (英文)
著者名 (author) 西澤茂隆,中村匡秀,井垣宏,松本健一,三浦健次郎
英文著者名 (author) Shigetaka Nishizawa,nakamura,Hiroshi Igaki,Ken-ichi Matsumoto,Kenjiro Miura
編者名 (editor)
編者名 (英文)
キー (key) Shigetaka Nishizawa,nakamura,Hiroshi Igaki,Ken-ichi Matsumoto,Kenjiro Miura
書籍・会議録表題 (booktitle) 情報処理学会研究報告
書籍・会議録表題(英文)
巻数 (volume) 2008
号数 (number) 29
ページ範囲 (pages) 179-186
組織名 (organization) 情報処理学会ソフトウェア工学研究会
出版元 (publisher) 情報処理学会
出版元 (英文)
出版社住所 (address)
刊行月 (month) 3
出版年 (year) 2008
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract) 建物の付加価値を高めるための様々なビル管理システムが商品化されており,今後は複数のシステムを組み合わせて,より付加価値の高いサービスを実現することが期待されている.しかし,複数のシステムを連携することで,システムの複雑化,異なるシステム間のサービス競合などの新たな問題が発生する.これらの問題に対処するため,本稿ではビル管理システムのモデル化手法を提案する.具体的には,各管理システムを,設備機器の集合とそれらによって実現されるサービスシナリオの集合とで性質付け,システムが単体で矛盾なく一貫して動作するための条件を定式化する.さらに,提案モデルに基づいて複数システム間のサービス競合を検出する手法も提案する.また本稿では,実用的なビル管理システムに対するケーススタディを行い,10個の管理システム,33本のサービスシナリオのモデル化を行った.また,466通りのシナリオ組み合わせに対して,34個のサービス競合を検出することが出来た.
論文電子ファイル 303.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id567,
         title = {ビル管理システム連携におけるシステムとサービス競合の定式化},
        author = {西澤茂隆 and 中村匡秀 and 井垣宏 and 松本健一 and 三浦健次郎},
     booktitle = {情報処理学会研究報告},
        volume = {2008},
        number = {29},
         pages = {179-186},
    organization = {情報処理学会ソフトウェア工学研究会},
     publisher = {情報処理学会},
         month = {3},
          year = {2008},
}