首页> 外文会议> >A pragmatic formal method (PFM) for computer system definition and execution

【24h】

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

机译：一种用于计算机系统定义和执行的实用形式方法（PFM）

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：实用的形式化方法（PFM）流程可生成要构建的目标系统的模型，提供对模型质量的分析，并模拟系统操作。 PFM结合了Petri网的主要问题之一的解决方案，即大型系统的静态Petri网结构很难定义。 Petri网的正式扩展称为PFM网络（交互PFM功能的网络），用于模拟系统操作并支持快速原型的开发。从理论上可以从目标系统的PFM模型自动生成PFM网络。讨论了PFM模型和模型执行。

著录项

来源
《》|1992年|P.112-125|共14页
会议地点
作者
White; S.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. Patent Issued for Computer Readable Storage Medium Storing Software Execution Control Program, Software Execution Control Method and Software Execution Control System [J] . Journal of Engineering . 2013,第12期

机译：计算机可读存储介质存储软件执行控制程序，软件执行控制方法和软件执行控制系统已颁发专利
2. Methods of mathematical forecasting of the time of execution of complex sets of jobs in parallel distributed computer systems [J] . A. M. Enaliev, V. V. Ignatushchenko, E. V. Pomazov, Automation and Remote Control . 2002,第10期

机译：并行分布式计算机系统中复杂作业集执行时间的数学预测方法
3. A METHOD OF MONITORING EXECUTION OF ARITHMETIC OPERATIONS ON COMPUTERS IN COMPUTERIZED MONITORING AND MEASURING SYSTEMS [J] . E. V. Krekhov, Al-r A. Pavlov, A. A. Pavlov, Measurement techniques . 2008,第3期

机译：一种计算机监控系统中算术运算执行情况的监测方法
4. A pragmatic formal method (PFM) for computer system definition and execution [C] . White S., Institute of Electric and Electronic Engineer International Workshop on Rapid System Prototyping . 1992

机译：用于计算机系统定义和执行的务实形式方法（PFM）
5. Formal Methods in Computer-Aided Design. [D] . Mangassarian, Hratch. 2012

机译：计算机辅助设计中的形式方法。
6. Formal Definitions of Unbounded Evolution and Innovation Reveal Universal Mechanisms for Open-Ended Evolution in Dynamical Systems [O] . Alyssa Adams, Hector Zenil, Paul C. W. Davies, -1

机译：无限进化和创新的形式定义揭示了动态系统中开放式进化的通用机制
7. Software implementation of mathematical models, methods and algorithms for estimating the time of execution of complex software complexes in multiprocessor computer systems [O] . Yurii Klushyn 2018

机译：用于估计多处理器计算机系统中复杂软件复合体的执行时间的数学模型，方法和算法的软件实现
8. Microwave Landing System (MLS) Development Plan as Proposed by Hazeltine Corporation during the Technique Analysis and Contract Definition Phase of the National MLS Developmental Program. Volume III. Data Formal Analog Computer Studies. [R] . 1974

机译：在国家mLs发展计划的技术分析和合同定义阶段，Hazeltine公司提出的微波着陆系统（mLs）发展计划。第三卷。数据正式模拟计算机研究。

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

摘要

著录项

相似文献

相关主题

期刊订阅