ISO 18629-13:2006 PDF

Name: ISO 18629-13:2006 — Industrial automation systems and integration — Process specification language — Part 13: Duration and ordering theories
SKU: ISO 18629-13:2006
Price: 25 EUR
Availability: InStock

Industrial automation systems and integration — Process specification language — Part 13: Duration and ordering theories

Название (английский):

ISO 18629-13:2006

Industrial automation systems and integration — Process specification language — Part 13: Duration and ordering theories

Статус документа:: Действующий
Формат:: Электронный (PDF)
Количество страниц:: 39
Дата публикации:: 14 августа 2006 г.
Издание:: ISO IS 18629 edition 1 version 1
ICS:: 25.040.40

Тип поставки:

Full version585 €Read online 24h10 €Read online 72h15 €

Язык документа:

ruen

Срок поставки:7 раб. дн. (перевод)

Цена:585 €

Описание (английский):

ISO 18629-13:2006 provides a description of the duration and ordering core theories in ISO 18629, which defines elements needed by most of the extensions of the process specification language (PSL) aimed at structuring the semantic concepts intrinsic to the capture and exchange of process information related to discrete manufacturing.

Abstract

Похожие стандарты

Упомянутые в описании и другие стандарты ISO

Overview

ISO 18629-13:2006, part of the Process Specification Language (PSL) family, defines the duration and ordering core theories used to capture and exchange process information in discrete manufacturing. This part documents the formal semantics needed by many PSL extensions - specifying how subactivity ordering, temporal duration, occurrence tree automorphisms and activity envelopes are represented so process descriptions can be interpreted consistently across tools and organizations.

Key Topics

Subactivity occurrence ordering theory

Formalizes primitive and defined relations that determine ordering among subactivities (e.g., root, leaf, next relations), accompanied by informal semantics, definitions and axioms.

Duration theory

Defines primitive relations, functions and constants for representing time, timeduration, arithmetic on durations (add, mult, zero, one), comparisons (lesser), and max/min semantics, together with axioms and informal semantics.

Occurrence tree automorphisms

Specifies relations and mappings for legal tree transformations and automorphisms of occurrence trees used to represent hierarchical process instances.

Activity envelope theory

Describes envelope and umbra concepts (activity boundaries and shadowing) to reason about activity extents and interactions.

Document structure and normative content

Each theory contains primitive relations, defined relations, relationships to other axioms, informal semantics, formal definitions and axioms.

Annexes

Annex A: Use of ASN.1 identifiers in SC4 standards.
Annex B: Informative example of process description using ISO 18629-13.

Applications

ISO 18629-13 supports practical use cases where precise temporal and ordering semantics are critical:

MES, APS and scheduling systems - consistent representation of activity durations and precedence for planning and sequencing.

Process modeling and simulation - formal temporal semantics for validating and simulating manufacturing workflows.

Interoperability and data exchange - standardized duration/ordering concepts for exchanging process specifications between CAD/CAM, ERP, PLM and automation tools.

Workflows and process analytics - unambiguous ordering relations to support traceability, optimization and root-cause analysis in discrete manufacturing lines.

Who Should Use It

Automation engineers and system integrators designing interoperable manufacturing systems

Software vendors (MES, PLM, simulation, scheduling) implementing PSL-based data exchange

Standards bodies and implementers working with ISO 18629 and ISO/TC 184/SC 4

Researchers and consultants focused on process semantics and formal process representation

Related Standards

Other parts of ISO 18629 (Process Specification Language) provide complementary modules for entities, activities, properties and extensions used together with Part 13 to enable complete, machine-interpretable process descriptions.

Keywords: ISO 18629-13, Process Specification Language, PSL, duration theory, ordering theory, industrial automation, discrete manufacturing, process modeling, interoperability.

ISO 18629-13:2006 PDF

Abstract

Похожие стандарты

Overview

Key Topics

Applications

Who Should Use It

Related Standards

Технические детали

BS ISO 18629-42:2006

Industrial automation systems and integration. Process specification language. Definitional extension: Tempor…

ISO 8689-1:2000

Water quality — Biological classification of rivers — Part 1: Guidance on the interpretation of biological qu…

ISO/ASTM51540-04(2012)

Standard Practice for Use of a Radiochromic Liquid Dosimetry System (Withdrawn 2020)

ISO/ASTM51204-04

Standard Practice for Dosimetry in Gamma Irradiation Facilities for Food Processing (Withdrawn 2013)

ISO/ASTM51431-05

Standard Practice for Dosimetry in Electron Beam and X-Ray (Bremsstrahlung) Irradiation Facilities for Food P…

ISO/ASTM52628-20e1

Standard Practice for Dosimetry in Radiation Processing

ISO/ASTM52921-13(2019)

Standard Terminology for Additive Manufacturing—Coordinate Systems and Test Methodologies

ISO/ASTMTR52917-EB

Additive Manufacturing — Round Robin Testing — General Guidelines