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中安全协议的形式性和性格的正式形式和涉及RSL的安全协议。对于由代理商进行的针对软件开发的用于描述国家过渡协议机器的分布框架，该机器对应于应用程序软件的更改，并通过电子邮件使用日本句子开发了一个问题答案系统。（4）用于评估分布式环境中软件可靠性的子项目已提出了一个超地域可靠性的软件分配模型，用于软件可靠性和定时分析协议的正式分析方法，该模型的分布式分析方法是分布式分析方法。开发研究了Lotos规范的动画，用于描述系统需求的方法和形式规格的推导以及元求解的计算模型。

项目成果

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

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

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

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

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

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