From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

Download Now
Provided by: IBM
Topic: Big Data
Format: PDF
Today's business applications and their underlying process models are becoming more and more complicated, making the implementation of these processes an increasingly challenging task. On the one hand, tools and methods exist to describe the business processes. On the other hand, different tools and method exist to describe the IT artifacts implementing them. But a significant gap exists between the two. To overcome this gap, new methodologies are sought. In this paper, the authors discuss a pattern-based modeling and mapping process.
Download Now

Find By Topic