Fundamental Study on Distributed and Cooperative Software Development in Very High Speed Network Environment

超高速网络环境下分布式协同软件开发基础研究

• 批准号: 08308021
• 负责人: INAGAKI Yasuyoshi
• 金额: $ 7.55万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 1997
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08308021/
• 关键词: requirement acquistion; LOTOS specification; hypergeometric distribution model; software process; network protocol; network environment; agent; formal model; ソフトウェア文書; 進捗モデル; 実時間並行プロセスモデル

This project consists of five subprojects. The results obtained by the subprojects are as follows :(1) The subproject for acquisition of software requirement in distributed environment has studied a network environment for supporting cooperation and requirement analysis based on product evolution, and also formal specification and verfication of security protocols in RSL.(2) The subproject for software process and repository has developed an object oriented software process model and a watermarking method for computer programs.(3) The subproject for distributed software development by agents has proposed a framework for description of the operations on state transition protocol machines corresponding to changes of application software and developed a question answering system using Japanese sentences via email.(4) The subproject for evaluation of software reliability in distributed environment has proposed a hypergeometric distribution model for software reliability and timed reachability analysis method for communication protocols modeled by extended finite state machines.(5) The subproject for formal aspect of distributed software development has studied animation of LOTOS specifications, methodology for description of system requirements and derivation of formal specifications and a computation model of meta-rewriting.

本项目由五个子项目组成。子项目取得的成果如下：(1)分布式环境下软件需求获取子项目研究了基于产品演进的支持协作和需求分析的网络环境，以及RSL中安全协议的形式化规范和验证。(2)软件过程与存储子项目开发了面向对象的软件过程模型和计算机程序的水印方法。(3) agent分布式软件开发子项目提出了一种描述应用软件变化时状态转换协议机上操作的框架，并通过电子邮件开发了一个使用日语句子的问答系统。(4)分布式环境下软件可靠性评估子项目提出了软件可靠性的超几何分布模型和基于扩展有限状态机建模的通信协议时间可达性分析方法。(5)分布式软件开发形式化方面的子项目研究了LOTOS规范的动画、系统需求描述和形式化规范推导的方法以及元重写的计算模型。

项目成果

片桐 秀樹, 河口 信夫, 稲垣 康善: "モ-バイル環境下における赤外線を用いた自律分散通信プロトコル" 情報処理学会マルチメディア,分散,協調とモ-バイルワークショップ論文集(DiCoMo97). 67-72 (1997)

Hideki Katagiri、Nobuo Kawaguchi、Yasuyoshi Inagaki：“在移动环境中使用红外光的自主分散通信协议”日本多媒体、分布式、合作和移动研讨会信息处理学会会议记录 (DiCoMo97) (1997)。

山本 泰三, 山本 晋一郎, 阿草 清滋: "通信アプリケーションの変更に応じた状態機械の記述への操作とその再利用について" 電子情報通信学会技術研究報告. SS97-40. 25-32 (1997)

Taizo Yamamoto、Shinichiro Yamamoto、Kiyoji Asa：“响应通信应用变化的状态机描述的操作和重用”IEICE 技术研究报告 SS97-32 (1997)。

Pairoj Termsinsuwan: "A new approach to ADT specification support bsed on reuse of similar ADT by the application of Case-Based Resoning" Information and Software Tehcnology. 38. 555-568 (1996)

PairojTermsinsuwan：“一种新的 ADT 规范支持方法，其基础是通过应用基于案例的共振来重用类似的 ADT”信息和软件技术。

Nobuo Kawaguchi: "TERSE : A Visual Environment for Supporting Analysis,Verification and Transformation of Term Rewriting Systems" Proceedings of AMAST'96(LNCS 1101). 571-574 (1996)

Nobuo Kawaguchi：“TERSE：支持术语重写系统分析、验证和转换的可视化环境”AMAST96 论文集（LNCS 1101）。

J.Zhao: "Program Dependence Analysis of Concurrent Logic Programs and its Applications" Proc.of the 1996 Int.Conf.on Parallel and Distributed Systems. 282-291 (1996)

J.Zhao：“并发逻辑程序的程序依赖性分析及其应用”Proc.of the 1996 Int.Conf.on Parallel and Distributed Systems。