Have a personal or library account? Click to login
A system for deduction-based formal verification of workflow-oriented software models Cover

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

International Journal of Applied Mathematics and Computer Science
Volume 24 (2014): Issue 4 (December 2014)
By: Radosław Klimek  
Open Access
|Dec 2014
DOI: https://doi.org/10.2478/amcs-2014-0069 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 941 - 956
Submitted on: Nov 30, 2013
Published on: Dec 20, 2014
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
formal verification,
deductive reasoning,
temporal logic,
semantic tableaux,
workflow patterns,
logical primitives,
generating logical specifications,
business models,
BPMN
Related subjects:
Mathematics,
Applied mathematics

© 2014 Radosław Klimek, published by University of Zielona Góra
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 24 (2014): Issue 4 (December 2014)