Since the early nineties business processes have been coming more and more into the focus of IS research. As a consequence numerous approaches to process modelling have been developed such as Event-driven Process Chains (EPCs, ARIS House of Business), Semantic Object Model (SOM), Bonapart and INCOME/STAR. Many of these approaches concentrate on the socio-technical dimension of business processe...

Software processes are long-lived entities. Careful design and thorough validation of software process models are necessary to ensure the quality of the process. They do not prevent, however, process models from undergoing change. Change requests may occur in the context of reuse, i.e., statically, in order to support software process model customization. They can also occur dynamically, while ...

A new information system landscape is emerging that will be more model-centered than object-oriented, characterized by many models of low granularity and high abstraction. These models may describe various aspects of a system such as products, structural organization and processes. This latter category may be refined in manufacturing, software and business processes for example. Each of these s...

Maintaining different but consistent views on the same process is often necessary in BPM projects. For example, a business analyst typically works on a business process model at a different level of abstraction than an IT architect. These views evolve independently and synchronizing them is not trivial. In this demonstration, we showcase our Shared Process Model prototype that allows different ...

Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal process equivalences, ranging from bisimulation to trace equivalence, categorised in the linear-time branching-time spectrum. We present a logical ...

This paper will review and critique the recent telecommunications proxy cost models that have been developed for the industry. While these cost models go into great detail on the engineering aspect of the telephone network, they lack a fundamental understanding of economics and finance, i.e. they fail to apply the appropriate, traditional techniques of engineering economics. Some do not use dis...

Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean that this process is good, sound and/or useful. There have been several approaches for software process evaluation including testing, simulation and metrics; the first one requires software process enactment, i.e., an expensive, r...

The prediction of time-changing variances is an important task in the modeling of financial data. Standard econometric models are often limited as they assume rigid functional relationships for the evolution of the variance. Moreover, functional parameters are usually learned by maximum likelihood, which can lead to overfitting. To address these problems we introduce GP-Vol, a novel non-paramet...

The Software Process Measuring Model (SPMM) [14, 15, 16] has been developed at the Faculty of Electrical Engineering in Osijek, Croatia, by the Software Engineering Institute at the University of Osijek, and is based on the CMM (Capability Maturity Model) [3, 13], CMMI (Capability Maturity Model Integration) [2], Bootstrap [1, 2, 4, 10, 12] and SPICE model [3, 7, 8]. It has been developed in co...

In recent years there has been considerable interest in business process redesign. A process model may be redesigned by combining various tasks and services according to best practices so as to satisfy predefined business rules and constraints to achieve a specific purpose. This purpose may be stated in terms of functional goals (such as desired or acceptable process behavior) and non-functiona...