Enabling cost-aware and adaptive elasticity of multi-tier cloud applications

R Han, MM Ghanem, L Guo, Y Guo… - Future Generation …, 2014 - Elsevier
Elasticity (on-demand scaling) of applications is one of the most important features of cloud
computing. This elasticity is the ability to adaptively scale resources up and down in order to …

Dynamic checking and solution to temporal violations in concurrent workflow processes

YH Du, PC Xiong, YS Fan, X Li - IEEE Transactions on …, 2011 - ieeexplore.ieee.org
Current methods that deal with concurrent workflow temporal violations only focus on
checking whether there are any temporal violations. They are not able to point out the path …

Incremental analysis of temporal constraints for concurrent workflow processes with dynamic changes

Y Du, B Yang, H Hu - IEEE Transactions on Industrial …, 2018 - ieeexplore.ieee.org
Nowadays, workflow process changes frequently in a fast-changing business environment.
When updating a workflow process via some structural changes, one of the most important …

Modelling and performance analysis of clinical pathways using the stochastic process algebra PEPA

X Yang, R Han, Y Guo, J Bradley, B Cox, R Dickinson… - BMC …, 2012 - Springer
Background Hospitals nowadays have to serve numerous patients with limited medical staff
and equipment while maintaining healthcare quality. Clinical pathway informatics is …

Investigations into elasticity in cloud computing

R Han - arXiv preprint arXiv:1511.04651, 2015 - arxiv.org
The pay-as-you-go model supported by existing cloud infrastructure providers is appealing
to most application service providers to deliver their applications in the cloud. Within this …

Model checking of timed compatibility for mediation-aided web service composition: A three stage approach

Y Du, B Yang, H Hu - Expert Systems with Applications, 2018 - Elsevier
Currently, modeling and analyzing timed compatibility of Petri net based mediation-aided
Web service composition by model checking are attracting increasing attention in the expert …

Two-stage dynamic optimisation of service processes with temporal constraints

H Liang, Y Du - International Journal of High Performance …, 2016 - inderscienceonline.com
In order to guarantee the successful execution of service processes in cloud computing, it is
important to dynamically optimise service processes with temporal constraints at runtime …

大规模设备协同中的时间建模与验证

荣晓慧, 马世龙, 邓攀, 陈峰 - 北京航空航天大学学报, 2012 - bhxb.buaa.edu.cn
针对大规模设备协同系统中时间属性复杂, 时间约束验证困难的特点, 给出了大规模设备协同中
的时间属性建模方法. 针对设备操作时间和状态维持时间2 种时间属性, 通过在操作上附加时间 …

Applying genetic algorithm to optimise personal worklist management in workflow systems

R Genquan, H Rui, L Yingbo, Z Jiong… - … journal of production …, 2013 - Taylor & Francis
Applying scheduling techniques to manage activity instances (tasks) in executors' personal
work lists is crucial in workflow management systems (WFMSs). To date, most practical …

面向工作流个人调度的仿真数据生成研究及实验平台设计

赵炯, 刘英博, 任艮全, 张力 - 计算机集成制造系统, 2012 - cims-journal.cn
对工作流管理系统中个人工作列表管理问题中的工作项到达时间和执行时间的不确定性进行
分析, 设计并实现了针对个人调度问题的仿真实验平台, 用于比较不同调度算法的优劣 …