A pragmatic formal method (PFM) for computer system definition and execution

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI:10.1109/IWRSP.1992.243913

S. White

引用次数: 1

Abstract

The pragmatic formal method (PFM) process produces a model of a to-be-built target system, provides analysis of model quality, and simulates system operation. PFM incorporates a solution to one of the major problems with Petri nets, i.e., a static Petri net structure of a large system is difficult to define. A formal extension of Petri nets called PFM-nets (nets of interacting PFM functions) is used to simulate system operation and support the development of a rapid prototype. PFM-nets can be generated (in theory) automatically from a PFM model of a target system. The PFM model and model execution are discussed.<>

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

计算机系统定义和执行的实用形式化方法(PFM)

实用形式化方法(PFM)过程生成待构建目标系统的模型，提供模型质量分析，并模拟系统操作。PFM结合了一个解决Petri网的主要问题之一，即大系统的静态Petri网结构难以定义。Petri网的正式扩展称为PFM-网(交互PFM函数网)，用于模拟系统运行并支持快速原型的开发。从理论上讲，可以从目标系统的PFM模型自动生成PFM网络。讨论了PFM模型和模型的执行。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping

自引率

0.00%

发文量

期刊最新文献

Computer aided system prototyping Rapid prototyping with the OR model A system level synthesis framework for computer architectures An evaluation of the Teamwork CASE environment for specifications capture of hardware systems A novel VHDL-based computer architecture design methodology