BPM
2015
Springer
8 years 9 months ago
2015
Springer
Today’s enterprises demand a high degree of compliance in their business processes to meet diverse regulations and legislations. Several industrial studies have shown that compl...
BPM
2015
Springer
8 years 9 months ago
2015
Springer
This demonstration presents an interface for the seamless integration of business processes and production processes. Specifically, the interface defines the data to be exchanged b...
BPM
2015
Springer
8 years 9 months ago
2015
Springer
Abstract. Within process mining the main goal is to support the analysis, improvement and apprehension of business processes. Numerous process mining techniques have been developed...
BPM
2015
Springer
8 years 9 months ago
2015
Springer
Abstract. As a provider of Electronic Case Management solutions to knowledgeintensive businesses and organizations, the Danish company Exformatics has in recent years identified a...
BPM
2015
Springer
8 years 9 months ago
2015
Springer
Demo Abstract. Nowadays, the automation of business processes not only spans classical business domains (e.g., banks and governmental agencies), but also new settings such as healt...
BPM
2015
Springer
8 years 9 months ago
2015
Springer
The aim of process discovery is to discover a process model based on business process execution data, recorded in an event log. One of several existing process discovery techniques...
BPM
2015
Springer
8 years 9 months ago
2015
Springer
Organizations use process mining techniques to analyze event data recorded by their information systems. Multi-perspective process mining techniques make use of data attributes att...
BMEI
2015
IEEE
8 years 9 months ago
2015
IEEE
RELMICS
2015
Springer
8 years 9 months ago
2015
Springer
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphor...
RELMICS
2015
Springer
8 years 9 months ago
2015
Springer
We prove strong completeness of a range of substructural logics with respect to their relational semantics by completeness-viacanonicity. Specifically, we use the topological theo...