检测到您已登录华为云国际站账号,为了您更好的体验,建议您访问国际站服务网站 https://www.huaweicloud.com/intl/zh-cn
不再显示此消息
片段重复一定次数,可以在临界中指示片段重复的条件。 break 中断 如果执行此片段,则放弃序列的其余部分。 可以使用临界来指示发生中断的条件。 par 并行 并行处理。 片段中的事件可以交错。 critical 关键 用在 Par 或 Seq 片段中。 指示此片段中的消息不能与其他消息交错。 seq 弱顺序 有两个或更多操作数片段。
认证证书 合规证书 华为云服务及平台通过了多项国内外权威机构(ISO/SOC/PCI等)的安全合规认证,用户可自行申请下载合规资质证书。 图1 合规证书下载 父主题: 安全
源端不以当前M1为出发点,而是以M1的上一条消息线LM1为出发点,并且不受异步与返回消息线的限制。 找到当前消息线M1的上一条消息LM1(注意,是位置在其上的第一条消息线),从LM1出发,如果LM1的目标端LT1在生命线L1上,则LT1为M1的源端【图8】;如果不在,则继续如下流程;