プロセス代数によるソフトウェア設計過程の形式化の研究

基于过程代数的软件设计过程形式化研究

基本信息

  • 批准号:
    02650260
  • 负责人:
  • 金额:
    $ 1.28万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
  • 财政年份:
    1990
  • 资助国家:
    日本
  • 起止时间:
    1990 至 无数据
  • 项目状态:
    已结题

项目摘要

ソフトウェア開発プロセスを,プロセス代数を基礎とする形式的仕様記述言語LOTOSによってモデル化する研究を行い,以下のような成果を得た.1.ソフトウェア設計過程のモデル化の研究オブジェクト指向分析・設計法,ジャクソン開発法,STATEMATE,GIST,LOTOSといった設計方法論や言語を用いた開発過程のモデル化を,Entity Relationship Modelを用いて行った.このモデルは,Process,Data,State,Eventといった6つの共通概念から構成されている.2.LOTOS言語の記述スタイルの研究形式的仕様記述言語LOTOSを用いて,どのように対象システム,対象プロセスを記述するかという記述スタイルの研究を行った.1の分析より,Event Oriented Style,State Oriented Style,Object Oriented Styleを提案した.これらのスタイルで記述を行ったときの評価を,仕様変更のしやすさという観点からおこなった.並列システムでは上位階層をObject Oriented Styleで記述し,下位階層をEventもしくはState Oriented Styleで記述していけばよいとの結論が得られた.3.ソフトウェアプロセスのLOTOSによる形式的記述法の研究ソフトウェア開発プロセス全体をプロセス中で行われる作業と,それらの作業を実行するための資源(人間や計算機)とに分けてモデル化を行った.2の成果より,LOTOSを用いて,作業はEvent Oriented Styleで,資源はObject Oriented Styleで記述するための方法論を構築した.さらに,実際のプロセスの記述実験を通して,本モデル化手法の有効性を確認した.
The following achievements have been made in the form of a career statement in the form of a basic training program in algebra. The following research results have been successful. 1. This paper discusses the design method of process control, the method of analysis, the method of STATEMATE,GIST,LOTOS design, and the method of process analysis, and the method of Entity Relationship Model. The concept is common to the audience. 2.Lotos language records the official records in the form of LOTOS studies. The LOTOS notes are in the form of research. They are similar to each other. The research line, line, analysis, and Event Oriented Style,State Oriented Style,Object Oriented Style proposal. I don't know how to write down the line. I don't know. I don't know. I don't know. At the same time, we listed that the upper part of the Object Oriented Style record, and the lower part of the table, the State Oriented Style of the upper part of the list. 3. This is a method of recording in the form of an LOTOS calendar. Please do some research on the operation of a bank in the central bank of a bank. The bank of an operator, the bank of a bank, the bank of a bank, the resource of a human computer, the bank of a bank, the bank of an operator, the bank of a bank, the bank of a bank, the bank of an operator, the bank of an operator, and the bank of an Event Oriented Style. The resource Object Oriented Style records the information storage method to improve the performance of resources. Please note that there is a lot of information in this document, and there is a sexual confirmation in this document.

项目成果

期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
金子 剛: "LOTOSによるソフトウェアプロセスの形式的記述法" 情報処理学会ソフトウェア工学研究会. 78. 1-1-1-10 (1991)
Tsuyoshi Kaneko:“使用 LOTOS 的软件过程的形式化描述”日本信息处理学会软件工程研究组 78. 1-1-1-10 (1991)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
佐伯 元司: "ソフトウェア設計の認知プロセス" International Software Process Symposium. 2-4 (1990)
Motoshi Saeki:“软件设计的认知过程”国际软件过程研讨会 2-4 (1990)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
渡邊 智弘: "思考過程モデルに基づいたツ-ルを用いた仕様化作業の分析" 1990年度電子情報通信学会全国大学. 6. 6-43 (1990)
Tomohiro Watanabe:“使用基于思维过程模型的工具分析规范工作”1990 年国立大学电子、信息和通信工程师研究所 6. 6-43 (1990)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
佐伯 元司: "ソフトウェイ仕様化・設計の方法論の形式化について" 情報処理学会ソフトウェア工学研究会. 72. 4-1-4-8 (1990)
Motoshi Saeki:“软件规范和设计方法的形式化”日本信息处理学会软件工程学研究组72. 4-1-4-8 (1990)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
森谷 俊之: "内包的テンプレ-トによるソフトウェア記述プロセスの実現" 情報処理学会第42回全国大会. 42. 7S-1 (1991)
Toshiyuki Moriya:“使用包含模板的软件描述过程的实现”日本信息处理学会第 42 届全国会议 42. 7S-1 (1991)。
  • 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 }}

