| Vol-1612 urn:nbn:de:0074-1612-0 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# CAiSE-Forum 2016
Forum at the 28th International Conference on Advanced Information Systems Engineering (CAiSE)

### Proceedings of the CAiSE'16 Forum, at the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016)

### Ljubljana, Slovenia, June 13-17, 2016.

Edited by

### Sergio España *
Mirjana Ivanović **
Miloš Savić **

* Utrecht University, Department of Information and Computing Sciences, Utrecht, Netherlands
** University of Novi Sad, Faculty of Sciences, Department of Mathematics and Informatics, Novi Sad, Serbia

## Table of Contents

- Preface

### Models, Methods and Techniques in Information Systems Engineering

- Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic 1-8
  Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam
- On Handling Business Process Anomalies through Artifact-based Modeling 9-16
  Luciano Baresi, Giovanni Meroni, Pierluigi Plebani
- Towards a Graphical Language for Process Modelling in Construction 17-24
  Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt
- A Novel Fitness Improvement Method for Mined Business Process Models 25-32
  Yaguang Sun, Bernhard Bauer
- Cognitive Efforts in Using Integrated Models of Business Processes and Rules 33-40
  Wei Wang, Marta Indulska, Shazia Sadiq
- REA Business Management Ontology: Conceptual Modeling of Accounting, Finance and Management Control 41-48
  Walter S.A. Schwaiger
- A Petri Net Specification of the REA Business Ontology 49-56
  Hans Weigand, Paul Johannesson, Birger Andersson
- Social Mining as a Knowledge Management Solution 57-64
  Mathijs Creemers, Mieke Jans

### Architectures, Platforms and Domain-specific Information Systems Engineering

- Model-based Requirements for Integrating Cloud Services 65-72
  Iyad Zikra
- A Social Network-based Framework for Data Services Selection in Modern Web Application Design 73-80
  Devis Bianchini, Valeria De Antonellis, Michele Melchiori
- Automated Sensor Registration, Binding and Sensor Data Provisioning 81-88
  Pascal Hirmer, Matthias Wieland, Uwe Breitenbücher, Bernhard Mitschang
- Modeling Cross-Device Systems with Use Case Diagrams 89-96
  Dennis Wolters, Christian Gerth, Gregor Engels
- Towards Privacy-preserving Attribute Aggregation in Federated eID Systems 97-104
  Walter Priesnitz Filho, Carlos Ribeiro, Thomas Zefferer

### Multi-aspect Information Systems

- A Human-Centred Framework for Supporting Agile Model-Based Testing 105-112
  Maria Spichkova, Anna Zamansky
- Shadow IT: Steroids for Innovation 113-120
  Mario Silic, Dario Silic, Goran Oblakovic
- Consistent Integration of Decision (DMN) and Process (BPMN) Models 121-128
  Laurent Janssens, Ekaterina Bazhenova, Johannes De Smedt, Jan Vanthienen, Marc Denecker
- GEMMS: A Generic and Extensible Metadata Management System for Data Lakes 129-136
  Christoph Quix, Rihan Hai, Ivan Vatov

### Demo Papers

- A Social Information Flow Graph: Design and Prototypical Implementation 137-144
  Thomas Reschenhofer, Patrick Bürgin, Florian Matthes
- TEAL: Transparent Encryption for the Database Abstraction Layer 145-152
  Karl Lorey, Erik Buchmann, Klemens Böhm
- A Facet-based Model Mapping Method for EA Alignment and Evolution 153-160
  Jonathan Pepin, Pascal André, Christian Attiogbé, Erwan Breton
- Person Identification Based on Keystroke Dynamics: Demo and Open Challenge 161-168
  Krisztian Buza

### Experience Reports

- Multidimensional Process Mining: Questions, Requirements, and Limitations 169-176
  Thomas Vogelgesang, Georg Kaes, Stefanie Rinderle-Ma, H.-Jürgen Appelrath
- A Low-resource Aware Framework for ICT Service Development in Rural Africa 177-184
  Anna Bon, Jaap Gordijn, Hans Akkermans
- Characterizing Problem Gamblers in New Zealand: A Novel Expression of Process Cubes 185-192
  Suriadi Suriadi, Teo Susnjak, Agate M. Ponder-Sutton, Paul A. Watters, Christoph Schumacher

Complete proceedings in one ZIP file

2016-06-22: submitted by Miloš Savić, metadata incl. bibliographic data published under Creative Commons CC0
2016-06-23: published on CEUR-WS.org |valid HTML5|