Models of commercial systems reflect either the statical structure or the dynamic behavior of a system. The dynamic aspects are the business processes and their models. Whereas the static relations in a system may be expressed by Boolean logic, the dynamic activities and their temporal sequences ask for a better formalism, e.g. temporal logic. Temporal logic is based on Boolean logic extended b...

Business Process Management Systems (BPMSs) are software platforms that support the definition, execution, and tracking of business processes. They are often used to support administrative and production processes as well as to implement complex web services, delivered by composing existing ones according to some process logic. BPMSs have the ability of logging information about the business pr...

Research on quality issues of business process models has recently begun to explore the process of creating process models. With growing complexity, the creation of business process models requires the presence of several, potentially spatially distributed, stakeholders. As a consequence, the question arises how this affects the process of process modeling. In this paper, we present an extensio...

Web services and BPM have become a combination research aiming at enterprize computing providing a more intelligent and interactive services as processaware systems. In particular, with the emergence of BPEL4WS as a de-facto industrial standard for process grounding technology, Web services become the building blocks for the final process execution. However, really combining those two topics is...

This article concerns with the accessibility of Business process modelling tools (BPMo tools) and business process modelling languages (BPMo languages). Therefore the reader will be introduced to business process management and the authors' motivation behind this inquiry. Afterwards, the paper will reflect problems when applying inaccessible BPMo tools. To illustrate these problems the authors ...

mit der aktuellen Ausgabe des EMISA Forums erhalten Sie Folge 4 unserer EMISA-Kolumne zum Thema Business Process Management (BPM). Themen zur Modellierung und zum Management von Prozessen nehmen bei Veranstaltungen mit EMISA-Beteiligung traditionell eine wichtige Rolle ein. Mit der BPM-Kolumne tragen wir diesem Umstand Rechnung und berichten über aktuelle Themen, Projekte und Veranstaltungen au...

Most approaches to business process compliance are restricted to the analysis of the structure of processes. It has been argued that full regulatory compliance requires information on not only the structure of processes but also on what the tasks in a process do. To this end Governatori and Saqid [2007] proposed to extend business processes with semantic annotations. We propose a methodology to...

Business Process Management Systems (BPMSs) are software platforms that support the definition, execution, and tracking of business processes. BPMSs have the ability of logging information about the business processes they support. Proper analysis of BPMS execution logs can yield important knowledge and help organizations improve the quality of their business processes and services to their bus...

Purpose – The purpose of this paper is to deliver an insight into the interaction effects of process-oriented management and business intelligence (BI). Design/methodology/approach – The paper takes up publications from the fields of BI and business process management and analyzes the state-of-the-art of process-centric business intelligence (PCBI). To highlight the potentials and limitations o...