2009 | OriginalPaper | Buchkapitel
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
verfasst von : Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur
Erschienen in: Web Services and Formal Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present, in this paper, the Time Recursive ECATNets (T-RECATNets) 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.