检测到您已登录华为云国际站账号,为了您更好的体验,建议您访问国际站服务网站 https://www.huaweicloud.com/intl/zh-cn
不再显示此消息
未实名认证
已实名认证
对应到软件模型,break通常用来表示if...break语句的逻辑执行。 loop 循环 片段重复一定次数,可以在临界中指示片段重复的条件。 par 并行 并行处理。 片段中的事件可以交错。 critical 关键 用在par或seq片段中。指示此片段中的消息不能与其他消息交错。 seq 弱顺序 有两个或更多操作数片段。