2005 Fiscal Year Annual Research Report
XML形式オブジェクト指向設計UML文書の整合性検査の研究
Project/Area Number |
04F04283
|
Research Institution | Japan Advanced Institute of Science and Technology |
Principal Investigator |
片山 卓也 北陸先端科学技術大学院大学, 情報科学研究科, 教授
|
Co-Investigator(Kenkyū-buntansha) |
KOTB YASSER AL-SAYED KOTB 北陸先端科学技術大学院大学, 情報科学研究科, 外国人特別研究員
|
Keywords | オブジェクト指向 / UML / XML / 整合性検査 / 属性文法 / 設計文書 |
Research Abstract |
最近のオブジェクト指向ソフトウェア設計では、設計文書を複数の観点から統一モデル言語UMLによって記述するのが標準的であるが、UMLでは一つのソフトウェアの設計を複数の観点から別個のドキュメントとして記述され、それらの間の整合性を取ることが必要になる。研究ではこのよう観点から,XMIで表現されたUML文書を対象にして、その整合性判定を形式的に行う方法の研究とそのツールの実現法の研究を行う。我々は既に、属性文法の形式でXML文書に意味記述を導入し、それによってXML文書の意味的整合性検査が可能であることを研究してきたが、本研究では、UMLで記述されたオブジェクト指向設計文書の整合性検査を、XML文書の意味的整合性検査として実現する方式の研究を行う。現在、ソフトウェア開発においては、UML記法が標準的に採用されていることを考えると、この共同研究は非常に大きな意義を持ち、ソフトウェア開発における誤りの早期発見や除去に大きく貢献すると予想される。 本年度は、UML文書中の整合性を属性文法的によって表現するために,XML文書の意味記述を行うための仕様記述言語SLXSを設計し,それで記述されたXMIドキュメントの整合性の判定に関する研究を行い,研究成果を複数の国際会議で発表した.
|
Research Products
(3 results)