時間制約付きペトリネットモデルで記述された分散システムの動作仕様の自動導出

自动推导由时间约束 Petri 网模型描述的分布式系统的行为规范

基本信息

  • 批准号:
    07780260
  • 负责人:
  • 金额:
    $ 0.58万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    1995
  • 资助国家:
    日本
  • 起止时间:
    1995 至 无数据
  • 项目状态:
    已结题

项目摘要

1.申請者らの論文"Synthesis of Protocol Entities'Specifications from Service Specifications in a Petri Net Model with Registers",Proc.of 15th IEEE International Conference on Distributed Computing Systems,pp.510-517,(1995-6).で実用的なシステムを記述するのに(時間制約を考慮にいれていないことを除いて)ほぼ充分なクラスで自動導出ができる方法を考案した.2.このクラスに対して時間制約を付加したモデルを考案した.具体的には,時間制約のモデルとして一般的なTimed Petrinetのモデルを我々のモデルに取り込むこととした.このモデルでは,時間制約として,トランジションの発火可能な状態から実際に発火するまでの最小時間と最大時間を与えている.3.このモデルとクラスのもとで,通信に一定の最大時間遅延が与えられた分散環境での実行可能性判定アルゴリズムを考案した.実行可能性の判定問題は,実数数上の線形制約式として与えられるように工夫したため,実用的な問題が十分に解ける.4.実行可能性がある際の動作仕様導出アルゴリズムを考案した.分散環境下の各実行ノードが十分に正確な内部時計を持っているという仮定のもとで,もとの仕様通りに動作する動作仕様を導出する.この動作仕様導出アルゴリズムで生成される動作仕様は一般的に時間遅延をなるべく押さえることができる.また,分散環境下での実行選択や,レジスタ値の更新競合をメッセージに時刻印を持たせる方法で解決可能であることを示した.また,本システムの導出系を作成した.5.以上の成果を平成8年3月26日に電子情報通信学会ソフトウェアサイエンス研究会にて発表する(予定).今後は,いくつかの制約条件を緩めたうえで,国際会議(ICDCS'97等)の投稿を予定している.
1.申请人论文“Synthesis of Protocol Entities'Specifications from Service Specifications in a Petri Net Model with Registers”,第15届IEEE分布式计算国际会议论文集。 Systems,第 510-517 页(1995-6)设计了一种可以自动派生几乎足以描述实际系统的类(除了不考虑时间限制)。我们设计了一个模型。为此类添加了时间约束。具体来说,我们创建了一个为此类添加时间约束的模型。我们决定将 Petrinet 的模型合并到我们的模型中,我们给出从可以触发转换的状态到实际触发的最短和最大时间作为时间约束。 3. 该模型和类在分布式环境中进行通信。给出了一定的最大时间延迟我们设计了一种可行性判断算法。将可行性判断问题设计为实数上的线性约束方程,这样就可以很好地解决实际问题。4.在分布式环境中具有足够精确的内部时钟。基于这样的假设,推导出按照原始规范进行操作的行为规范:环境中的执行选择和寄存器值的更新冲突可以通过在消息中添加时间戳来解决。我们还为此系统创建了一个推导系统。 5. 上述成果将于1996年3月26日在电子信息通信工程师学会软件科学研究组上发表(计划)。对于国际会议(ICDCS'97 等),放宽了一些限制。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ 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:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小形 真平;中村 哲真;岡野 浩三
  • 通讯作者:
    岡野 浩三
画面遷移モデリングにおける関心事の分離法の検討 : 業務機能と使用性向上機能に着目して
检查屏幕转换建模中的关注点分离:关注业务功能和可用性改进功能
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小形 真平;紙森 翔平;海谷 治彦;岡野 浩三
  • 通讯作者:
    岡野 浩三
画面遷移モデリングにおける関心事の分離法の検討 : 業務機能と使用性向上機能に着目して
检查屏幕转换建模中的关注点分离:关注业务功能和可用性改进功能
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小形 真平;紙森 翔平;海谷 治彦;岡野 浩三
  • 通讯作者:
    岡野 浩三
画面遷移モデルに基づくシナリオ作成支援手法の検討
基于屏幕转换模型的场景创建支持方法研究
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小形 真平;中村 哲真;岡野 浩三
  • 通讯作者:
    岡野 浩三

岡野 浩三的其他文献

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

{{ truncateString('岡野 浩三', 18)}}的其他基金

自然語解析と反例解析を活用したソフトウェア開発
使用自然语言分析和反例分析进行软件开发
  • 批准号:
    21K11826
  • 财政年份:
    2021
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
契約に基づいた関数型プログラム設計に対する正当性保証に関する研究
基于契约的功能程序设计正确性保证研究
  • 批准号:
    17700032
  • 财政年份:
    2005
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
関数型プログラムに対するモジュール構造を考慮にいれた効率のよい形式的検証支援
有效的形式验证支持,考虑到功能程序的模块化结构
  • 批准号:
    14780214
  • 财政年份:
    2002
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
分散システムにおける実行効率の良い耐故障性動体プログラムの自動導出
自动推导分布式系统中执行效率高的容错运动程序
  • 批准号:
    06780258
  • 财政年份:
    1994
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

時間制約と不確実性下の運動調整を支える運動準備方略の解明
阐明在时间限制和不确定性下支持运动协调的运动准备策略
  • 批准号:
    24KJ1843
  • 财政年份:
    2024
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
BRITE Pivot: Learning-based Optimal Control of Streamflow with Potentially Infeasible Time-bound Constraints for Flood Mitigation
BRITE Pivot:基于学习的水流优化控制,具有可能不可行的防洪时限约束
  • 批准号:
    2226936
  • 财政年份:
    2023
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Standard Grant
Scheduling Optimization of Manufacturing and Service Environments with Time-Lag Constraints
具有时滞约束的制造和服务环境的调度优化
  • 批准号:
    RGPIN-2017-03743
  • 财政年份:
    2022
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Discovery Grants Program - Individual
Scheduling Optimization of Manufacturing and Service Environments with Time-Lag Constraints
具有时滞约束的制造和服务环境的调度优化
  • 批准号:
    RGPIN-2017-03743
  • 财政年份:
    2022
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Discovery Grants Program - Individual
時間的・空間的制約下におけるマルチモーダルなロービジョン移動ケアに関する研究
时空约束下多模态低视力移动护理研究
  • 批准号:
    22K11530
  • 财政年份:
    2022
  • 资助金额:
    $ 0.58万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了