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）代理分布式软件开发子项目提出了描述状态转换操作的框架变化对应的协议机(4)分布式环境下软件可靠性评估子项目提出了软件可靠性的超几何分布模型和扩展有限状态通信协议的定时可达性分析方法。 (5)分布式软件开发形式化方面的子项目研究了LOTOS规范的动画、系统需求描述和形式化规范推导的方法以及元重写的计算模型。

项目成果

Masahide Nakamura, Yoshiaki Kakuda and Tohru Kikuno: "Analysing non-determinism in telecommuniocation services using P-Invariant of Petri-Net model" Proceedings of 16th IEEE Conference on Computer Communications. 1253-1260 (1997)

Masahide Nakamura、Yoshiaki Kakuda 和 Tohru Kikuno：“使用 Petri-Net 模型的 P 不变性分析电信服务中的非确定性”第 16 届 IEEE 计算机通信会议论文集。

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。

Koji Torii: "Quantitative analytic approaches in sofrware engineering" Inforamtion and Software Technology. 38. 155-163 (1996)

Koji Torii：“软件工程中的定量分析方法”信息和软件技术。

宋国煥: "命題論理に基づいた要求記述法と状態遷移システムによる意味記述" 情報処理学会論文誌. 37. 511-519 (1996)

宋国焕：“使用状态转换系统的基于命题逻辑和语义描述的需求描述方法”日本信息处理学会会刊37. 511-519（1996）。

Shusaku Iida: "Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling" Formal Methods for Open Object-based Distributed Systems. 341-356 (1996)

Shusaku Iida：“基于并发面向对象建模的分布式系统的代数规范”基于开放对象的分布式系统的形式方法。