Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today we are able to verify the entire reference model of SAP without any problems. Moreover, more and more processes leave their “trail” in the form of event logs. This makes it interesting to apply process mining to these ...

Process programming represents the application of the software engineering idiom and technology to the development of superior software processes There is a sub stantial and growing body of research into software process technology in general and process programming approaches in particular Much of this research concerns process languages We are now in a position to draw some conclusions about ...

Business Process Analysis (BPA) aims to verify, validate, and identify potential improvements for business processes. Despite the wide range of technologies developed so far, the large amount of information that needs to be integrated and processed, as well as the quantity of data that has to be produced and presented still poses important challenges both from a processing and presentation pers...

Extant process modeling techniques address different aspects of processes, such as activity sequencing, resource allocation, and organizational responsibilities. These techniques are usually based on graphic notation and are driven by practice rather than by theoretical foundations. The lack of theoretical principles hinders the ability to ascertain the “correctness” of a process model. A few t...

Process deviation analysis is becoming increasingly important for companies. This paper presents a framework which structures the field of process deviation analysis and identifies new research opportunities. Application of the framework starts from managerial questions which relate to specific deviation categories and methodological steps. Finally a general outline to detect high-level process...

The Advanced Research and Development Activity initiated the Novel Intelligence from Massive Data (NIMD) program to develop advanced analytic technologies and methodologies. In order to support this objective, researchers and developers need to understand what analysts do and how they do it. In the past, this knowledge generally was acquired through subjective feedback from analysts. NIMD estab...

Business process management (BPM) becomes continuously challenging through a steadily increasing number and even more complex processes. For enabling an effective and efficient control of business processes, (semi-)automatic approaches are necessary as a supporting means. However, these approaches are often hardly applicable in practice since they lack a broad applicability or an acceptable eas...

We present a modification (and partly a generalization) of STOPBREAK process, which is the stochastic model of time series with permanent, emphatic fluctuations. The threshold regime of the process is obtained by using, so called, noise indicator. Now, the model, named the General SplitBREAK (GSB) process, is investigated in terms of its basic stochastic properties. We analyze some necessary an...

We formulate a method to compute global invariants of dynamic process networks. In these networks, inter-process connectivity may be altered by an adversary at any point in time. Dynamic networks serve as models for ad-hoc and sensor-network protocols. The analysis combines elements of compositional reasoning, symmetry reduction, and abstraction. Together, they allow a small “cutoff” network to...

This paper presents an optimized supply chain for ‘knowledge products’. Based on the traditional logistics model for academic knowledge, knowledge creation and delivery are discussed. A new framework of an optimized supply chain for ‘knowledge products’ is developed. A semi-structured interview was undertaken to capture and analyze the knowledge logistics in a traditional publishing setup. Find...