Assessing SMT and CLP approaches for workflow nets verification

In the actual business world, companies rely more and more on workflows to model the core of their business processes. In this context, the focus of workflow analysts is made on the verification of workflows specifications, in particular of modal specifications that allow the description of necessar...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal on software tools for technology transfer 2018-08, Vol.20 (4), p.467-491
Hauptverfasser:	Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume
Format:	Artikel
Sprache:	eng
Schlagworte:	Business Computer Science FMICS-AVoCS Logic programming Microprocessors Petri nets Software Engineering Software Engineering/Programming and Operating Systems Specifications Theory of Computation Workflow
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!