Verification of the Consistency of Timing Constraints of the Orchestration of Factory Automation Web Services

This paper presents a methodology to verify the timing constraints of the orchestrator of factory automation web services. The formalism that was chosen to represent the sequencing of the services as well as their timing behavior is Timed Net /Condition Event Systems (TNCES), due to both its modular nature and its ability to express concurrent behaviors and non-determinism. A description of the means of calculating the relationship between the timing constraints of the control constructs used to specify the orchestration and respectively the intermediate constraints of the composing services is given. A small theoretical example is provided.