An User-Friendly Approach to Business Process Formal Verification

Provided by: University of Cambridge
Topic: Big Data
Format: PDF
Formal methods can bring many advantages to software practitioners and their adoption has been often advocated. In recent years, usage of formal techniques certainly increased, nevertheless there is still ample room for further adoption and a wide gap exists between formal methods experts, with knowledge on formal tools, and domain experts, which possess the knowledge on the problems to solve and on user's requirements. In this paper, the authors introduce a user-friendly approach for Business Process assessment based on formal verification techniques.

Find By Topic