University of Paderborn, Germany;
UML activity diagrams; business process; process quality; ISO 9001;
机译:使用安全模式从安全业务流程中获取UML类图
机译:使用骨架时间表约束在基于活动的模型中建模和预测日常非工作/学校活动模式
机译:通过状态图和CSP对可暂停的业务流程进行建模和模型检查
机译:用于在业务流程中建模质量限制的活动图模式
机译:在专家和新手的论证制图任务中建模推理过程:对制图行为和思想数据的顺序分析
机译:在基于分布式服务的业务流程中强制包含约束
机译:业务流程建模的活动图模式*†