机译:在带注释的过程模型中对从属约束的合规性检查
SAP Research, Vincenz-Priessnitz-Str. 1,76131 Karlsruhe, Germany;
School of Computer Science & Engineering, The University of New South Wales, Sydney, Australia;
Queensland Research Laboratory,NICTA, Brisbane, Australia;
compliant process design; compliance checking; business process design; formal process verification;
机译:基于本体的规则约束语义建模,用于自动化施工质量符合性检查
机译:语义注释的业务流程的模型检查分析
机译:高效的条件合规性检查业务流程模型
机译:使用带注释的半正式可执行模型在AUTOSAR平台上检查对技术安全要求的验证符合性
机译:使用对象约束语言的时间扩展进行模型检查UML设计。
机译:儿童处理宾语从句时的语篇可及性限制
机译:关于带注释的过程模型中子句约束的符合性检查