Amanote Research
Register
Sign In
Verification of Invariant Properties of Business Process Based on Formal Approach
doi 10.1109/wicom.2007.1482
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2007
Authors
Shimpei Sasaki
Junichi Iijima
Publisher
IEEE
Related search
Formal Verification of System-Level Safety Properties on Railway Software
The MODUS Approach to Formal Verification
Business Systems Research
Information Systems
Finance
Economics
Management Information Systems
Innovation
Management of Technology
Econometrics
Overview of Verification Tools for Business Process Models
Ontology-Based Approach to Reuse of Business Process Knowledge
Informacijos Mokslai
Media Technology
Sociology
International Relations
Communication
Political Science
Innovation
Management of Technology
Formal Analysis and Verification of Airborne Software Based on DO-333
Electronics (Switzerland)
Control
Electronic Engineering
Signal Processing
Computer Networks
Systems Engineering
Hardware
Communications
Electrical
Architecture
A Formal Approach for the Inclusion of Key Performance Indicators in a Business Process Modeling
International Journal of Computer Applications
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Comparative Assessment of Collaborative Business Process Verification Approaches
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
BProVe: Tool Support for Business Process Verification
