With the development of smart devices and mobile communication technologies, e‐
commerce has spread over all aspects of life. Abnormal transaction detection is important in …

Engineering processes for safety-critical systems describe the steps and sequence that
guide engineers from refining user requirements into executable code, as well as producing …

Knowledge-intensive business processes are flexible and data-driven. Therefore, traditional
process modeling languages do not meet their requirements: These languages focus on …

Checking regulatory compliance of business processes prior to deployment is common
practice and numerous approaches have been developed over the last decade. However …

Verification techniques play an essential role in detecting undesirable behaviors in many
applications like spectrum auctions. By verifying an auction design, one can detect the least …

In many settings, verification of process models hinges on data values. A data value is a
value in the domain of a data object, eg, $1000 as the price of a product. Naive exploration …

Abstract Business Process Management (BPM) provides methods and techniques to design,
analyze, and enact business processes. An assumption in BPM has been that data objects …

Business processes are often specified in descriptive or normative models. Both types of
models should adhere to internal and external regulations, such as company guidelines or …

One of the current concerns of managers is to develop the business process maturity and
identify the conditions for improving the pertaining processes. This eventuates in increased …

The revenue gained by spectrum auctions has been an essential source of governmental
income. Even though numerous studies have been conducted in auction literature, many …