机译:以UML工件为中心的业务流程模型中的一致性检查
Univ Politecn Cataluna, C Jordi Girona Salgado 1-3, ES-08034 Barcelona, Spain;
Pontificia Univ Catolica Chile UC, Av Vicuna Mackenna 4860, Santiago, Chile;
Univ Politecn Cataluna, C Jordi Girona Salgado 1-3, ES-08034 Barcelona, Spain;
Univ Politecn Cataluna, C Jordi Girona Salgado 1-3, ES-08034 Barcelona, Spain;
Conformance checking; Artifact-centric BPM; BAUML framework; Process mining;
机译:符合UML神器的经营过程模型中的检查
机译:数据感知场景中声明性业务流程模型的一致性检查和诊断
机译:基于模型检查的BPEL业务流程一致性测试
机译:使用UML图的以工件为中心的业务流程建模
机译:探索以人工为中心的业务流程模型的复杂性指标
机译:基于UMLS的拼写检查器用于疫苗安全中的自然语言处理
机译:符合UML神器的经营过程模型中的检查