Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R.China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R.China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R.China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R.China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R.China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R.China;
Bigraphical Reactive Systems; BPEL; Compensation Handling; Semantics;
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法
机译:基于大型多尺度建模方法描述正确的部署架构
机译:基于个人模型测试上下文感知应用程序
机译:WSBPEL的大型模型
机译:基于传记机的移动反应系统-编程模型及其实现。
机译:UAV培养行为建模使用跟踪大型反应系统
机译:使用灵活的模型生成分析交互式WsBpEL流程