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

我们开发了包括工作流在内的大规模规范的开发和验证方法和辅助工具，用于大型信息系统开发的需求分析，特别是形成了工作流增量开发和验证框架的基本理论，该框架包括帮助多个设计人员协作增量地开发和验证大型工作流的方法和工具。此外，基于医疗服务本体，我们开发了一个框架来设计用于需求分析的多种规格说明。

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.