Abstract is missing.
- Plausibility Checking of Formal Business Process Specifications in Linear Temporal LogicChristoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam. 1-8 [doi]
- On Handling Business Process Anomalies through Artifact-based ModelingLuciano Baresi, Giovanni Meroni, Pierluigi Plebani. 9-16 [doi]
- Towards a Graphical Language for Process Modelling in ConstructionElisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt. 17-24 [doi]
- A Novel Fitness Improvement Method for Mined Business Process ModelsYaguang Sun, Bernhard Bauer. 25-32 [doi]
- Cognitive Efforts in Using Integrated Models of Business Processes and RulesWei Wang, Marta Indulska, Shazia W. Sadiq. 33-40 [doi]
- REA Business Management Ontology: Conceptual Modeling of Accounting, Finance and Management ControlWalter S. A. Schwaiger. 41-48 [doi]
- A Petri Net Specification of the REA Business OntologyHans Weigand, Paul Johannesson, Birger Andersson. 49-56 [doi]
- Social Mining as a Knowledge Management SolutionMathijs Creemers, Mieke Jans. 57-64 [doi]
- Model-based Requirements for Integrating Cloud ServicesIyad Zikra. 65-72 [doi]
- A Social Network-based Framework for Data Services Selection in Modern Web Application DesignDevis Bianchini, Valeria De Antonellis, Michele Melchiori. 73-80 [doi]
- Automated Sensor Registration, Binding and Sensor Data ProvisioningPascal Hirmer, Matthias Wieland, Uwe Breitenbücher, Bernhard Mitschang. 81-88 [doi]
- Modeling Cross-Device Systems with Use Case DiagramsDennis Wolters, Christian Gerth, Gregor Engels. 89-96 [doi]
- Towards Privacy-preserving Attribute Aggregation in Federated eID SystemsWalter Priesnitz Filho, Carlos Ribeiro, Thomas Zefferer. 97-104 [doi]
- A Human-Centred Framework for Supporting Agile Model-Based TestingMaria Spichkova, Anna Zamansky. 105-112 [doi]
- Shadow IT: Steroids for InnovationMario Silic, Dario Silic, Goran Oblakovic. 113-120 [doi]
- Consistent Integration of Decision (DMN) and Process (BPMN) ModelsLaurent Janssens, Ekaterina Bazhenova, Johannes De Smedt, Jan Vanthienen, Marc Denecker. 121-128 [doi]
- GEMMS: A Generic and Extensible Metadata Management System for Data LakesChristoph Quix, Rihan Hai, Ivan Vatov. 129-136 [doi]
- A Social Information Flow Graph: Design and Prototypical ImplementationThomas Reschenhofer, Patrick Bürgin, Florian Matthes. 137-144 [doi]
- TEAL: Transparent Encryption for the Database Abstraction LayerKarl Lorey, Erik Buchmann, Klemens Böhm. 145-152 [doi]
- A Facet-based Model Mapping Method for EA Alignment and EvolutionJonathan Pepin, Pascal André, Christian Attiogbé, Erwan Breton. 153-160 [doi]
- Person Identification Based on Keystroke Dynamics: Demo and Open ChallengeKrisztian Buza. 161-168 [doi]
- Multidimensional Process Mining: Questions, Requirements, and LimitationsThomas Vogelgesang, Georg Kaes, Stefanie Rinderle-Ma, Hans-Jürgen Appelrath. 169-176 [doi]
- A Low-resource Aware Framework for ICT Service Development in Rural AfricaAnna Bon, Jaap Gordijn, Hans Akkermans. 177-184 [doi]
- Characterizing Problem Gamblers in New Zealand: A Novel Expression of Process CubesSuriadi Suriadi, Teo Susnjak, Agate M. Ponder-Sutton, Paul A. Watters, Christoph Schumacher. 185-192 [doi]