English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this paper, we present a method of verification of collaborative workflowprocesses based on model checking techniques. In particular, we propose toverify soundness properties of these processes using SPIN model checker. Firstwe translate the adopted specification of workflows (i.e. the WF-net) toPromela which is the description language of models to be verified by SPIN.Then we express the soundness properties in Linear Temporal Logic (LTL) and useSPIN to test whether each property is satisfied by the Promela model of theWF-net in question. Finally, we express the properties of k-soundness forWF-nets modeling multiple instances and (k,R)-soundness for workflow processeswith multiple instances and sharing resources.

V\'erification Formelle des Processus Workflow Collaboratifs