Refine
Departments, institutes and facilities
Document Type
- Article (10)
- Conference Object (8)
- Book (monograph, edited volume) (1)
- Doctoral Thesis (1)
- Other (1)
- Preprint (1)
Year of publication
Keywords
- BPMS (2)
- YAWL (2)
- Class inheritance (1)
- DOI (1)
- Data Publication (1)
- DataCite (1)
- Denotational semantics (1)
- Digital Object Identifier (1)
- Environmental Data (1)
- Geo-tagging (1)
In den letzten Jahren haben sich elektronische Zahlungssysteme als populäre Alternative zur klassischen Bargeldzahlung etabliert. Diese Zahlungssysteme bestehen in der Regel aus zwei elementaren Komponenten: einem Terminal und einer Kasse. Damit ist der Käufer eines Produktes in der Lage, seine Schuld gegenüber dem Verkäufer bargeldlos und elektronisch zu begleichen. Die dabei am Häufigsten anfallenden Geschäftsprozesse, das Buchen und das Stornieren von Zahlungsbelegen, werden hierbei als Transaktionen bezeichnet, da diese entweder vollständig gelingen oder im Fehlerfall ohne Auswirkungen bleiben müssen. In diesem Buch wird daher die Implementierung eines zuverlässigen Zahlungssystems mit einem TeleCash-Terminal dargestellt. Dabei werden in den geforderten Geschäftsprozessen die wichtigen Transaktionseigenschaften sichergestellt. Es werden dazu zunächst die Grundlagen von Transaktionen erarbeitet und ein geeignetes Transaktionskonzept entwickelt. Anschließend wird die konkrete Realisierung des Systems mit Hilfe der Java Transaction Services durchgeführt. Abschließend wird das entstandene System hinsichtlich seiner Transaktionseigenschaften untersucht.
The prototype of a workflow system for the submission of content to a digital object repository is here presented. It is based entirely on open-source standard components and features a service-oriented architecture. The front-end consists of Java Business Process Management (jBPM), Java Server Faces (JSF), and Java Server Pages (JSP). A Fedora Repository and a mySQL data base management system serve as a back-end. The communication between front-end and back-end uses a SOAP minimal binding stub. We describe the design principles and the construction of the prototype and discuss the possibilities and limitations of work ow creation by administrators. The code of the prototype is open-source and can be retrieved in the project escipub at http://sourceforge.net/ .
Zu den wichtigen und notwendigen Aufgaben von Personalabteilungen gehört die Darstellung der Organisationsstrukturen eines Unternehmes. Das im Folgenden beschriebene Verfahren basiert auf der Softwarelösung "Ingentis-OrgManager", die eine Darstellung der Organisationsstruktur in Form von Organigrammen auf der Basis von Daten ermöglicht, die zumeist ohnehin im Personalwirtschaftssystem enthalten sind. Der Autor beschreibt das Verfahren, die Voraussetzungen für den Einsatz der Software und bisherigen Erfahrungen.
We present a type inference algoritm and its verification for an object-oriented programming language called O'SMALL. O'SMALL is a class-based language with imperative features. Classes are not first-class citizens. No type declarations are required. Type inference operates on an extended lambda-calculus into which O'SMALL is translated. The system features extensible record types, mu-types, and imperative types. This work belongs to both theoretical and practical computer science. In the theoretical part, the type inference algoritm for our lambda-calculus with records is formalized in order-sorted logic. In the practical part, the algoritm for let-polymorphism and imperative features is based on well-known approaches. These approaches are presented in a new fashion but they are not proven correct.