@inproceedings{5750,
  author       = {{Yigitbas, Enes and Fischer, Holger Gerhard and Kern, Thomas and Paelke, Volker}},
  booktitle    = {{Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014. Proceedings}},
  pages        = {{267--274}},
  title        = {{{Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems}}},
  doi          = {{10.1007/978-3-662-44811-3\_18}},
  year         = {{2014}},
}

@inproceedings{5751,
  author       = {{Yigitbas, Enes and Sauer, Stefan}},
  booktitle    = {{Mensch & Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz für Interaktive und Kooperative Medien - Interaktiv unterwegs - Freiräume gestalten, 31. August - 3. September 2014, München, Germany}},
  pages        = {{167--175}},
  title        = {{{Flexible & Adaptive UIs for Self-Service Systems}}},
  year         = {{2014}},
}

@inproceedings{6273,
  author       = {{Fischer, Holger Gerhard and Riedemann, Catharina and Daske, Lisa and Geis, Thomas and Kluge, Oliver and Molich, Rolf and Polkehn, Knut}},
  booktitle    = {{Jahresband Usability Professionals}},
  publisher    = {{German UPA}},
  title        = {{{Qualität im Usability Engineering - Stand der Arbeiten am Qualitätsstandard Usability Engineering der German UPA}}},
  year         = {{2014}},
}

@inproceedings{6303,
  author       = {{Senft, Björn and Fischer, Holger Gerhard and Sudbrock, Christian}},
  booktitle    = {{Mensch & Computer 2014 - Workshopband}},
  pages        = {{111--116}},
  publisher    = {{De Gruyter Oldenbourg}},
  title        = {{{IT-Unterstützung im praktischen Ausbildungsbetrieb der Feuerwehr}}},
  year         = {{2014}},
}

@article{7268,
  author       = {{Klenke, Markus and Grieger, Marvin}},
  journal      = {{DOAG News}},
  number       = {{3}},
  pages        = {{38--42}},
  title        = {{{Forms2ADF mal anders: Wie aus einer Oracle-Vision Praxis wird}}},
  year         = {{2014}},
}

@article{7269,
  author       = {{Grieger, Marvin and Fazal-Baqaie, Masud and Sauer, Stefan and Klenke, Markus}},
  journal      = {{Softwaretechnik-Trends, Proceedings of the 16th Workshop Software-Reengineering (WSRE)}},
  number       = {{2}},
  pages        = {{77--78}},
  title        = {{{A Method to Systematically Improve the Effectiveness and Efficiency of the Semi-Automatic Migration of Legacy Systems}}},
  volume       = {{34}},
  year         = {{2014}},
}

@article{7270,
  author       = {{Grieger, Marvin and Sauer, Stefan and Klenke, Markus}},
  journal      = {{Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM)}},
  number       = {{2}},
  pages        = {{44--45}},
  title        = {{{Architectural Restructuring by Semi-Automatic Clustering to Facilitate Migration towards a Service-oriented Architecture}}},
  volume       = {{34}},
  year         = {{2014}},
}

@misc{8842,
  author       = {{Jovanovikj, Ivan}},
  title        = {{{Detection and Resolution of Data-Flow Differences in Business Process Models}}},
  year         = {{2014}},
}

@inproceedings{394,
  abstract     = {{Service Oriented Architectures (SOAs) enable the reuse and substitution of software services to develop highly flexible software systems. To benefit from the growing plethora of available services, sophisticated service discovery approaches are needed that bring service requests and offers together. Such approaches rely on rich service descriptions, which specify also the behavior of provided/requested services, e.g., by pre- and postconditions of operations. As a base for the specification a data schema is used, which specifies the used data types and their relations. However, data schemas are typically heterogeneous wrt. their structure and terminology, since they are created individually in their diverse application contexts. As a consequence the behavioral models that are typed over the heterogeneous data schemas, cannot be compared directly. In this paper, we present an holistic approach to normalize rich service description models to enable behavior-aware service discovery. The approach consists of a matching algorithm that helps to resolve structural and terminological heterogeneity in data schemas by exploiting domain-specific background ontologies. The resulting data schema mappings are represented in terms of Query View Transformation (QVT) relations that even reflect complex n:m correspondences. By executing the transformation, behavioral models are automatically normalized, which is a prerequisite for a behavior-aware operation matching.}},
  author       = {{Schwichtenberg, Simon and Gerth, Christian and Huma, Zille and Engels, Gregor}},
  booktitle    = {{Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA)}},
  pages        = {{180--195}},
  title        = {{{Normalizing Heterogeneous Service Description Models with Generated QVT Transformations}}},
  doi          = {{10.1007/978-3-319-09195-2_12}},
  year         = {{2014}},
}

