Refine
Document Type
- Article (9)
- Conference Object (8)
- Book (1)
- Doctoral Thesis (1)
- Other (1)
- Preprint (1)
Year of publication
Keywords
- BPMS (1)
- Class inheritance (1)
- DOI (1)
- Data Publication (1)
- DataCite (1)
- Denotational semantics (1)
- Digital Object Identifier (1)
- Environmental Data (1)
- Geo-tagging (1)
- Hierarchy inheritance (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.
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.
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.
YAWL User Group
(2012)
