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

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