Abstract Information systems have to respond well to the changing business environment.
Thus, they must have architecture which withstands the change. To design such systems …

Formal verification of business process models is of interest to a number of application
areas, including checking for basic process correctness, business compliance, and process …

The correctness of business process models is critical for IT system development. The
properties of business processes need to be analyzed when they are designed. In particular …

Today's business applications and their underlying process models are becoming more and
more complicated, making the implementation of these processes an increasingly …

Business process modeling and implementation of process supporting infrastructures are
two challenging tasks that are not fully aligned. On the one hand, languages such as …

Regulatory compliance of business operations is a critical problem for enterprises. As
enterprises increasingly use business process management systems to automate their …

We define an extensible semantical framework for business process modeling notations.
Since our definition starts from scratch, it helps to faithfully link the understanding of …

Designing business models is a complicated and error prone task. On the one hand,
business models need to be intuitive and easy to understand. On the other hand …

Most scientists working on formal methods are mainly focusing on technical systems such as
circuit design, embedded systems, traffic control, etc. Few are working on the application of …

A business process is a set of steps designed to be executed in a certain order to achieve a
business value. Such processes are often driven by and documented using process models …