Department of Computer Science - University of Verona Strada Le Grazie, 15, 37134 Verona, Italy;
Department of Computer Science - University of Verona Strada Le Grazie, 15, 37134 Verona, Italy;
Department of Computer Science - University of Verona Strada Le Grazie, 15, 37134 Verona, Italy;
structured business process modeling languages; workflow control-flow patterns; process-aware information systems;
机译:具有控制流模式和授权约束的工作流的满意度分析
机译:控制流动驱动科学工作流的出现模型
机译:通过抽象解释对函数调用和返回进行控制流分析
机译:工作流控制流模式的嵌套解释
机译:使用设计模式和受控词汇表描述数据和工作流来源
机译:BIOMEX:用于(单细胞)组学数据解释和可视化的交互式工作流
机译:具有控制流模式和授权约束的工作流的可满足性分析