检索结果-内蒙古大学图书馆

Scenario-based hypersequential programming

INTERNATIONAL JOURNAL OF PARALLEL programming 2000年第2期28卷 155-177页

作者： Uchihira, N Kawata, H Tamura, F Toshiba Corp Corp Res & Dev Ctr Kawasaki Kanagawa Japan

hypersequential programming is a new paradigm of concurrent programming. The original concurrent program is first serialized, then the sequential version is tested and debugged, and finally the target concurrent program is synthesized by parallelizing the debugged sequential version. In hypersequential programming, testing and debugging are performed on the sequential version of the program and the correctness is preserved in the: subsequent parallelization process. Therefore, it offers both higher productivity and enhanced reliability. This paper describes a practical approach to hypersequential programming using the execution history called scenario. It also formalizes the parallelization process using a new equivalence relation called scenario graph equivalence, and gives the parallelization algorithm.

关键词： concurrent programming testing debugging Petri net communicating transition systems parallelization hypersequential programming scenario timing tranquilizer

来源：评论

学校读者我要写书评

暂无评论

Highly reliable concurrent systems by hypersequential programming

Highly reliable concurrent systems by hypersequential progra...

引用

SICE 2004 Annual Conference

作者： Uchihira, N System Engineering Laboratory Toshiba Corporation Japan

ISBN: (纸本)4907764227

hypersequential programming is a new way of concurrent-program development, in which the original concurrent program is first serialized, then tested and debugged as a set of sequential. programs (scenarios), and finally restored into the target concurrent program by parallelization. Both high productivity and reliability are achieved by hypersequential programming because testing and debugging are done for the serialized versions and correctness of the serialized programs is preserved during subsequent parallelization.

关键词： concurrent systems scenario hypersequential programming

来源：评论

学校读者我要写书评

暂无评论

Making reactive systems highly reliable by hypersequential programming

Making reactive systems highly reliable by hypersequential p...

引用

17th Workshop on Circuits and Systems

作者： Uchihira, N Toshiba Co Ltd Kawasaki Kanagawa 2128582 Japan

hypersequential programming is a new method of concurrent-program development in which the original concurrent program is first serialized, then tested and debugged as a set of sequential programs (scenarios), and finally restored into the target concurrent program by parallelization. Both high productivity and reliability are achieved by hypersequential programming because testing and debugging are done for the serialized versions and the correctness of the serialized programs is preserved during the subsequent parallelization. This paper proposes scenario-based hypersequential programming for reactive multitasking systems that have not only concurrency and nondeterminacy, but also interruption and priority. Petri nets with priority are used to model reactive systems featuring interruption and priority-based scheduling. How reactive systems are made highly reliable by this approach is explained and the effectiveness of the approach is demonstrated through the example of a telephone terminal control program.

关键词： reactive system reliability scenario hypersequential programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：