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 a research project funded by the German Research Foundation, meteorologists, data publication experts, and computer scientists optimised the publication process of meteorological data and developed software that supports metadata review. The project group placed particular emphasis on scientific and technical quality assurance of primary data and metadata. At the end, the software automatically registers a Digital Object Identifier at DataCite. The software has been successfully integrated into the infrastructure of the World Data Center for Climate, but a key was to make the results applicable to data publication processes in other sciences as well.
Communicating Sequential Processes (CSP) [7] is a calculus for concurrent systems that has been the basis of subject-oriented business process management (S-BPM) [4]. We use CSPm -- a machine readable dialect of CSP -- to create a sequence of models for a case study on an "Automated Teller Machine" [1]. We use the refinement checker FDR2 to prove that certain models are correct implementations of specifications.
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.
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.