机译:使用灵活的模型生成来分析交互的WS-BPEL流程
Humboldt-Universitaet zu Berlin, Institut fuer Informatik, Unter den Linden 6, 10099 Berlin, Germany;
business process modeling and analysis; formal models in business process management; process verification and validation; petri nets; WS-BPEL;
机译:一种基于WS-BPEL的服务流程交互兼容性分析的路径检测方法
机译:通过多路集合点交互的异步过程的形式化模型自动生成分布式代码
机译:ProteoMix:一种集成且灵活的系统,用于交互式分析大量蛋白质序列
机译:跨组织WS-BPEL业务流程的灵活性
机译:纵向数据的变系数模型:分段连续,灵活,混合效果模型和分析方法,具有不可忽略的辍学数据
机译:Feller Processs:下一代建模。布朗运动Lévy过程及其他
机译:使用灵活的模型生成分析交互式WsBpEL流程