Christian-Albrechts-University Kiel Olshausenstrasse 40, 24098 Kiel, Germany;
Christian-Albrechts-University Kiel Olshausenstrasse 40, 24098 Kiel, Germany;
Christian-Albrechts-University Kiel Olshausenstrasse 40, 24098 Kiel, Germany;
Christian-Albrechts-University Kiel Olshausenstrasse 40, 24098 Kiel, Germany;
University of Osnabrueck Albrechtstr. 28, 49076 Osnabrueck, Germany;
business process models and rules; graphical rule notation (graphical-ctl); model and rule transformation; extended model checking.;
机译:业务流程组成验证的概念框架
机译:基于业务流程管理和知识管理的业务流程外包框架
机译:业务目标和业务流程:一致性和验证
机译:BProVe:业务流程模型的正式验证框架
机译:基于仿真的框架,用于在全球业务环境中将运营模型与业务流程模型集成在一起。
机译:在业务流程中使用信息技术映射管理流程的概念框架
机译:BproVe:业务流程模型的正式验证框架