2010 Fiscal Year Final Research Report
Design-assistance system of large scale information systems based on formal method and web ontology
| Project/Area Number |
20500045
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | National Institute of Advanced Industrial Science and Technology |
|---|
Principal Investigator |
TAKAKI Osamu National Institute of Advanced Industrial Science and Technology, 知識科学研究科, 助教 (30388011)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
SEINO Takahiro 独立行政法人産業技術総合研究所, 情報技術研究部門, 特別研究員 (10397226)
TAKEUTI Izumi 独立行政法人産業技術総合研究所, 情報技術研究部門, 特別研究員 (20264583)
IZUMI Noriyuki 独立行政法人産業技術総合研究所, 社会知能技術研究ラボ, 主任研究員 (50293593)
|
|---|
| Project Period (FY) |
2008 – 2010
|
| Keywords | 情報システム / 仕様書 / 業務フロー図 / データモデル図 / 画面遷移図 / UML / web / オントロジー / 形式的手法 |
|---|
| Research Abstract |
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.
|
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Human Behavior on Web2011
Author(s)
G.Peter, N.Izumi, S.Akaho, K.Hasida
Organizer
What is Known International Conference on Social Science and Humanity
Place of Presentation
シンガポール(マレーシア)
Year and Date
2011-02-27
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
