標準號：ISO 18629-12-2005
中文標準名稱：工業自動化系統和集成.工藝規范語言.第12部分:外芯
英文標準名稱：Industrial automation systems and integration - Process specification language - Part 12: Outer core
標準類型：N17
發布日期：1999/12/31 12:00:00
實施日期：1999/12/31 12:00:00
中國標準分類號：N17
國際標準分類號：25.040.40
適用范圍：This part of ISO 18629 provides a representation of the concepts that belong to the Outer core of thelanguage, through a set of axioms and definitions. These axioms provide an axiomatization of thesemantics for terminology in the ISO 18629 Outer core.The following are within the scope of this part of ISO 18629:? 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.