@inproceedings{8485, author = {{Spijkerman, Michael }}, booktitle = {{Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear)}}, pages = {{425----434}}, publisher = {{GI}}, title = {{{Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden}}}, volume = {{215}}, year = {{2013}}, } @inproceedings{8486, author = {{Nagel , Benjamin and Gerth , Christian and Post, Jennifer and Engels, Gregor}}, booktitle = {{Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE'13)}}, pages = {{9----16}}, publisher = {{CEUR-WS.org}}, title = {{{Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies}}}, volume = {{998}}, year = {{2013}}, } @inproceedings{8487, author = {{Kehrer , Timo and Gerth, Christian }}, booktitle = {{Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'13)}}, number = {{2}}, pages = {{32--34}}, publisher = {{FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)}}, title = {{{CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.}}}, volume = {{33}}, year = {{2013}}, } @inproceedings{8488, author = {{Grieger , Marvin and Sauer, Stefan}}, booktitle = {{Software Engineering 2013 Workshopband}}, pages = {{189--200}}, publisher = {{GI, Köllen Druck+Verlag GmbH, Bonn}}, title = {{{Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung}}}, year = {{2013}}, } @inproceedings{8489, author = {{Nagel , Benjamin and Gerth , Christian and Engels, Gregor}}, booktitle = {{Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application)}}, title = {{{Goal-driven Composition of Business Process Models}}}, year = {{2013}}, } @inproceedings{8490, author = {{Fazal-Baqaie , Masud and Luckey , Markus and Engels, Gregor}}, booktitle = {{Software Engineering 2013 Workshopband}}, pages = {{435--444}}, publisher = {{GI, Köllen Druck+Verlag GmbH, Bonn}}, title = {{{Assembly-based Method Engineering with Method Patterns}}}, year = {{2013}}, } @inproceedings{506, abstract = {{Alle Dom{\"a}nen und Branchen der heutigen Wirtschaft sind auf eine effiziente und effektive Entwicklung von ben{\"o}tigten Softwaresystemen angewiesen. Das 40 Jahre alte Prinzip der Beschaffung von Softwaresystemen durch den Einkauf von teuren, relativ unflexiblen Standardl{\"o}sungen beziehungsweise der noch teureren Erstellung durch Softwareh{\"a}user oder eigene Softwareabteilungen muss deshalb in Frage gestellt werden. Mit dem Einsatz von Cloud Computing-Techniken wird es m{\"o}glich, Softwaresysteme und die f{\"u}r den Betrieb ben{\"o}tigten Ressourcen nur bei Bedarf und nur in der ben{\"o}tigten Form einzukaufen. Mit dem Ansatz der service-orientierten Architekturen stehen Methoden zur Verf{\"u}gung, Software zumindest unternehmensintern flexibel zusammenzustellen. Diese ersten Ans{\"a}tze f{\"u}r eine neue Art der Entwicklung und des Betriebs von Softwaresystemen bilden den Ausgangspunkt f{\"u}r die Forschungen in dem seit 2011 laufenden DFG Sonderforschungsbereich (SFB) 901 „On-The-Fly Computing“ an der Universit{\"a}t Paderborn. Die Vision des On-The-Fly Computing ist, dass die Softwaresysteme der Zukunft aus individuell und automatisch konfigurierten und zur Ausf{\"u}hrung gebrachten Softwarebausteinen bestehen, die auf M{\"a}rkten frei gehandelt werden und flexibel kombinierbar sind. Um zu erforschen, in wie weit diese Vision realisierbar ist, werden Konzepte, Methoden und Techniken entwickelt, die eine weitestgehend automatische Konfiguration, Ausf{\"u}hrung und Adaption von Softwaresystemen aus auf weltweiten M{\"a}rkten verf{\"u}gbaren Services erm{\"o}glichen. Um diese Ziele zu erreichen, arbeiten an der Universit{\"a}t Paderborn Informatiker aus unterschiedlichen Disziplinen wie Softwaretechnik, Algorithmik, Rechnernetze, Systementwurf, Sicherheit und Kryptographie mit Wirtschaftswissenschaftlern zusammen, die ihre spezifische Expertise einbringen, mit der die Organisation und Weiterentwicklung des Marktes vorangetrieben werden kann.}}, author = {{Engels, Gregor}}, booktitle = {{Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)}}, pages = {{17--18}}, title = {{{On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft}}}, year = {{2013}}, } @phdthesis{547, abstract = {{In recent years, the role of process models in the development of enterprise software systems has increased continuously. Today, process models are used at different levels in the development process. For instance, in Service-Oriented Architectures (SOA), high-level business process models become input for the development of IT systems, and in running IT systems executable process models describe choreographies of Web Services. A key driver behind this development is the necessity for a closer alignment of business and IT requirements, to reduce the reaction times in software development to frequent changes in competitive markets.Typically in these scenarios, process models are developed, maintained, and transformed in a team environment by several stakeholders that are often from different business units, resulting in different versions. To obtain integrated process models comprising the changes applied to different versions, the versions need to be consolidated by means of model change management. Change management for process models can be compared to widely used concurrent versioning systems (CVS) and consists of the following major activities: matching of process models, detection of differences, computation of dependencies and conflicts between differences, and merging of process models.Although in general model-driven development (MDD) is accepted as a well-established development approach, there are still some shortcomings that let developers decide against MDD and for more traditional development paradigms. These shortcomings comprise a lack of fully integrated and fully featured development environments for MDD, such as a comprehensive support for model change management.In this thesis, we present a framework for process model change management. The framework is based on an intermediate representation for process models that serves as an abstraction of specific process modeling languages and focuses on common syntactic and semantic core concepts for the modeling of workflow in process models. Based on the intermediate representation, we match process models in versioning scenarios and compute differences between process models generically. Further, we consider the analysis of dependencies between differences and show how conflicts between differences can be computed by taking into account the semantics of the modeling language.As proof-of concept, we have implemented major parts of this framework in terms of a prototype. The detection of differences and dependencies contributed also to the Compare & Merge framework for the IBM WebSphere Business Modeler V 7.0 [1] (WBM), which was released as a product in fall 2009.}}, author = {{Gerth, Christian}}, publisher = {{Universität Paderborn}}, title = {{{Business Process Models - Change Management}}}, doi = {{10.1007/978-3-642-38604-6}}, year = {{2013}}, } @inproceedings{551, abstract = {{In the service-oriented computing domain, the number of available software services steadily increased in recent years, favored by the rise of cloud computing with its attached delivery models like Software-as-a-Service (SaaS). To fully leverage the opportunities provided by these services for developing highly flexible and aligned SOA, integration of new services as well as the substitution of existing services must be simplified. As a consequence, approaches for automated and accurate service discovery and composition are needed. In this paper, we propose an automatic service composition approach as an extension to our earlier work on automatic service discovery. To ensure accurate results, it matches service requests and available offers based on their structural as well as behavioral aspects. Afterwards, possible service compositions are determined by composing service protocols through a composition strategy based on labeled transition systems.}}, 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}}, title = {{{Automated Service Composition for On-the-Fly SOAs}}}, doi = {{10.1007/978-3-642-45005-1_42}}, year = {{2013}}, } @inproceedings{560, abstract = {{In the last decades, development turned from monolithic software products towards more flexible software components that can be provided on world-wide markets in form of services. Customers request such services or compositions of several services. However, in many cases, discovering the best services to address a given request is a tough challenge and requires expressive, gradual matching results, considering different aspects of a service description, e.g., inputs/ouputs, protocols, or quality properties. Furthermore,in situations in which no service exactly satifies the request, approximate matching which can deal with a certain amount of fuzziness becomes necessary. There is a wealth of service matching approaches, but it is not clear whether there is a comprehensive, fuzzy matching approach which addresses all these challenges. Although there are a few service matchingsurveys, none of them is able to answer this question. In this paper, we perform a systematic literature survey of 35 (outof 504) service matching approaches which consider fuzzy matching. Based on this survey, we propose a classication,discuss how different matching approaches can be combined into a comprehensive matching method, and identify future research challenges.}}, author = {{Platenius, Marie and von Detten, Markus and Becker, Steffen and Schäfer, Wilhelm and Engels, Gregor}}, booktitle = {{Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering}}, pages = {{143--152}}, title = {{{A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing}}}, doi = {{10.1145/2465449.2465454}}, year = {{2013}}, } @article{6729, author = {{Coumans, Dion and Gehrke, Mai and van Rooijen, Lorijn}}, issn = {{1570-8683}}, journal = {{Journal of Applied Logic}}, number = {{1}}, pages = {{50--66}}, publisher = {{Elsevier BV}}, title = {{{Relational semantics for full linear logic}}}, doi = {{10.1016/j.jal.2013.07.005}}, volume = {{12}}, year = {{2013}}, } @inproceedings{6730, author = {{Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}}, booktitle = {{Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India}}, pages = {{363----375}}, publisher = {{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}}, title = {{{Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages}}}, doi = {{10.4230/LIPICS.FSTTCS.2013.363}}, volume = {{24}}, year = {{2013}}, } @inproceedings{6732, author = {{Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}}, booktitle = {{Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013}}, isbn = {{9783642403125}}, issn = {{0302-9743}}, pages = {{729--740}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Separating Regular Languages by Piecewise Testable and Unambiguous Languages}}}, doi = {{10.1007/978-3-642-40313-2_64}}, year = {{2013}}, } @proceedings{7763, editor = {{Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans-Jörg and Rozenberg, Grzegorz}}, publisher = {{Springer}}, title = {{{Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings}}}, volume = {{7562}}, year = {{2012}}, } @inproceedings{8055, author = {{Becker, Matthias and Luckey, Markus and Becker, Steffen}}, booktitle = {{Proceedings of the International Conference on Quality of Software Architecture}}, publisher = {{ACM}}, title = {{{Model-driven Performance Engineering of Self-Adaptive Systems: A Survey}}}, year = {{2012}}, } @inproceedings{8056, abstract = {{Service-oriented computing (SOC) promises to solve many issues in the area of distributed software development, e.g. the realization of the loose coupling pattern in practice through service discovery and invocation. For this purpose, service descriptions must comprise structural as well as behavioral information of the services otherwise an accurate service discovery is not possible. We addressed this issue in our previous paper and proposed a UML-based rich service description language (RSDL) providing comprehensive notations to specify service requests and offers. However, the automatic matching of service requests and offers specified in a RSDL for the purpose of service discovery is a complex task, due to multifaceted heterogeneity of the service partners. This heterogeneity includes the use of different underlying ontologies or different levels of granularity in the specification itself resulting in complex mappings between service requests and offers. In this paper, we present an automatic matching mechanism for service requests and offers specified in a RSDL that overcomes the underlying heterogeneity of the service partners.}}, author = {{Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}}, booktitle = {{Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS'12)}}, pages = {{709--725}}, publisher = {{Springer-Verlag}}, title = {{{Towards an Automatic Service Discovery for UML-based Rich Service Descriptions}}}, doi = {{http://dx.doi.org/10.1007/978-3-642-33666-9_45}}, volume = {{7590}}, year = {{2012}}, } @book{8226, author = {{Kremer, Marion and Engels, Gregor and Hofmann, Alexander and Hohwiller, Jörg and E. Nandico, Oliver and Nötzold, Thomas and Prott, Karl and Schlegel, Diethelm and Seidl, Andreas and Wolf, Thomas}}, publisher = {{Capgemini CSD Research, Offenbach 2012}}, title = {{{Quasar 3.0 - A Situational Approach to Software Engineering}}}, year = {{2012}}, } @inproceedings{572, abstract = {{Service-oriented computing (SOC) promises to solve many issues in the area of distributed software development, e.g. the realization of the loose coupling pattern in practice through service discovery and invocation. For this purpose, service descriptions must comprise structural as well as behavioral information of the services otherwise an accurate service discovery is not possible. We addressed this issue in our previous paper and proposed a UML-based rich service description language (RSDL) providing comprehensive notations to specify service requests and offers.However, the automatic matching of service requests and offers specified in a RSDL for the purpose of service discovery is a complex task, due to multifaceted heterogeneity of the service partners. This heterogeneity includes the use of different underlying ontologies or different levels of granularity in the specification itself resulting in complex mappings between service requests and offers. In this paper, we present an automatic matching mechanism for service requests and offers specified in a RSDL that overcomes the underlying heterogeneity of the service partners.}}, author = {{Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}}, booktitle = {{Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)}}, pages = {{709----725}}, title = {{{Towards an Automatic Service Discovery for UML-based Rich Service Descriptions}}}, doi = {{10.1007/978-3-642-33666-9_45}}, year = {{2012}}, } @inproceedings{573, abstract = {{In software markets of the future, customer-specific software will be developed on demand from distributed software and hardware services available on world-wide markets. Having a request, services have to be automatically discovered and composed. For that purpose, services have to be matched based on their specifications. For the accurate matching, services have to be described comprehensively that requires the integration of different domain-specific languages (DSLs) used for functional, non-functional, and infrastructural properties. Since different service providers use plenty of language dialects to model the same service property, their integration is needed for the matching. In this paper, we propose a framework for integration of DSLs. It is based on a parameterized abstract core language that integrates key concepts needed to describe a service. Parts of the core language can be substituted with concrete DSLs. Thus, the framework serves as a basis for the comprehensive specification and automatic matching of services.}}, author = {{Arifulina, Svetlana}}, booktitle = {{Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}}, editor = {{W. Eisenecker, Ulrich and Bucholdt, Christian}}, pages = {{23----26}}, title = {{{Towards a Framework for the Integration of Modeling Languages}}}, year = {{2012}}, } @inproceedings{5753, author = {{Nagel, Benjamin and Gerth, Christian and Yigitbas, Enes and Christ, Fabian and Engels, Gregor}}, booktitle = {{Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2012), Innsbruck, Austria, October 01 - 05, 2012}}, pages = {{4}}, title = {{{Model-driven specification of adaptive cloud-based systems}}}, doi = {{10.1145/2446224.2446228}}, year = {{2012}}, }