CAJ - Chipcard Controlled Accounting System Jena

In this paper we present the CAJ project of the Friedrich Schiller University Jena (FSU). The project’s aim is the development of an overall accounting system that can be used for the electronic payment of services delivered on any FSU campus. Currently, the focus is on the FSU library system. Component technology is utilized to achieve a flexible, generalized system architecture that provides for future extensions and ease of maintenance

Detecting Semantic Business Process Model Clones

Process modeling with languages like BPMN allows process designers to create the same business process model in various ways. Detecting model clones, i.e., pairs of business process models sharing a certain degree of similarity can be difficult. In this paper, we propose an approach to process model clone detection based upon dominator trees and targeted at detecting semantically though not necessarily syntactically similar process models of business processes

Mining von BPMN-Prozessartefakten auf GitHub

Die Validierung von Programmanalysen und Analysewerkzeugen erfolgt häufig anhand einer Sammlung von Beispielprogrammen. Für eine aussagekräftige Bewertung sollte diese Sammlung repräsentativ sein. Gerade im Bereich der Analysen für domänenspezifische Sprachen wird zu diesem Zweck aber oft nur auf Fallstudien oder gar einzelne künstliche Programmbeispiele zurückgegriffen. In diesem Beitrag zeigen wir für die domänenspezifische Sprache BPMN, wie durch systematisches Mining auf GitHub.com ein Corpus von BPMN-Prozessen für die Validierung von Analysewerkzeugen generiert werden kann

Ein allgemein gültiges Abrechnungssystem für Online- und Offline-Dienste

Aus der Einführung: 'Das in diesem Paper vorzustellende Projekt ist ein Teilprojekt der Sonderfördermaßnahme 9: „Erprobung elektronischer Angebotsformen, Abrechnungsmodelle und Zahlungsverfahren auf einer Testplattform flir GLOBAL INFO“. Hierbei soll das System eVerlage zum kommerziellen Vertrieb von Inhalten (textuell, multimedial) geschaffen werden

Data Dependence Analysis of Assembly Code

Determination of data dependences is a task typically performed with high-leve- l language source code in today's optimizing and parallelizing compilers. Very little work has been done in the field of data dependence analysis on assembly language code, but this area will be of growing importance, e.g. for increasing ILP. A central element of a data dependence analysis in this case is a method for memory reference disambiguation which decides whether two memory operations may/must access the same memory location. In this paper we describe a new approach for determination of data dependences in assembly code. Our method is based on a sophisticated algorithm for symbolic value propagation, and it can derive value-based dependences between memory operations instead of just address-based dependences. We have integrated our method into the SALTO system for assembly language optimization. Experimental results show that our approach greatly improves the accuracy of the dependence analysis in many cases

Producer-Side Platform-Independent Optimizations and Their Effects on Mobile-Code Performance

Abstract — Portable mobile code is often executed by a host virtual machine using just-in-time compilation. In this context, the compilation time in the host virtual machine is critical. This compilation time would be reduced if optimizations can be performed ahead-of-time before distribution of the mobile code. Unfortunately, the portable nature of mobile code limits aheadof-time optimizations to those that are platform-independent. This work examines the effect of platform-independent optimizations on the performance of mobile code applications. All experiments use the SafeTSA Format, a mobile code format that is based on Static Single Assignment Form (SSA Form). The experiments, which are performed on both the PowerPC and IA32 architectures, indicate that the effects of performing classical machine-independent optimizations are—in fact— quite platform-dependent. Nevertheless, the results indicate that an application of such optimizations can be profitable. I

BPMN in the Wild: BPMN on GitHub.com

We present our efforts in creating and analyzing a corpus of BPMN process models by mining software repositories. Systematically searching for BPMN artifacts in 6,163,217 repositories or 10% of all repositories hosted on GitHub.com, at the time of conducting our research, resulted in a diverse corpus of 8,904 BPMN 2.0 process models