Richard Müller

Learn More
We investigate whether a running implementation of a service conforms to its formal specification in a setting, where only recorded behavior of that implementation is given. Existing conformance checking techniques can be used to measure the degree of conformance of the recorded behavior and its public view but may produce " false negatives " , because a(More)
Process discovery techniques can be used to derive a process model from observed example behavior (i.e., an event log). As the observed behavior is inherently incomplete and models may serve different purposes, four competing quality dimensions—fitness, precision, simplicity, and generalization—have to be balanced to produce a process model of high quality.(More)
We study open systems modeled as Petri nets with an interface for asynchronous communication with other open systems. As a minimal requirement for successful communication, we investigate bounded responsiveness, which guarantees that an open system and its environment always have the possibility to communicate, while the number of pending messages never(More)
We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without affecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known(More)
  • 1