Robert Heinrich – författare

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering.

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering.

Business processes and information systems mutually affect each other in non-trivial ways. Frequently, processes are designed without taking the systems’ impact into account, and vice versa. Missing alignment at design-time results in quality problems at run-time. Robert Heinrich gives examples from research and practice for an integrated design of process and system quality. A quality reference-model characterizes process quality and a process notation is extended to operationalize the model. Simulation is a powerful means to predict the mutual quality impact, to compare design alternatives, and to verify them against requirements. The author describes two simulation approaches and discusses interesting insights on their application in practice.