
Richard MüllerHumboldt-Universität zu Berlin | HU Berlin · Department of Computer Science
Richard Müller
Ph.D. (Dutch: dr., German: Dr. rer. nat.)
About
13
Publications
14,567
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
100
Citations
Introduction
Publications
Publications (13)
The nature of healthcare processes in a multidisciplinary hospital is inherently complex. In this paper, we identify particular problems of modeling healthcare processes with the de-facto standard process modeling language BPMN. We discuss all possibilities of BPMN adressing these problems. Where plain BPMN fails to produce nice and easily comprehe...
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...
We study open systems modeled as Petri nets with an interface for asynchronous (i.e., buffered) communication with other open systems. As a minimal requirement for successful communication, we investigate responsiveness, which guarantees that an open system and its environment always have the possibility to communicate. We investigate responsivenes...
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...
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 mutually terminate or to communicate, while the nu...
In the context of asynchronously communicating services, responsiveness guarantees that a service and its environment have always the possibility to communicate. The responsiveness preorder describes when one service can be replaced by another such that responsiveness is preserved. We study responsiveness for possibly unbounded services with and wi...
In the context of asynchronously communicating and deadlock free services, the refinement relation of services has been formalized by the accordance preorder. A service Impl accords with a service Spec if every controller of Spec-that is, every environment that can interact with service Spec without deadlocking-is a controller of Impl. The procedur...
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”, becaus...
In the context of service-oriented computing, time has been extensively studied in literature.We present a survey on possible problem statements for timed services, and give an overview of state-of-the-art approaches. Thereby we identify which problems are already thoroughly researched and which problems warrant further research.
Before a system is built in Service Oriented Computing from interacting services, it is modeled and verified with regard to different behavioral correctness criteria, among others, deadlock freedom. For this purpose, open nets as a special class of Petri nets are frequently used. In this paper, we present and compare three formalizations of when tw...