Refine
Departments, institutes and facilities
Document Type
- Article (8)
- Conference Object (8)
- Book (monograph, edited volume) (1)
- Doctoral Thesis (1)
- Other (1)
- Preprint (1)
Year of publication
Has Fulltext
- no (20) (remove)
Keywords
- BPMS (1)
- Class inheritance (1)
- Denotational semantics (1)
- Geo-tagging (1)
- Hierarchy inheritance (1)
- Mobile devices (1)
- Modelling (1)
- Multiple inheritance (1)
- Ontology (1)
- Process views (1)
At present, data publication is one of the most dynamic topics in e-Research. While the fundamental problems of electronic text publication have been solved in the past decade, standards for the external and internal organisation of data repositories are advanced in some research disciplines but underdeveloped in others. We discuss the differences between an electronic text publication and a data publication and the challenges that result from these differences for the data publication process. We place the data publication process in the context of the human knowledge spiral and discuss key factors for the successful acquisition of research data from the point of view of a data repository. For the relevant activities of the publication process, we list some of the measures and best practices of successful data repositories.
Comparison of the subject-oriented and the Petri net based approach for business process automation
(2015)
The subject-oriented modelling approach [5] significally differs from the classic Petri net based approach of many business process modeling languages like EPC [9], Business Process Model and Notation (BPMN) [11], and also Yet Another Workflow Language (YAWL) [10]. In this work, we compare the two approaches by modeling a case study called "Procure to Pay"[3], a typical business process where some equipment for a construction site is rented and finally paid. The case study is not only modelled but also automated using the Metasonic Suite for the subject-oriented and YAWL for the Petri net based approach.
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.