Software Models for Building Reliable Reactive Middle-ware
用于构建可靠的反应式中间件的软件模型
基本信息
- 批准号:14380141
- 负责人:
- 金额:$ 8.58万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (B)
- 财政年份:2002
- 资助国家:日本
- 起止时间:2002 至 2004
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
We have investigated the software models that situates as the middle-ware between applications and low-level APIs. Aware of the software development processes, the models are to be built in the compositional manner, where the composition operations are based on interactions between components. The Project has been completed with the new knowledge and results in the following respects.1.An extracting method of middle-ware components : By the syntactic analysis, we extract the abstract patterns of calling APIs as the form of FCDG(Function Call Dependency Graph). The patters that commonly appear capture reflect the nature of middleware. By analyzing the semantic constraints, the reliability of the middleware is measured. We have shown that the database of middle-ware can be formed as the repository of FCDGs following the scheme of fine-grained software repository.2.Timed extension of the π calculus : We investigated the π calculus with an extension of time passage. The calculus provides a … More formal foundation to analyze the behavior rigorously. In modeling the middle-ware layer of the software, an atomic action of the π calculus is defined to model behavior of API and the behavior of the whole system is characterized by the timed bisimulation semantic. To derive the modularity of each components, we argued the congruence properties of various bisimularities. As the results, the congruence property in the component-wise composition with time is proved difficult to obtain reflecting the nature of the software. For this problem, we have shown the congruence properties in the limited contexts.3.Program Generation from Timed Automata : Timed automata is an operational model with timing behavior included. We applied timed automata to model the overall behavior based on the low-level program behavior. With the scale constraints of state space, we targed the small-scale embedded system. A timed automaton is considered as a middle-grained specification of reactive components. The whole system is composed by behaviorally combining sub-components. It contributes to model the behavior of the system in the abstract manner. We applied the model checking techniques to validate the behavior to satisfy the desired properties. We have shown the technique is applicable in the case of AIBO-programming and LEGO-Mindstorm programming. Less
我们研究了位于应用程序和底层API之间的中间件的软件模型。了解软件开发过程,模型将以组合方式构建,其中组合操作基于组件之间的交互。1.中间件组件的抽取方法:通过语法分析,抽取出API调用的抽象模式,并以FCDG(Function Call Dependency Graph)的形式表示。通常出现的捕获模式反映了中间件的本质。通过分析中间件的语义约束,对中间件的可靠性进行了度量。我们证明了中间件数据库可以按照细粒度软件仓库的方案形成FCDG的仓库。2. π演算的时间扩展:我们研究了π演算的时间推移扩展。微积分提供了一个 ...更多信息 严格分析行为的形式基础。在软件中间件层的建模中,定义了一个π演算的原子动作来对API的行为进行建模,整个系统的行为用时间互模拟语义来刻画。为了得到每个组件的模块性,我们讨论了各种双相似的同余性质。作为结果,在组件式组合与时间的同余属性被证明是难以获得反映软件的性质。对于这个问题,我们已经证明了在有限的上下文中的同余性质。3.从时间自动机生成程序:时间自动机是一个包含时间行为的操作模型。我们应用时间自动机模型的基础上的低层次的程序行为的整体行为。在状态空间规模约束下,我们针对小型嵌入式系统。一个时间自动机被认为是一个中等粒度的规范反应组件。整个系统是由行为组合的子组件。它有助于以抽象的方式对系统的行为进行建模。我们应用模型检查技术来验证行为是否满足所需的属性。我们已经证明了该技术适用于AIBO编程和LEGO-Mindstorm编程的情况。少
项目成果
期刊论文数量(56)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Yuen Shoji, Keishi Kato, Daiju Kato, Shinichiro Yamamoto, Agusa Kiyoshi: "A Testing : Framework for Web Applications based on the MVC model with Behavioral Descriptions"International Conference on Information Technology & Applications 2004 (ICITA 2004). 1
Yuen Shoji、Keishi Kato、Daiju Kato、Shinichiro Yamamoto、Agusa Kiyoshi:“测试:基于具有行为描述的 MVC 模型的 Web 应用程序框架”国际信息技术会议
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Atsumi Noritoshi, Yuen Shoji, Yamamoto Shinichiro, Agusa Kiyoshi: "Library Evolution for Reliable Software"Proceedings of the workshop on Principles of software evolution. IWPS02. 66-70 (2002)
Atsumi Noritoshi、Yuen Shoji、Yamamoto Shinichiro、Agusa Kiyoshi:“可靠软件的库演化”软件演化原理研讨会论文集。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
新美健一, 山本晋一郎, 阿草清滋: "diffを用いたソフトウェア構成要素の階層化差分"日本ソフトウェア科学会ソフトウェア工学の基礎. IX. 171-174 (2002)
Kenichi Niimi、Shinichiro Yamamoto、Kiyoji Asakusa:“使用 diff 的软件组件的层次差异”日本软件科学基金会软件工程 IX 171-174。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
星野康, 山本晋一郎, 阿草清滋: "前バージョンの整合性を用いた設計復元"電子情報通信学会技術研究報告(ソフトウェアサイエンス). 102・617. 49-52 (2003)
Yasushi Hoshino、Shinichiro Yamamoto、Kiyoji Asakusa:“使用先前版本的一致性进行设计恢复”IEICE 技术报告(软件科学)102・617(2003 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
戸板晃一, 山本晋郎, 阿草清滋: "プログラムスライシングのための共通表現"電子情報通信学会技術研究報告(ソフトウェアサイエンス). 102・704. 13-19 (2003)
Koichi Toita、Shinro Yamamoto、Kiyoji Asakusa:“程序切片的通用表达式”IEICE 技术报告(软件科学)13-19(2003 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
AGUSA Kiyoshi其他文献
AGUSA Kiyoshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('AGUSA Kiyoshi', 18)}}的其他基金
Multi-variant development management method based on variant life cycle model
基于变体生命周期模型的多变体开发管理方法
- 批准号:
24300006 - 财政年份:2012
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
A Development Method for Dependable WebService-ware
一种可靠的Web服务件的开发方法
- 批准号:
20300009 - 财政年份:2008
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Semantic Refacteting Techniqus for Round-trip development of Web applications
Web 应用程序往返开发的语义重构技术
- 批准号:
17300006 - 财政年份:2005
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Research on Software Recycle Environment -Design and Implementation of Browser, Slicer, and Specializer-
软件回收环境研究-浏览器、切片器、专用器的设计与实现-
- 批准号:
10308008 - 财政年份:1998
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research (A).
Research on Mechanism and Methodology for Software Evolution
软件演化机制与方法研究
- 批准号:
09245105 - 财政年份:1997
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
Computer Aided Software Design and Verification for Embedded System
嵌入式系统计算机辅助软件设计与验证
- 批准号:
08558034 - 财政年份:1996
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Semantic Similarity of Specification and its Application to Software Automatic Composition
规范语义相似度及其在软件自动组合中的应用
- 批准号:
07458058 - 财政年份:1995
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Fundamental Researches on Meta-Programming
元编程基础研究
- 批准号:
01580026 - 财政年份:1989
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
相似海外基金
Re-architecting platform toward Message-based Reactive system on Microsoft Azure
将平台重新架构为 Microsoft Azure 上基于消息的响应式系统
- 批准号:
515357-2017 - 财政年份:2017
- 资助金额:
$ 8.58万 - 项目类别:
Experience Awards (previously Industrial Undergraduate Student Research Awards)
Re-architecting platform toward Message-based Reactive system on Microsoft Azure
将平台重新架构为 Microsoft Azure 上基于消息的响应式系统
- 批准号:
515458-2017 - 财政年份:2017
- 资助金额:
$ 8.58万 - 项目类别:
Experience Awards (previously Industrial Undergraduate Student Research Awards)
Cooperative Reactive System Synthesis Based on Necessary Conditions of Realizability
基于可实现性必要条件的协同反应系统综合
- 批准号:
17K17763 - 财政年份:2017
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Proof system for Realizability Decision of Reactive System Specification described by Temporal Logic
时态逻辑描述的反应式系统规范可实现性决策的证明系统
- 批准号:
16K00010 - 财政年份:2016
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Re-architecting platform toward Message-based Reactive system on Microsoft Azure
将平台重新架构为 Microsoft Azure 上基于消息的响应式系统
- 批准号:
500871-2016 - 财政年份:2016
- 资助金额:
$ 8.58万 - 项目类别:
Experience Awards (previously Industrial Undergraduate Student Research Awards)
Re-architecting platform toward Message-based Reactive system on Microsoft Azure
将平台重新架构为 Microsoft Azure 上基于消息的响应式系统
- 批准号:
500870-2016 - 财政年份:2016
- 资助金额:
$ 8.58万 - 项目类别:
Experience Awards (previously Industrial Undergraduate Student Research Awards)
Efficient realizability verification of reactive system specifications without approximation
无需近似即可有效验证反应式系统规范的可实现性
- 批准号:
15K15969 - 财政年份:2015
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Realizability Decision and Program Synthesis for Reactive System Specification described by Temporal Logic
时态逻辑描述的反应式系统规范的可实现性决策和程序综合
- 批准号:
25330008 - 财政年份:2013
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
The formation of a polymer interphase near a solid boundary during the curing of a reactive system, simulated by reactive molecular dynamics
通过反应分子动力学模拟反应体系固化过程中固体边界附近聚合物界面的形成
- 批准号:
67253283 - 财政年份:2008
- 资助金额:
$ 8.58万 - 项目类别:
Priority Programmes
Research on the method for reactive system construction by using a modal structural description language
模态结构描述语言构建反应式系统方法研究
- 批准号:
03680027 - 财政年份:1991
- 资助金额:
$ 8.58万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)