A Framework for Integrating Programming Languages, Repository and Development Environment

集成编程语言、存储库和开发环境的框架

• 批准号: 15300006
• 负责人: OHORI Atsushi
• 金额: $ 9.98万
• 依托单位: Tohoku University (2005)Japan Advanced Institute of Science and Technology (2003-2004)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15300006/
• 关键词: component; programming language; database; sofrware development method; programming environment; ソフトウエア工学; 計算機システム; ソフトウエア学

The goal of this research is to develop a component framework by integrating the sate-of-the-art research results in the fields of programming languages, software development methodologies, program development environment, and database systems. To achieve this goal, we have investigated the following items.1. Type theory for component synthesis and reuse.In this topic, we have investigated type theory for component and obtained various results including a method for compile time checking of component consistency, and an optimal register allocation method based on dynamic programming.2. Component-oriented software development methodologyWe have investigated the basic framework for verifying class invariants in a component system. We have also used the notion of collaboration and obtained a method for software evolution and construction.3. Component development environmentBased on XML-markup method, we have obtained a binary-level component description system and have implemented a prototype system.4. Component repositoriesBy regarding source code in a component system as a set of structured document written in various languages, we have developed a uniform query system for those collections of documents of heterogeneous structures.

本研究的目的是整合程式语言、软体开发方法、程式开发环境、资料库系统等领域的最新研究成果，发展一个元件架构。为了实现这一目标，我们研究了以下项目。1.基于类型理论的构件综合与复用在本课题中，我们对构件的类型理论进行了研究，得到了各种结果，包括构件一致性的编译时检查方法，以及基于动态规划的最优寄存器分配方法.面向构件的软件开发方法学我们研究了在构件系统中验证类不变量的基本框架。我们还使用了协作的概念并获得了软件进化和构建的方法。3.构件开发环境基于XML标记方法，得到了一个二进制的构件描述体系，并实现了一个原型系统.构件库通过将构件系统中的源代码看作是一组用不同语言编写的结构化文档，我们开发了一个统一的查询系统，用于查询那些异构结构的文档集合。

项目成果

Collaboration-based verification of object-oriented models (in Japanese)

面向对象模型的基于协作的验证（日语）

• 发表时间: 2005
• 期刊: Computer Software (in Japanese) 22・1
• 作者: 矢竹健朗(他);田島 敬史;Kenro Yatake et al.
• 通讯作者: Kenro Yatake et al.

非XMLデータに対するXPath検索のためのラッパーのインターフェイスの設計

设计用于非 XML 数据上的 XPath 搜索的包装器接口

• 发表时间: 2005
• 期刊: 電子情報通信学会第16回データ工学ワークショップ予稿集
• 作者: 渡谷賢治;田島敬史
• 通讯作者: 田島敬史

Y.Kotb, K.Gondow, T.Katayama: "A Practical Example of XML Semantics"Int.Conf.on Parallel and Distributed Computing applications And Technologies (PDCAT'03). (2003)

Y.Kotb、K.Gondow、T.Katayama：“XML 语义的实际示例”Int.Conf.on 并行和分布式计算应用程序和技术 (PDCAT03)。

コラボレーションに基づくオブジェクト指向モデルの検証

验证协作面向对象模型

• 发表时间: 2005
• 期刊: 日本ソフトウェア科学会 コンピュータソフトウェア 22・1
• 作者: 矢竹健朗;青木利晃;片山卓也
• 通讯作者: 片山卓也

Behavior approximation method for verifying invariant on statecharts (in Japanese)

用于验证状态图不变性的行为近似方法（日语）

• 发表时间: 2003
• 期刊: Transactions of Information Processing Society of Japan (in Japanese) 44.6
• 作者: Keqiu Li;Hong Shen;Keishi Tajima;立石孝彰(他);S.Natori(他);権藤克彦(他);Takaaki Tateishi et al.
• 通讯作者: Takaaki Tateishi et al.