@inproceedings{401,
  abstract     = {{Service matching approaches determine to what extent a provided service matches a requester's requirements. This process is based on service specifications describing functional (e.g., signatures) as well as non-functional properties (e.g., privacy policies). However, we cannot expect service specifications to be complete as providers do not want to share all details of their services' implementation. Moreover, creating complete specifications requires much effort. In this paper, we propose a novel service matching approach taking into account a service's signatures and privacy policies. In particular, our approach applies fuzzy matching techniques that are able to deal with incomplete service specifications. As a benefit, decision-making based on matching results is improved and service matching becomes better applicable in practice.}},
  author       = {{Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm}},
  booktitle    = {{Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet}},
  pages        = {{6--17}},
  title        = {{{Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching}}},
  doi          = {{10.1007/978-3-319-14886-1_2}},
  year         = {{2014}},
}

@inproceedings{402,
  abstract     = {{Various approaches in service engineering are based on servicemarkets where brokers use service matching in order to performservice discovery. For matching, a broker translates the specifications ofproviders' services and requesters' requirements into her own specificationlanguage, in order to check their compliance using a matcher. Thebroker's success depends on the configuration of her language and itsmatcher because they in uence important properties like the effort forproviders and requesters to create suitable specifications as well as accuracyand runtime of matching. However, neither existing service specification languages, nor existing matching approaches are optimized insuch way. Our approach automatically provides brokers with an optimalconfiguration of a language and its matcher to improve her success ina given market with respect to her strategy. The approach is based onformalized configuration properties and a predefined set of configurationrules.}},
  author       = {{Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm}},
  booktitle    = {{Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)}},
  editor       = {{Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, Sami}},
  pages        = {{543--550}},
  title        = {{{Market-optimized Service Specification and Matching}}},
  doi          = {{10.1007/978-3-662-45391-9_47}},
  year         = {{2014}},
}

@phdthesis{6727,
  author       = {{van Rooijen, Lorijn}},
  publisher    = {{University of Bordeaux, France}},
  title        = {{{A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)}}},
  year         = {{2014}},
}

@article{6728,
  author       = {{Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}},
  issn         = {{1860-5974}},
  journal      = {{Logical Methods in Computer Science}},
  number       = {{3}},
  publisher    = {{Logical Methods in Computer Science e.V.}},
  title        = {{{On Separation by Locally Testable and Locally Threshold Testable Languages}}},
  doi          = {{10.2168/lmcs-10(3:24)2014}},
  volume       = {{10}},
  year         = {{2014}},
}

@inproceedings{6741,
  author       = {{Bokermann, Dennis and Gerth, Christian and Engels, Gregor}},
  booktitle    = {{12th International Conference on Business Process Management (BPM 2014)}},
  isbn         = {{9783319101712}},
  issn         = {{0302-9743}},
  pages        = {{357--365}},
  publisher    = {{Springer International Publishing}},
  title        = {{{Use Your Best Device! Enabling Device Changes at Runtime}}},
  doi          = {{10.1007/978-3-319-10172-9_23}},
  volume       = {{8659}},
  year         = {{2014}},
}

@proceedings{7762,
  editor       = {{Fazal-Baqaie, Masud}},
  publisher    = {{GI, Köllen Druck+Verlag GmbH, Bonn}},
  title        = {{{Vorgehensmodelle 2013: Vorgehensmodelle - Anspruch und Wirklichkeit - Proceedings der 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik (WI-VM) der Gesellschaft für Informatik e.V., Lörrach (Germany)}}},
  volume       = {{P-224}},
  year         = {{2013}},
}

@inproceedings{8057,
  abstract     = {{The paradigm of service-oriented architectures has emerged as an architectural style for designing enterprise applications. Requirements engineering for such applications comprises the specification of business goal models representing stakeholder objectives and the operationalization to business process models that specify the required composition of services. Inconsistencies between business goals and derived business processes can lead to service compositions that are not in line with the actual stakeholder objectives. For preserving consistency it is required to consider logical and temporal dependencies among goals (e.g. the order in which they need to be achieved) in the derivation of business processes. In previous work, we provided a technique for the elicitation and specification of dependencies between business goals. Extending this approach, we aim at validating the consistency between business goal models and business process models regarding these dependencies. In this paper, we present a pattern-based approach for the automated generation of verifiable business process quality constraints from business goal models. We describe how these constraints can be used to check the consistency between business goals and business processes and demonstrate the applicability of our approach in a case study by using the implemented tool support.}},
  author       = {{Nagel, Benjamin and Gerth, Christian and Post, Jennifer and Engels, Gregor}},
  booktitle    = {{Proceedings of the 17th IEEE International EDOC Conference (EDOC'13)}},
  pages        = {{17--26}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Ensuring Consistency Among Business Goals and Business Process Models}}},
  year         = {{2013}},
}

@inproceedings{8058,
  author       = {{Schumacher, Claudia and Engels, Gregor and Güldali, Baris and Niehammer, Markus and Hamburg, Matthias}},
  booktitle    = {{Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany)}},
  editor       = {{Kowalewski, Stefan and Rumpe, Bernhard}},
  pages        = {{331--344}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern}}},
  volume       = {{P-213}},
  year         = {{2013}},
}

@inproceedings{8059,
  author       = {{Engels, Gregor}},
  booktitle    = {{Software Engineering 2013}},
  pages        = {{17--18}},
  title        = {{{On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft}}},
  volume       = {{P-213}},
  year         = {{2013}},
}

@inproceedings{8060,
  author       = {{Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}},
  booktitle    = {{Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC'13)}},
  pages        = {{524--532}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Automated Service Composition for On-the-Fly SOAs}}},
  volume       = {{8274}},
  year         = {{2013}},
}

@inproceedings{8061,
  author       = {{Luckey, Markus and Engels, Gregor}},
  booktitle    = {{Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems}},
  pages        = {{143--152}},
  publisher    = {{ACM}},
  title        = {{{High-­Quality Specification of Self-­Adaptive Software Systems}}},
  year         = {{2013}},
}