Ausgabe 2/2016
Inhalt (15 Artikel)
The evolution of model editors: browser- and cloud-based solutions
- Editorial
Jeff Gray, Bernhard Rumpe
Special section of BPMDS’2013: coping with complexity in business processes
- Guest Editorial
Selmin Nurcan, Rainer Schmidt
A process mining-based analysis of business process work-arounds
- Special Section Paper
Nesi Outmazgin, Pnina Soffer
Understanding Declare models: strategies, pitfalls, empirical results
- Open Access
- Special Section Paper
Cornelia Haisjackl, Irene Barba, Stefan Zugal, Pnina Soffer, Irit Hadar, Manfred Reichert, Jakob Pinggera, Barbara Weber
Effective application of process improvement patterns to business processes
- Open Access
- Special Section Paper
Matthias Lohrmann, Manfred Reichert
ReFlO: an interactive tool for pipe-and-filter domain specification and program generation
- Regular Paper
Rui C. Gonçalves, Don Batory, João L. Sobral
A situational method for semi-automated Enterprise Architecture Documentation
- Regular Paper
Matthias Farwick, Christian M. Schweda, Ruth Breu, Inge Hanschke
Component-based verification using incremental design and invariants
- Regular Paper
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
Formalizing and verifying stochastic system architectures using Monterey Phoenix
- Regular Paper
Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
View-based model-driven software development with ModelJoin
- Regular Paper
Erik Burger, Jörg Henss, Martin Küster, Steffen Kruse, Lucia Happe
Heuristic search for equivalence checking
- Regular Paper
Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
A framework for the operationalization of monitoring in business intelligence requirements engineering
- Regular Paper
Corentin Burnay, Ivan J. Jureta, Isabelle Linden, Stéphane Faulkner
Service feature modeling: modeling and participatory ranking of service design alternatives
- Regular Paper
Erik Wittern, Christian Zirpins
Identifying duplicate functionality in textual use cases by aligning semantic actions
- Regular Paper
Alejandro Rago, Claudia Marcos, J. Andres Diaz-Pace
