ISO 18629-13:2006

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.