@inproceedings{5748,
  author       = {{Yigitbas, Enes and Sauer, Stefan and Engels, Gregor}},
  booktitle    = {{Human-Computer Interaction: Interaction Technologies - 17th International Conference, {HCI} International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part {II}}},
  pages        = {{563--572}},
  title        = {{{A Model-Based Framework for Multi-Adaptive Migratory User Interfaces}}},
  doi          = {{10.1007/978-3-319-20916-6\_52}},
  year         = {{2015}},
}

@article{7257,
  author       = {{Huma, Zille and Gerth, Christian and Engels, Gregor}},
  journal      = {{Computer Science - Research and Development}},
  number       = {{3-4}},
  pages        = {{333--361}},
  title        = {{{On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains}}},
  volume       = {{30}},
  year         = {{2015}},
}

@inproceedings{6719,
  author       = {{Heindorf, Stefan and Potthast, Martin and Stein, Benno and Engels, Gregor}},
  booktitle    = {{SIGIR}},
  isbn         = {{9781450336215}},
  pages        = {{831--834}},
  publisher    = {{ACM}},
  title        = {{{Towards Vandalism Detection in Knowledge Bases}}},
  doi          = {{10.1145/2766462.2767804}},
  year         = {{2015}},
}

@inproceedings{20142,
  author       = {{Wachsmuth, Henning and Trenkmann, Martin and Stein, Benno and Engels, Gregor and Palakarska, Tsvetomira}},
  booktitle    = {{Proceedings of the 15th International Conference on Intelligent Text Processing and Computational Linguistics}},
  pages        = {{115–127}},
  title        = {{{A Review Corpus for Argumentation Analysis}}},
  year         = {{2014}},
}

@article{390,
  abstract     = {{In software markets of the future, customer-specific software will be developed on demand based on distributed software and hardware services. Based on a customer-specific request, available service offers have to be discovered and composed into sophisticated IT services that fulfill the customer's request.A prerequisite of this vision are rich service descriptions, which comprise structural as well as behavioral aspects of the services, otherwise an accurate service discovery and composition is not possible. However, automatic matching of service requests and offers specified in rich service descriptions for the purpose of service discovery is a complex task, due to the multifaceted heterogeneity of the service partners. This heterogeneity includes the use of different specification languages, different underlying ontologies, or different levels of granularity in the specification itself.In this article, we present a comprehensive approach for service discovery and composition, which overcomes the underlying heterogeneity of the service partners. Based on a realistic case study of our industrial partner from the e-tourism domain, we first introduce an automatic matching mechanism for service requests and offers specified in a rich service description language. In addition, we propose an automatic service composition approach, which determines possible service compositions by composing the service protocols through a composition strategy based on labeled transition systems. }},
  author       = {{Huma, Zille and Gerth, Christian and Engels, Gregor}},
  journal      = {{Computer Science - Research and Development}},
  number       = {{3-4}},
  pages        = {{333--361}},
  publisher    = {{Springer}},
  title        = {{{On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains}}},
  doi          = {{10.1007/s00450-014-0254-z}},
  year         = {{2014}},
}

@inproceedings{8064,
  author       = {{Pittke, Fabian and Nagel, Benjamin and Engels, Gregor and Mendling, Jan}},
  booktitle    = {{Proceedings of the 19th International EMMSAD Conference}},
  publisher    = {{Springer}},
  title        = {{{Linguistic Consistency of Goal Models}}},
  year         = {{2014}},
}

@inproceedings{8065,
  abstract     = {{Software engineering methods are used to prescribe and coordinate the tasks necessary to plan, build, deliver, and maintain software. There is a broad consensus that there is no one-size-fits-all method and that, e.g., agile and plan-driven approaches have to be mixed sometimes, based on the context of a project. Creating these so-called situational methods and assuring that they cover all necessary details consistently is a challenge. There is also the challenge for the project teams to follow methods as prescribed by the method engineer. Our approach supports the creation of consistent situational methods from a repository of pre-existing building blocks. Moreover, we present means to enact these methods with standard BPEL/BPEL4People workflow engines, automating the coordination of tasks and providing guidance for them.}},
  author       = {{Fazal-Baqaie, Masud and Gerth, Christian and Engels, Gregor}},
  booktitle    = {{In Proceedings of the 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014)}},
  pages        = {{281--284}},
  publisher    = {{Springer}},
  title        = {{{Breathing Life into Situational Software Engineering Methods}}},
  volume       = {{8892}},
  year         = {{2014}},
}

@techreport{8224,
  author       = {{Arifulina, Svetlana and Christin Platenius, Marie and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm}},
  publisher    = {{Heinz Nixdorf Institute, University of Paderborn}},
  title        = {{{Configuration of Specification Language and Matching for Services in On-The-Fly Computing}}},
  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{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}},
}

@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}},
}

@misc{25615,
  author       = {{Engels, Gregor and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller, Wolfgang}},
  booktitle    = {{ForschungsForum Paderborn }},
  title        = {{{ Informationstechnik spart Ressourcen}}},
  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}},
}

@inproceedings{8062,
  author       = {{Brüseke, Frank and Becker, Steffen and Engels, Gregor}},
  booktitle    = {{Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic)}},
  pages        = {{77--88}},
  publisher    = {{ACM New York, NY, USA}},
  title        = {{{Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis}}},
  year         = {{2013}},
}

@techreport{8223,
  author       = {{Huma, Zille and Gerth, Christian and Engels, Gregor}},
  publisher    = {{University of Paderborn, Germany}},
  title        = {{{Automated Service Discovery and Composition for On-the-Fly SOAs}}},
  year         = {{2013}},
}

@inproceedings{484,
  abstract     = {{One of the main ideas of Service-Oriented Computing (SOC) is the delivery of flexibly composable services provided on world-wide markets. For a successful service discovery,service requests have to be matched with the available service offers. However, in a situation in which no service that completely matches the request can be discovered, the customer may tolerate slight discrepancies between request and offer. Some existing fuzzy matching approaches are able to detectsuch service variants, but they do not allow to explicitly specify which parts of a request are not mandatory. In this paper, we improve an existing service matching approach based onVisual Contracts leveraging our preliminary work of design pattern detection. Thereby, we support explicit specifications of service variants and realize gradual matching results that can be ranked in order to discover the service offer that matches a customer’s request best.}},
  author       = {{Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor}},
  booktitle    = {{IEEE 20th International Conference on Web Services (ICWS 2013)}},
  pages        = {{613--614}},
  title        = {{{Service Matching under Consideration of Explicitly Specified Service Variants}}},
  doi          = {{10.1109/ICWS.2013.98}},
  year         = {{2013}},
}