時間制約付きペトリネットモデルで記述された分散システムの動作仕様の自動導出
自动推导由时间约束 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. Applicant ら ら paper "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) で be used な シ ス テ ム を account す る の に (time restriction を consider に い れ て い な い こ と を except い て) ほ ぼ fully な ク ラ ス で automatic export が で き る method を test case し た. 2. こ の ク ラ ス に し seaborne て time constraints を plus し た モ デ ル を test case し た. The specific に, the time constraint is モデ と と て て, the general なTimed Petrinet の モ デ ル を I 々 の モ デ ル に take り 込 む こ と と し た. こ の モ デ ル で は, time constraints と し て, ト ラ ン ジ シ ョ ン の 発 fire may な state か ら be interstate に 発 fire す る ま で の を with minimum time と maximum time え て い る. 3. こ の モ デ ル と ク ラ ス の も と で, communication に 遅 の maximum time delay が and え Youdaoplaceholder0 dispersed environment で <s:1> practical possibility determination ア ゴリズムを ゴリズムを case study ア た. Line be possibility の decision problem は, be counting on の linear restriction type と し て and え ら れ る よ う に time し た た め, be used な が very に solutions け る. 4. Line be possibility が あ る interstate の action shi others export ア ル ゴ リ ズ ム を test case し た. の dispersed environment each line be ノ ー ド が very correct な internal に meter を hold っ て い る と い う 仮 set の も と で, も と の shi others pass り に action す る action shi others を export す る. こ の action shi others export ア ル ゴ リ ズ ム で generated さ れ る action shi others は に time in general 遅 delay を な る べ く detain さ え る こ と が で き る. ま た, dispersed environment で の line be sentaku や, レ ジ ス タ numerical の update competition を メ ッ セ ー ジ に moment printing を hold た せ で る method may solve で あ る こ と を shown し た. ま た, this シ ス テ ム の を export department made し た. 5. The above <s:1> results を March 26, heisei 8 に Electronic Information and communication society ソフトウェアサ エ エ ス Research society にて release form する(tentative). In the future, を, く, く, を, を, the constraints are を and めたうえで. For international conferences (such as ICDCS'97, etc.), を submissions will be approved by る, て, る, and る.
项目成果
期刊论文数量(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 }}
岡野 浩三其他文献
外部入力のみを保持できる整数変数を持つFSMに対する記号モデル検査法
具有只能保存外部输入的整数变量的有限状态机的符号模型检查方法
- DOI:
- 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
竹中 崇;岡野 浩三;東野 輝夫;谷口 健一 - 通讯作者:
谷口 健一
MDDにおける操作記録プロトタイプによるユーザビリティ評価支援
MDD中使用操作记录原型的可用性评估支持
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子: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)
状態爆発するWEBアプリケーションに対するソフトウェアモデル検査
状态爆炸 Web 应用程序的软件模型检查
- 批准号:
18049054 - 财政年份:2006
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
契約に基づいた関数型プログラム設計に対する正当性保証に関する研究
基于契约的功能程序设计正确性保证研究
- 批准号:
17700032 - 财政年份:2005
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
関数型プログラムに対するモジュール構造を考慮にいれた効率のよい形式的検証支援
有效的形式验证支持,考虑到功能程序的模块化结构
- 批准号:
14780214 - 财政年份:2002
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
有理数プレスブルガー文真偽判定の高速処理系
用于判断有理普雷斯堡句子真假的高速处理系统
- 批准号:
11780219 - 财政年份:1999
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
分散システムにおける実行効率の良い耐故障性動体プログラムの自動導出
自动推导分布式系统中执行效率高的容错运动程序
- 批准号:
06780258 - 财政年份:1994
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
時間制約と不確実性下の運動調整を支える運動準備方略の解明
阐明在时间限制和不确定性下支持运动协调的运动准备策略
- 批准号:
24KJ1843 - 财政年份:2024
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Life-history trade-offs, seasonal time constraints, and the optimization of body size
生活史权衡、季节性时间限制和体型优化
- 批准号:
RGPIN-2016-06469 - 财政年份:2021
- 资助金额:
$ 0.58万 - 项目类别:
Discovery Grants Program - Individual
Empirical research on the effects of auto ownership on parents' time constraints and children's human capital investments
汽车拥有对父母时间约束及子女人力资本投资影响的实证研究
- 批准号:
20K01677 - 财政年份:2020
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Life-history trade-offs, seasonal time constraints, and the optimization of body size
生活史权衡、季节性时间限制和体型优化
- 批准号:
RGPIN-2016-06469 - 财政年份:2020
- 资助金额:
$ 0.58万 - 项目类别:
Discovery Grants Program - Individual
Extraction of Important Nodes/Links under Time Constraints in Uncertain Networks
不确定网络中时间约束下重要节点/链路的提取
- 批准号:
20K11940 - 财政年份:2020
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A Study on Self-adaptation Mechanism Under Time Constraints
时间约束下的自适应机制研究
- 批准号:
20H04167 - 财政年份:2020
- 资助金额:
$ 0.58万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Efficient algorithms for online ad markets with time constraints
适用于有时间限制的在线广告市场的高效算法
- 批准号:
501092-2016 - 财政年份:2019
- 资助金额:
$ 0.58万 - 项目类别:
Collaborative Research and Development Grants
Life-history trade-offs, seasonal time constraints, and the optimization of body size
生活史权衡、季节性时间限制和体型优化
- 批准号:
RGPIN-2016-06469 - 财政年份:2019
- 资助金额:
$ 0.58万 - 项目类别:
Discovery Grants Program - Individual
Economic analysis of time constraints on decision-making in health
卫生决策时间限制的经济分析
- 批准号:
DE190100887 - 财政年份:2019
- 资助金额:
$ 0.58万 - 项目类别:
Discovery Early Career Researcher Award
Efficient algorithms for online ad markets with time constraints
适用于有时间限制的在线广告市场的高效算法
- 批准号:
501092-2016 - 财政年份:2018
- 资助金额:
$ 0.58万 - 项目类别:
Collaborative Research and Development Grants














{{item.name}}会员




