Abstract. This chapter focuses on formally representing life cycle semantics of part-whole relations in conceptual data models by utilizing the temporal modality. We approach this by resorting to the temporal conceptual data modeling language ERV T and extend it with the novel notion of status relations. This enables a precise axiomatization of the constraints for essential parts and wholes compared to mandatory parts and wholes, as well as introduction of temporally suspended partwhole relations. To facilitate usage in the conceptual stage, a set of closed questions and decision diagram are proposed. The long-term objectives are to ascertain which type of shareability and which lifetime aspects are possible for part-whole relations, investigate the formal semantics for sharability, and how to model these kind of differences in conceptual data models. 1

In business process management, the first step toward improvement of processes is As-Is analysis of existing processes before working towards a To-Be situation. Process mining is part of this As-Is analysis and gives insight into various aspects of processes through the mining of events recorded by a system in the form of an event log. This enables discovery of the process as it actually is. Depending on how much detail an event log contains, observations can be made about the process itself, participating resources, the cases in the process and time aspects. This information is used to improve the process. For many businesses, cost reduction is also an important motivator for change. Since most, if not all, sort of change affects processes within a business, cost reduction and process improvement are inseparable from each other. This work addresses the neglected role of cost reduction in process mining. Or, to put it differently, to support management accounting decisions on cost reduction through the use of cost-aware process mining. Taking into account existing cost reduction techniques within management accounting and extending the process mining tool ProM, this work proposes an architecture to support cost-awareness in process mining, and a first implementation of this architecture.

Toward enhancing biological and applied life sciences information systems with granularity C. Maria KeetA Formal Theory of Granularity Toward enhancing biological and applied life sciences information systems with granularityKRDB Research Centre for Knowledge and Data KRDB Dissertation Series DS-2008-01 Per ulteriori informazioni sulle pubblicazioni della LUB-Informatica, si prega di contattare Für weitere Informationen über FUB-Informatik Publikationen, bitte wenden Sie sich an For further information about FUB-CS publications, please contact