Alloy; business process; formal analysis; resource; round-based model; time;
机译:对时间和资源敏感的简单业务流程的正式建模和分析
机译:将安全业务流程半正式转换为分析类和用例模型:MDA方法
机译:与业务规则集成的业务流程的正式模型
机译:时间和资源敏感简单业务流程的正式建模与分析
机译:业务流程的建模,分析和组合。
机译:社交媒体与业务流程之间的一致性对中小企业业务流程绩效的影响:一种概念模型
机译:授权约束下业务流程的形式化规范和自动分析:基于行动的方法?
机译:众包形式验证:面向以人为本的商业模式的商业案例分析。