
点击查看大图
ISO 18629 的这一部分通过一组公理和定义,提供了属于语言外核的概念的表示。这些公理为 ISO 18629 外核中的术语提供了语义的公理化。以下内容属于 ISO 18629 的这一部分的范围: - 活动和子活动的聚合; - 离散活动和状态; - 对活动发生的约束; - 原始活动的并发性; - 复杂活动; - 复杂活动的发生。
Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-07-29 05:26