ISO/IEC JTC 1/SC 7/WG 19 - Techniques for Specifying IT Systems

This document defines a Petri net modeling language or technique, called high-level Petri nets, including its syntax and semantics. It provides a reference definition that can be used both within and between organizations, to ensure a common understanding of the technique and of the specifications written using the technique. This document also facilitates the development and interoperability of Petri net computer support tools. This document is applicable to a wide variety of concurrent discrete event systems and in particular distributed systems. Generic fields of application include: — requirements analysis; — development of specifications, designs and test suites; — descriptions of existing systems prior to re-engineering; — modeling business and software processes; — providing the semantics for concurrent languages; — simulation of systems to increase confidence; — formal analysis of the behavior of systems; — and development of Petri net support tools. This document can be applied to the design of a broad range of systems and processes, including aerospace, air traffic control, avionics, banking, biological and chemical processes, business processes, communication protocols, computer hardware architectures, control systems, databases, defense command and control systems, distributed computing, electronic commerce, fault-tolerant systems, games, hospital procedures, information systems, Internet protocols and applications, legal processes, logistics, manufacturing systems, metabolic processes, music, nuclear power systems, operating systems, transport systems (including railway control), security systems, telecommunications and workflows.

ISO/IEC 15909-2:2011 defines an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1. This transfer format enables the exchange of Petri nets among different Petri net tools and among different parties. Moreover, ISO/IEC 15909-2:2011 defines some concepts and XML-based syntax for defining the detailed graphical appearance of Petri nets. The focus of ISO/IEC 15909-2:2011 is on the transfer format for Place/Transition Nets, High-level Petri Nets and Symmetric Nets. The presentation, however, is structured in such a way that it is open for future extensions, so that other versions of Petri nets can be added later. The exact definition of this extension mechanism, called Petri net type definition, is not defined in ISO/IEC 15909-2:2011; it will be defined in ISO/IEC 15909-3. The transfer format will be used to transfer specifications of systems developed in High-level Petri Nets between tools to facilitate the development of systems in teams. ISO/IEC 15909-2:2011 is written as a reference for developers of Petri net tools. It will also be useful for researchers who define new versions and variants of Petri nets.

ISO/IEC 15476-6:2006 defines the State/event subject area of the CDIF semantic metamodel. The CDIF semantic metamodel is used to ensure that the information transferred by tools communicating using CDIF is expressed with an agreed meaning. This subject area contains meta-objects that describe the entities of state transition diagrams and state transition tables, and also meta-relationships and meta-attributes that are necessary for available state transition. ISO/IEC 15476-6:2006 is intended to be used by anyone wishing to understand and/or use CDIF. It provides a definition of a single subject area of the CDIF semantic metamodel. It is suitable for: Those evaluating CDIF; Those who wish to understand the principles and concepts of a CDIF transfer; and Those developing importers and exporters.

ISO/IEC 15476-3:2006 explains the Data definitions subject area of the CDIF semantic metamodel, that defines the primitive data types and the objects which are used for structured data. The CDIF semantic metamodel is used to ensure that the information transferred by tools communicating using CDIF is expressed with an agreed meaning. This subject area contains meta-objects that are used as the basis of the data components of other subject area standards, and also meta-relationships and meta-attributes that are applicable to all data-related meta-objects. ISO/IEC 15476-3:2006 is intended to be used by anyone wishing to understand and/or use CDIF. It provides a definition of a single subject area of the CDIF semantic metamodel. It is suitable for: Those evaluating CDIF; Those who wish to understand the principles and concepts of a CDIF transfer; and Those developing importers and exporters.

ISO/IEC 15476-4:2005 explains the Data models subject area. The CDIF semantic metamodel is used to ensure that the information held by tools communicating using CDIF is transferred with an agreed meaning. It covers the information required to express Entity-Relationship-Attribute Modelling and Logical Database Design concepts. ISO/IEC 15476-4:2005 is intended to be used by anyone wishing to understand and/or use CDIF. It provides a definition of a single subject area of the CDIF semantic metamodel. It is suitable for: Those evaluating CDIF, Those who wish to understand the principles and concepts of a CDIF transfer, and Those developing importers and exporters.

Defines graphical symbols and their conventions for use in configuration diagrams for computer systems, including autamatic data processing systems.

The basic format of single-hit decision tables and relevant definitions are described, together with recommended conventions for preparation and use. Is concerned with the use of decision tables in the context of documentation of computer-based information systems.

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.

Lays down the basic principles for the design of forms, whether discrete forms or continuous forms, and establishes a forms design sheet and a layout chart based on these principles. Applies to the design of forms for administrative, commercial and technical use, whether for completion in handwriting or by mechanical means such as typewriters and automatic printers.