Imperial College London

ProfessorJeffKramer

Faculty of EngineeringDepartment of Computing

Honorary Emeritus Professor of Distributed Computing
 
 
 
//

Contact

 

j.kramer Website

 
 
//

Assistant

 

Mrs Bridget Gundry +44 (0)20 7594 1245

 
//

Location

 

571Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Uchitel:2019:10.1007/978-3-030-26619-6_5,
author = {Uchitel, S and Braberman, V and Kramer, J and Nahabedian, L and D'Ippolito, N},
doi = {10.1007/978-3-030-26619-6_5},
pages = {35--51},
publisher = {Springer Verlag},
title = {Dynamic reconfiguration of business processes},
url = {http://dx.doi.org/10.1007/978-3-030-26619-6_5},
year = {2019}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - Organisations require that their business processes reflecttheir evolving practices by maintaining compliance with their policies,strategies and regulations. Designing workflows which satisfy these re-quirements is complex and error-prone. Business process reconfigurationis even more challenging as not only a new workflow must be devisedbut also an understanding of how the transition between the old andnew workflow must be managed. Transition requirements can includeboth domain independent, such as delayed and immediate change, oruser-defined domain specific requirements. In this paper we present afully automated technique which uses control synthesis to not only pro-duce correct-by-construction workflows from business process require-ments but also to compute a reconfiguration process that guarantees theevolution from an old workflow to a new one while satisfying any user-defined transition requirements. The approach is validated using threeexamples from the BPM Academic Initiative described as Dynamic Con-dition Response Graphs which we reconfigured for a variety of transitionsrequirements.
AU - Uchitel,S
AU - Braberman,V
AU - Kramer,J
AU - Nahabedian,L
AU - D'Ippolito,N
DO - 10.1007/978-3-030-26619-6_5
EP - 51
PB - Springer Verlag
PY - 2019///
SN - 0302-9743
SP - 35
TI - Dynamic reconfiguration of business processes
UR - http://dx.doi.org/10.1007/978-3-030-26619-6_5
UR - http://hdl.handle.net/10044/1/70972
ER -