• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2009 Fiscal Year Annual Research Report

形式的検証とウェブオントロジーの融合による大規模情報システム設計支援

Research Project

Project/Area Number 20500045
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

高木 理  Japan Advanced Institute of Science and Technology, 知識科学研究科, 助教 (30388011)

Co-Investigator(Kenkyū-buntansha) 清野 貴博  独立行政法人産業技術総合研究所, 社会知能技術研究ラボ, 特別研究員 (10397226)
竹内 泉  独立行政法人産業技術総合研究所, 情報技術研究部門, 研究員 (20264583)
和泉 憲明  独立行政法人産業技術総合研究所, 社会知能技術研究ラボ, 主任研究員 (50293593)
Keywords情報システム / 要件分析 / 検証 / 医療オントロジー / 業務フロー図 / 形式手法 / 医療サービス / ビジネスプロセス
Research Abstract

(課題1および4)医療オントロジーに基づく情報システムの要件分析手法,および,大規模情報システムの開発現場への適用について:
宮崎大学医学部付属病院における薬剤部門システムの要件分析を医療サービスに関するオントロジーに基づいて行った.より具体的には,薬剤処方などの医療サービスに関する業務プロセス,ユースケース,データモデルを作成するための共通のオントロジーを作成し,そのオントロジーに基づいて要件分析のための各モデルを作成するツールを開発し,実際の開発現場に適用した.このツールによって,用語の揺れや曖昧さを解消しつつ実際の要件分析を完了させることに成功した.
(課題2)目的に基づくサービスプロセスのモデル化手法について:
薬剤処方のサービスプロセスを,薬剤などのアウトカムの作成という目的に合わせて自動生成するための手法を研究した.より具体的には,処方箋,服薬指導書,薬袋の構造からアウトカムを生成するまでのアクティビティの組み合わせを計算し,アウトカムの監査および差戻しを含む,サービスプロセスの生成手法を考案した.
(課題3)大規模なサービスプロセスのモデル化手法について:
H21年度の前半では,非循環なサービスプロセス(ワークフロー)におけるコントロールフローに関する整合性と,ワークフロー上の各アクティビティによって生成,利用,保管または破棄されるエビデンスのライフサイクルの整合性をインクリメンタルに検証するための基礎理論をまとめ,論文として発表した,後半においては,コントロールフローに関する整合性の定義を循環ワークフローに拡張するために,循環ワークフローを引き戻し付き業務フローと見なし,その正規形を定義し,正規な循環ワークフローにセマンティクスを与えた.そして,そのセマンティクスに基づいて循環ワークフローのコントロールフローに関する整合性を定義し,さらに,その整合性をインクリメンタルに検証するための基礎理論と方法論を構築した.

  • Research Products

    (15 results)

All 2010 2009

All Journal Article (6 results) (of which Peer Reviewed: 6 results) Presentation (9 results)

  • [Journal Article] Generating test cases from proof scores in the OTS/CafeOBJ method2009

    • Author(s)
      Masaki Nakamura, Takahiro Seino
    • Journal Title

      電子情報通信学会論文誌.D,情報・システム E92-D

      Pages: 1012-1021

    • Peer Reviewed
  • [Journal Article] Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles2009

    • Author(s)
      Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
    • Journal Title

      International Journal On Advances in Software 2

      Pages: 147-161

    • Peer Reviewed
  • [Journal Article] Usability Management of Information Systems in Knowledge-Intensive Organizations2009

    • Author(s)
      Geczy Peter, 和泉憲明, 赤穗昭太郎, 橋田浩一
    • Journal Title

      INTERNATIONAL JOURNAL OF KNOWLEDGE, CULTURE AND CHANGE MANAGEMENT 8

      Pages: 29-36

    • Peer Reviewed
  • [Journal Article] Analytics and Management of Collaborative Intranets2009

    • Author(s)
      Geczy Peter, 和泉憲明, 赤穗昭太郎, 橋田浩一
    • Journal Title

      Collaborative Computing : Networking, Applications and Worksharing 10

      Pages: 623-631

    • Peer Reviewed
  • [Journal Article] Service-Oriented Innovation Management of Organizational Portals2009

    • Author(s)
      Geczy Peter, 和泉憲明, 橋田浩一
    • Journal Title

      The Business Review, Cambridge 14

      Pages: 201-207

    • Peer Reviewed
  • [Journal Article] Behaviorally Founded Recommendation Algorithm for Browsing Assistance Systems2009

    • Author(s)
      Geczy Peter, 和泉憲明, 赤穗昭太郎, 橋田浩一
    • Journal Title

      Annals of Information Systems 8

      Pages: 317-334

    • Peer Reviewed
  • [Presentation] User-Centric Management of Portal Services2010

    • Author(s)
      Geczy Peter, 和泉憲明, 赤穗昭太郎, 橋田浩一
    • Organizer
      International Conference on e-Commerce, e-Administration, e-Society, e-Education, and e-Technology
    • Place of Presentation
      マカウ(Macau)
    • Year and Date
      2010-01-26
  • [Presentation] Human-Oriented Deployment and Innovation of Portal Services2010

    • Author(s)
      Geczy Peter, 和泉憲明, 橋田浩一
    • Organizer
      Global Conference on Business and Finance
    • Place of Presentation
      ハワイ
    • Year and Date
      2010-01-04
  • [Presentation] Service-Oriented Innovation Management of Organizational Portals2009

    • Author(s)
      Geczy Peter, 和泉憲明, 橋田浩一
    • Organizer
      The Economics and International Business Research Conference
    • Place of Presentation
      マイアミ
    • Year and Date
      2009-12-11
  • [Presentation] ピゾ数進数から作られるフラクタル図形2009

    • Author(s)
      竹内泉
    • Organizer
      高知タイル貼り小研究集会2009
    • Place of Presentation
      高知
    • Year and Date
      2009-10-24
  • [Presentation] Evidence-Based Management of Organizational Web Services2009

    • Author(s)
      Geczy Peter, 和泉憲明, 赤穗昭太郎, 橋田浩一
    • Organizer
      International Conference on Economics, Business Management and Marketing
    • Place of Presentation
      シンガポール
    • Year and Date
      2009-10-11
  • [Presentation] Service System Development Based on Web Process Ontology2009

    • Author(s)
      Noriaki Izumi, Osamu Takaki, Koiti Hasida
    • Organizer
      ICSEA 2009
    • Place of Presentation
      ポルト
    • Year and Date
      2009-09-22
  • [Presentation] 確率論理による通信の秘匿性の形式化2009

    • Author(s)
      竹内泉
    • Organizer
      代数,論理,幾何と情報科学研究集会
    • Place of Presentation
      鳥取
    • Year and Date
      2009-09-14
  • [Presentation] Service Science : Review of Approaches2009

    • Author(s)
      Geczy Peter, 和泉憲明, 橋田浩一
    • Organizer
      International Conference on Service Science
    • Place of Presentation
      香港
    • Year and Date
      2009-08-06
  • [Presentation] 様相論理による通信の安全性の記述2009

    • Author(s)
      竹内泉
    • Organizer
      京都・数学の哲学研究集会
    • Place of Presentation
      京都
    • Year and Date
      2009-05-16

URL: 

Published: 2011-06-16   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi