Modeling breakdown handling for SOA-based factory automation systems

摘要

This paper discusses the problem of modeling breakdown handling for factory automation systems seen from a service oriented architecture perspective. The formal representation of in conditioning, forward and backward recovery techniques is addressed, and a specific case study is presented. Semantic annotations of processes are proposed to assist both the selection of the recovery method and the way it is carried out.