In the present context of high competition, theenterprises are investing in the improvement of the efficiencyof their production and management processes. Toaccomplish such tasks, one viable way is to formalize thoseprocesses into business models, so it is possible to evaluateand improve them. As important as the analysis of softwareengineering artifacts prior to building information systems,also is important the analysis of the definitions existing inthe business models, to ensure that they reflect the reality ofthe process and its demands. This paper aims to develop anapproach for the execution of validations of execution rulesincorporated to workflows, using model checking to ensurethe exactitude of the analysis.
展开▼