佐伯 元司其他文献

ブランチを考慮したプロアクティブなソフトウェアメトリクス値の算出
考虑分支的软件指标值的主动计算
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    伊勢本 圭亮;佐伯 元司;林 晋平
  • 通讯作者:
    林 晋平
統合開発環境と連携するポータブルなビルドシステム
可与集成开发环境配合使用的便携式构建系统
  • DOI:
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    星野 大樹;林 晋平;佐伯 元司;平澤将一,滝沢寛之,小林広明
  • 通讯作者:
    平澤将一,滝沢寛之,小林広明
クラス責務割当てのファジィ制約充足問題としての定式化
将类责任分配表述为模糊约束满足问题
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    林 晋平;柳田 拓人;佐伯 元司;三村 秀典
  • 通讯作者:
    三村 秀典
Performance Analysis of IEEE 802.11 DCF Based on a Macroscopic State Description
基于宏观状态描述的IEEE 802.11 DCF性能分析
  • DOI:
    10.1587/transcom.2017ebp3277
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0.7
  • 作者:
    倉本 涼;林 晋平;佐伯 元司;X. Li and S. Shioda
  • 通讯作者:
    X. Li and S. Shioda
識別子名一括変更支援における推薦精度の向上に向けて
提高批量标识符名称更改支持的推荐准确性
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    梅川 尚孝;林 晋平;佐伯 元司
  • 通讯作者:
    佐伯 元司

佐伯 元司的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('佐伯 元司', 18)}}的其他基金

ソフトウェア要求進化機構の解明とその活用法の研究
软件需求演化机制阐明及其利用方法研究
  • 批准号:
    21K11823
  • 财政年份:
    2021
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
オントロジを用いたソフトウェア要求分析・設計技術の研究
基于本体的软件需求分析与设计技术研究
  • 批准号:
    16016230
  • 财政年份:
    2004
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ソフトウェア要求分析における品質特性メトリックスの研究
软件需求分析中的质量特征度量研究
  • 批准号:
    14019033
  • 财政年份:
    2002
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ソフトウェア要求分析における品質特性メトリックスの研究
软件需求分析中的质量特征度量研究
  • 批准号:
    13224035
  • 财政年份:
    2001
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas (C)
ソフトウェアの仕様化・設計法の生成の研究
软件规范与设计方法生成研究
  • 批准号:
    08680350
  • 财政年份:
    1996
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
発話行為論に基づくソフトウェアの要求分析手法の研究
基于言语行为理论的软件需求分析方法研究
  • 批准号:
    07680340
  • 财政年份:
    1995
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
ソフトウェア仕様作成会議における協調作業支援ツールの研究
软件规范创建会议中协同工作支持工具的研究
  • 批准号:
    06680309
  • 财政年份:
    1994
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
ソフトウェア設計過程支援のための協調アーキテクチャの研究
支持软件设计过程的协同架构研究
  • 批准号:
    04650307
  • 财政年份:
    1992
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
ソフトウェア設計過程における人間の思考モデルの研究
软件设计过程中的人类思维模型研究
  • 批准号:
    04219202
  • 财政年份:
    1992
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ソフトウェア設計過程における人間の思考モデルの研究
软件设计过程中的人类思维模型研究
  • 批准号:
    03235202
  • 财政年份:
    1991
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas

相似海外基金

ソフトウェアの仕様化・設計法の生成の研究
软件规范与设计方法生成研究
  • 批准号:
    08680350
  • 财政年份:
    1996
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了