机译:规范和验证流程约束以实现灵活的工作流程
School of Information Technology and Electrical Engineering, The University of Queensland, Qld 4072, Australia;
flexible workflows; process modeling; workflow verification;
机译:带有RBAC机制和SoD约束的工作流的规范和验证
机译:工作流程规范的资源约束分析
机译:一种灵活的工作流程活动的规范,组成和重组的系统方法
机译:灵活工作流程的服务质量通过过程约束
机译:Web服务的业务流程执行语言的高级规范和验证。
机译:使用Scipion进行动态电子显微镜单颗粒图像处理的灵活工作流程
机译:一种约束规范方法,用于构建灵活的工作流程