ISO 18629-12:2005 PDF

Name: ISO 18629-12:2005 — Industrial automation systems and integration — Process specification language — Part 12: Outer core
SKU: ISO 18629-12:2005
Price: 25 EUR
Availability: InStock

Industrial automation systems and integration — Process specification language — Part 12: Outer core

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

ISO 18629-12:2005

Industrial automation systems and integration — Process specification language — Part 12: Outer core

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

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

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

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

ruen

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

Цена:855 €

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

ISO 18629-12:2005 provides a representation of the concepts that belong to the outer core of the language, through a set of axioms and definitions. These axioms provide an axiomatization of the semantics for terminology in the ISO 18629 Outer core. The following are within the scope of ISO 18629-12:2005: the aggregation of activities and sub-activities; discrete activities and state; constraints on the occurrence of activities; concurrency for primitive activities; complex activities; occurrences of complex activities.

Abstract

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

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

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.

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.

ISO 18629-12:2005 PDF

Abstract

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

Overview

Key Topics

Practical Applications

Who Should Use It

Related Standards

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

BS ISO 18629-42:2006

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

BS ISO 18629-12:2005

Industrial automation systems and integration. Process specification language. Outer core.

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