机译:使用合金模型检查医疗保健工作流程
Workflow modellingEfficient verificationAlloyModel checkingModel-driven engineering.;
机译:用于检查医疗保健工作流程的模型的用户友好工具
机译:基于开放工作流网络建模的Web服务组合的CTL模型检查
机译:医疗领域模型的模型检查。
机译:符号模型检查支持UML活动图指定的Grid Service工作流模型的形式验证
机译:使用Alloy对对象进行运行时一致性检查。
机译:更正为:一种新的半自动化工作流程用于化学数据检索和建模应用程序的质量检查
机译:使用合金模型检查医疗保健工作流程