Overview
ISO 18629-12:2005 - part of the ISO Process Specification Language (PSL) family - defines the outer core of PSL by providing an axiomatization of semantics for terminology used in PSL’s outer core. Published by ISO in 2005, this part captures formal definitions, primitive relations, functions and a set of axioms that specify how activities, sub-activities, occurrences and states are represented and related. The document supports rigorous, machine-interpretable process semantics for industrial automation and integration.
Key Topics
- Axioms and Definitions: Formal axiomatization that gives unambiguous semantics for outer-core concepts in PSL.
- Activity Aggregation: Representation and rules for aggregation of activities and sub-activities (subactivity theory).
- Discrete State Theory: Modeling discrete states, state-holding relations and prior/holds semantics for state transitions.
- Occurrence Tree Theory: Formalism for occurrence ordering, legal sequences, predecessor/successor relations and concurrency constraints.
- Atomic and Complex Activities: Distinctions between primitive (atomic) activities and complex/compound activities, including concurrency (conc) and composition semantics.
- Activity Occurrence Semantics: Definitions and relations for occurrences of complex activities and their internal occurrence trees.
- Primitive Relations & Functions: Catalogues of primitive relations and functions used to express process semantics (e.g., earlier, precedes, poss, successor).
- Informal Semantics Sections: Natural-language explanation accompanying formal axioms to aid interpretation and implementation.
Practical Applications
- Process Modeling & Interoperability: Standardizes how process knowledge is represented so manufacturing systems, planning tools and simulation engines can exchange and interpret process descriptions consistently.
- Formal Verification & Simulation: Enables rigorous analysis of activity ordering, concurrency and state behavior to verify process correctness.
- System Integration & Automation: Helps integrators and control system developers align semantics across MES, ERP, PLC programming and scheduling systems.
- Knowledge Reuse & Exchange: Useful for organizations creating reusable process libraries and for exchange of process specifications between vendors.
Who Should Use It
- Automation engineers, system integrators and process modelers
- Software architects building PSL-compliant tools (planners, schedulers, simulators)
- Researchers and academics in manufacturing informatics
- Standards bodies and implementers focused on industrial data interoperability
Related Standards
- ISO 18629 core parts (other PSL parts) - use ISO 18629-12 in conjunction with the PSL core and syntax parts for full implementation of Process Specification Language (PSL) across industrial automation systems.
Keywords: ISO 18629-12:2005, Process Specification Language, PSL outer core, industrial automation, activity aggregation, occurrence tree, discrete state, axiomatization, semantics.