Design-assistance system of large scale information systems based on formal method and web ontology

基于形式化方法和网络本体的大型信息系统设计辅助系统

• 批准号: 20500045
• 负责人: TAKAKI Osamu
• 金额: $ 2.83万
• 依托单位: National Institute of Advanced Industrial Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20500045/
• 关键词: 情報システム; 仕様書; 業務フロー図; データモデル図; 画面遷移図; UML; web; オントロジー; 形式的手法; 要件分析; 検証; 医療オントロジー; 形式手法; 医療サービス; ビジネスプロセス; 医療情報システム; サービスプロセス

We have developed methodologies and assistance tools of development and verification of large scale specifications including workflows, which are employed in requirement analysis of large scale information system development.Especially, we have developed a fundamental theory for incremental development and verification framework of workflows, which consists of a methodology and tools that help multiple designers cooperate with others in developing and verifying large scale workflows incrementally. Moreover, we developed a framework to design multiple kinds of specifications for requirement analysis by connecting them based on an ontology of medical services.

我们已经开发了开发和验证大规模规格在内的方法和辅助工具，包括工作流程，这些方法用于大规模信息系统开发的要求分析。特别是，我们开发了一种基本理论，用于逐步开发和工作流的验证框架，该方法由一种方法和工具组成，该方法由多个设计师与其他设计师合作开发和验证大规模的工作。此外，我们开发了一个框架来设计多种规格，以根据医疗服务本体将其连接到需求分析。

项目成果

Veri cation of the Deutsch-Schorr-Waite marking algorithm with Modal Logic

使用模态逻辑验证 Deutsch-Schorr-Waite 标记算法

• 发表时间: 2008
• 作者: 湯浅能史;田辺良則;関澤俊弦;高橋孝一
• 通讯作者: 高橋孝一

置き替えによる準周期タイル張り

通过替换进行准周期平铺

• 发表时间: 2008
• 作者: Y.Zhang;G.Xiao;K.Ootsu;T.Yokota;T.Baba;竹内泉
• 通讯作者: 竹内泉

Human-Centric Design of Percipient Knowledge Distribution Service

以人为本的感知知识分发服务设计

• 发表时间: 2008
• 作者: Geczy Peter;和泉憲明;赤穂昭太郎;橋田浩一
• 通讯作者: 橋田浩一

Incremental Verification of Consistency Property of Large-Scale Workflows That Contain Passback Flows

包含回传流的大规模工作流一致性属性的增量验证

• 发表时间: 2010
• 作者: O.Takaki;I.Takeuti;N.Izumi;K.Hasida
• 通讯作者: K.Hasida

Analytics and Management of Collaborative Intranets

协作内联网的分析和管理

• 发表时间: 2009
• 期刊: Collaborative Computing : Networking, Applications and Worksharing 10
• 作者: Geczy Peter;和泉憲明;赤穗昭太郎;橋田浩一
• 通讯作者: 橋田浩一