Modelling and analysis of time-constrained flexible workflows with time recursive ECATNets

Abstract

We present, in this paper, the Time Recursive ECATNets (TRECATNets) formalism for the modelling and analysis of time-constrained reconfigurable workflows, which are preponderant in the field of Web services. In a second step, we propose a method for building a specific state class graph in terms of rewrite logic. Therefore, one can verify some properties with respect to time constraints using model checking techniques.