ISO/IEC 15909-1:2004 软件和系统工程.高级皮特里网.第1部分：概念、定义和图形注释

标准编号：ISO/IEC 15909-1:2004

中文名称：软件和系统工程.高级皮特里网.第1部分：概念、定义和图形注释

英文名称：Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation

发布日期：2004-12

标准范围

ISO/IEC 15909-1:2004定义了一种半图形建模语言，用于离散事件系统的规范、设计和分析，包括软件，尤其是并发性是重要特征的分布式和并行系统。高级Petri网技术是数学定义的，因此可以用于提供应用程序的明确规范和描述。该技术的图形性质允许信息或资源流和控制流可视化，为理解系统行为提供了强大的帮助。它也是一种可执行的技术，允许开发规范原型，以便在最早、最便宜的机会测试想法。在开始实施之前，可以对技术中编写的规范进行分析，以证明规范的特性，从而节省测试和维护时间。应用领域包括广泛的系统，从制造、业务流程、计算机软件和硬件、电信网络和信号系统、国防系统、机电一体化、邮政服务和航空电子系统到生物和社会技术系统。

ISO/IEC 15909-1:2004 defines a semi-graphical modelling language for the specification, design and analysis of discrete event systems, including software and in particular distributed and parallel systems where concurrency is an important characteristic. The technique, High-level Petri Nets, is mathematically defined and may thus be used to provide unambiguous specifications and descriptions of applications. The graphical nature of the technique allows information, or resource flow, and control flow to be visualised, providing a powerful aid to understanding system behaviour. It is also an executable technique, allowing specification prototypes to be developed to test ideas at the earliest and cheapest opportunity. Specifications written in the technique may be subjected to analysis methods to prove properties about the specifications, before implementation commences, thus saving on testing and maintenance time. The field of application encompasses a wide range of systems from technical systems such as manufacturing, business processes, computer software and hardware, telecommunication networks and signalling systems, defence systems, mechatronics, postal services and avionics to biological and sociotechnical systems.

标准预览图