The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
VERBUS: A Formal Model fo Business Process Verification
|
|
Author(s): Jesus Arias Fisteus (Carlos III University of Madrid, Spain), Andres Marin Lopez (Carlos III University of Madrid, Spain)and Carlos Delgado Kloos (Carlos III University of Madrid, Spain)
Copyright: 2004
Pages: 4
Source title:
Innovations Through Information Technology
Source Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-59140-261-9.ch061
ISBN13: 9781616921255
EISBN13: 9781466665347
|
Abstract
Business process management is a key issue in B2B. Different process modelling languages and workflow management tools and frameworks have appeared to aid the development, deployment and management of e-commerce solutions. Nevertheless, there is not yet a framework to compel with tasks such as guaranteeing: safety outcomes of the run of a composition of processes, the eventual execution of processes under some condition, or the soundness of a design with respect to the specification. This is the mission of formal methods, and they have been successfully applied in the fields of real-time software, hardware verification, and a growing list of application areas as the computation costs decrease. In this article we present VERBUS, a formal system for the modelling and verification of business processes. VERBUS allows a designer to specify properties for verification. The Finite State Machine theory is under the hood of VERBUS, providing the designer with a well-known and understandable approach, which offers a set of existing tools for verification or for compiling to other formats for the application of model–checkers.
|
|