A system for deduction-based formal verification of workflow-oriented software models

Online veröffentlicht: 20. Dez. 2014

Seitenbereich: 941 - 956

Eingereicht: 30. Nov. 2013

DOI: https://doi.org/10.2478/amcs-2014-0069

Schlüsselwörter

formal verification, deductive reasoning, temporal logic, semantic tableaux, workflow patterns, logical primitives, generating logical specifications, business models, BPMN

© by Radosław Klimek

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.