High Reliability Component-Based Software Engineering

高可靠性基于组件的软件工程

• 批准号: 13224013
• 负责人: TAMAI Tetsuo
• 金额: $ 87.17万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-13224013/
• 关键词: software; component; high reliability; reuse; model checking; aspect-oriented programming; type system; requirements specification; Webサービス

The major objectives of this research were:1. to conquer the structural complexity of software components and their composites, and2. to conquer the behavioral complexity of software components and their composites.We achieved these objectives as follows.1. The structural complexity is addressed by creating models and languages that support clear and flexible modularization of components and constructing systems based on those components.2. The behavioral complexity is addressed by applying formal validation techniques to behaviors of components and devising methods for proving that they satisfy desirable properties and will not run into failure or bring undesirable phenomena.As a final product, we integrated methods and tools developed during the four and half year project under an integrated software development environment. Some characteristics of the research product are as listed below.-We proposed a role based model named Epsilon and a language to implement the model, EpsilonJ that supports a flexible architecture defining and combining components.-We developed a fundamental aspect oriented model framework to compare and analyze a wide variety of aspect oriented programming languages.-To ensure performance, we devised a method for automatically generating code that fits to the environment where components are deployed.-We proposed a new systematic method for weaving in abstract aspects designed at the earlier stage of software development.-We proposed a new type system that supports mutually recursive classes.

本研究的主要目的是：1。克服软件组件及其组合物的结构复杂性；克服软件组件及其组合的行为复杂性。我们实现了这些目标如下。结构的复杂性是通过创建模型和语言来解决的，这些模型和语言支持组件的清晰和灵活的模块化，并基于这些组件构建系统。通过将形式化验证技术应用于组件的行为，并设计方法来证明它们满足所需的属性，并且不会遇到故障或带来不希望出现的现象，从而解决了行为复杂性。作为最终产品，我们在集成软件开发环境下集成了四年半项目中开发的方法和工具。研究产品的一些特征如下。我们提出了一个名为Epsilon的基于角色的模型和一种实现该模型的语言EpsilonJ，它支持灵活的架构来定义和组合组件。我们开发了一个基本的面向方面模型框架来比较和分析各种面向方面的编程语言。为了确保性能，我们设计了一种方法来自动生成适合组件部署环境的代码。我们提出了一种新的系统化方法，用于在软件开发的早期阶段设计抽象方面。-我们提出了一个支持相互递归类的新类型系统。

项目成果

Resource Usage Analysis for a Functional Languages with Exceptions

有异常的函数式语言的资源使用分析

• 发表时间: 2006
• 期刊: Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation
• 作者: Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama
• 通讯作者: Futoshi Iwama

継続の適用をジョインポイントするアスペクト指向プログラミングモデル

具有延续性连接点应用的面向方面编程模型

• 发表时间: 2005
• 期刊: 日本ソフトウェア科学会第22回大会講演論文集
• 作者: Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介
• 通讯作者: 遠藤侑介

Processes as Types : A Generic Framework of Behavioral Type Systems for Concurrent Processes

进程作为类型:并发进程的行为类型系统的通用框架

• 发表时间: 2005
• 期刊: Proc. of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures
• 作者: Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介;Yudai Yamazaki;Tomoyuki Aotani;Ysuke Endoh;Atsushi Igarashi
• 通讯作者: Atsushi Igarashi

関数型プログラミングのためのアスペクト指向言語

用于函数式编程的面向方面语言

• 发表时间: 2004
• 期刊: 日本ソフトウェア科学会第21回大会講演論文集
• 作者: Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介;Yudai Yamazaki;Tomoyuki Aotani;Ysuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Tetsuo Tamai;Atsushi Igarashi;Yusuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Atsushi Igarashi;四野見 秀明;古川 陽;櫻井 孝平;神尾 貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Kamina;中島震;玉井哲雄;河内一了;五十嵐淳;Tetsuo Kamina;Naoyasu Ubayashi;Shuhei Sato;Kouhei Sakurai;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;神尾貴博;中島震;鵜林尚靖;柳楽秀士;立沢秀晃
• 通讯作者: 立沢秀晃

An AOP Implementation Framework for Extending Join Point Models

扩展连接点模型的AOP实现框架

• 发表时间: 2004
• 期刊: Proceedings of ECOOP2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'04)
• 作者: Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Kouhei Sakurai;Atsushi Igarashi;Futoshi Iwama;Atsushi Igarashi;四野見秀明;古川陽;櫻井孝平;神尾貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;四野見秀明;森山元喜;篠塚卓;黒田滋樹;中島震;大根田裕一;青谷知幸;遠藤侑介;Yudai Yamazaki;Tomoyuki Aotani;Ysuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Tetsuo Tamai;Atsushi Igarashi;Yusuke Endoh;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Tamai;Atsushi Igarashi;四野見 秀明;古川 陽;櫻井 孝平;神尾 貴博;Atsushi Igarashi;Tetsuo Tamai;Hideaki Shinomi;Toshihiko Tsumaki;Naoyasu Ubayashi;Yoshiyuki Mihara;Hidehiko Masuhara;Atsushi Igarashi;Atsushi Igarashi;Tetsuo Kamina;中島震;玉井哲雄;河内一了;五十嵐淳;Tetsuo Kamina;Naoyasu Ubayashi;Shuhei Sato;Kouhei Sakurai;Shin Nakajima;Shin Nakajima;Yoshikazu Kato;神尾貴博;中島震;鵜林尚靖;柳楽秀士;立沢秀晃;紙名哲生;櫻井孝平;櫻井孝平;櫻井孝平;Takahiro Kamio;玉井 哲雄;河内 一了;五十嵐 淳;Naoyasu Ubayashi
• 通讯作者: Naoyasu Ubayashi