@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}}, } @proceedings{7761, editor = {{Weskamp , Christoph and John , Thomas and Kundisch , Dennis and Teetz, Alexander and Rose, Mirko }}, title = {{{Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market}}}, 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}}, } @inproceedings{8066, abstract = {{Agile Softwareentwicklungsmethoden erfreuen sich einer steigenden Verbreitung, versprechen sie doch risiko-getrie-ben und leichtgewichtig auch bei sich verändernden Anforderungen gute Ergebnisse zu erzielen. Viele Unternehmen stehen jedoch vor der Herausforderung, agile Prinzipien mit den Gegebenheiten im Unterneh-men zu vereinbaren, z.B. mit den internen Prozessen und organisatori-schen Gegebenheiten. Ein besonders herausforderndes Beispiel ist die Softwareentwicklung in Kooperation mit Offshore-Partnern. Die Auto-ren berichten aus einem laufenden Methodenverbesserungsprojekt für ein Unternehmen der Finanzbranche, das für die Softwareentwicklung mit On- und Offshore-Partnern kooperiert. Anders als bisher soll der indischen Offshore-Partner in naher Zukunft große Softwaressysteme federführend implementieren. Dabei sollen projektindividuell auch Onshore-Partner eingebunden werden. Der Beitrag stellt den systema-tischen Ansatz für die inkrementelle Methodenverbesserung vor, mit dem Varianten einer möglichst agilen Methode definiert werden sollen, die sowohl im Projektumfeld als auch im operativen Tagesgeschäft ef-fektiv und effizient eingesetzt werden können. Die Autoren fassen au-ßerdem die im Rahmen von Interviews erhobenen, bisherigen Erfah-rungen in der Zusammenarbeit mit dem Offshore-Partner zusammen, die für die Methode berücksichtigt werden müssen.}}, author = {{Fazal-Baqaie, Masud and Sauer, Stefan and Heuft, Torsten}}, booktitle = {{Proceedings of Projektmanagement und Vorgehensmodelle 2014}}, pages = {{59--69}}, publisher = {{GI, Köllen Druck+Verlag GmbH, Bonn}}, title = {{{Agile Entwicklung mit On- und Offshore-Partnern – Methodenverbesserung in der Praxis}}}, 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{5749, author = {{Yigitbas, Enes and Fischer, Holger Gerhard and Sauer, Stefan}}, booktitle = {{Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience - Third International Conference, {DUXU} 2014, Held as Part of {HCI} International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part {I}}}, pages = {{206--213}}, title = {{{Model-Based User Interface Development for Adaptive Self-Service Systems}}}, doi = {{10.1007/978-3-319-07668-3\_21}}, year = {{2014}}, } @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}}, }