使用时态逻辑(Temporal Logic,TL)对工作流模型的需求与特性进行规范化描述,具有描述能力强、灵活方便的优点.
基于4个网页-相关网页
使用时态逻辑
Use temporal logic
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动