@article{7275, author = {{Engels, Gregor and Luckey, Markus}}, journal = {{Computer Science - Research and Development}}, number = {{1}}, pages = {{1--2}}, title = {{{Editorial}}}, volume = {{28}}, year = {{2013}}, } @article{7276, author = {{Engels, Gregor and Gerth, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Müller, Wolfgang and Sauer, Stefan}}, journal = {{Forschungsforum Paderborn}}, pages = {{54--61}}, title = {{{Informationstechnik spart Ressourcen}}}, volume = {{16/2013}}, year = {{2013}}, } @article{7277, author = {{Gerth, Christian and Küster, Jochen and Luckey, Markus and Engels, Gregor}}, journal = {{Software and Systems Modeling}}, number = {{3}}, pages = {{517--535}}, title = {{{Detection and Resolution of Conflicting Change Operations in Version Management of Process Models}}}, volume = {{12}}, year = {{2013}}, } @inbook{7523, author = {{Engels, Gregor and Sauer, Stefan}}, booktitle = {{Handbook of Software Engineering and Knowledge Engineering}}, editor = {{Chang, S K}}, isbn = {{9789810245146}}, pages = {{21----53}}, publisher = {{World Scientific Publishing Company}}, title = {{{Object-oriented Modeling of Multimedia Applications}}}, doi = {{https://doi.org/10.1142/4603}}, volume = {{2}}, 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{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}}, } @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}}, } @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{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{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}}, } @inproceedings{622, abstract = {{Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that the specification at hand at least describes the correct behavior for a suite of test models. However, in its current state TDSS does not provide any means to measure the quality of such a test suite. In this paper, we describe how we have applied the idea of test coverage to TDSS. Similar to common approaches of defining test coverage criteria, we describe a data structure called invocation graph containing possible orders of applications ofDMM rules. Then we define different coverage criteria based on that data structure, taking the rule applications caused by the test suite’s models into account. Our implementation of the described approach gives the language engineer using DMM a means to reason about the quality of the language’s test suite, and also provides hints on how to improve that quality by adding dedicated test models to the test suite.}}, author = {{Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}}, booktitle = {{Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}}, title = {{{Coverage Criteria for Testing DMM Specifications}}}, doi = {{10.14279/tuj.eceasst.47.718}}, year = {{2012}}, } @inproceedings{639, abstract = {{Service-oriented computing (SOC) emerges as a promising trend solving many issues in distributed software development. Following the essence of SOC, service descriptions are dened by the service partners based on current standards, e.g., WSDL [15]. However, these standards are mostly structural and do not provide any behavioral description, which may lead to inaccurate service discovery results. There is a requirement for a rich service description language for service partners that encompasses the structural as well as behavioral information in the service description. Furthermore, service discovery based on an automatic matching of these comprehensive service descriptions is a complex task, which is further complicated through the heterogeneity of the service partners' domains in terms of dierent underlying ontologies. In this paper, we propose a rich service description language based on UML, which allows the specication of structural and behavioral features of a service. In addition, we also briefly discuss how some existing matching approaches can be extended to dene an automatic matching mechanism for rich service descriptions resolving the underlying heterogeneity.}}, author = {{Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}}, booktitle = {{Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering}}, pages = {{90----97}}, title = {{{A UML-based Rich Service Description for Automatic Service Discovery}}}, year = {{2012}}, } @article{7339, author = {{Dumslaff, Uwe and Engels, Gregor and Kremer, Marion}}, journal = {{OBJEKTspektrum}}, number = {{Nr. 5}}, pages = {{52 -- 57}}, title = {{{IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung}}}, year = {{2012}}, } @article{7340, author = {{Luckey, Markus and Erwig, Martin and Engels, Gregor}}, issn = {{1045-926X}}, journal = {{Journal of Visual Languages & Computing}}, number = {{5}}, pages = {{267--286}}, publisher = {{Elsevier BV}}, title = {{{Systematic evolution of model-based spreadsheet applications}}}, doi = {{10.1016/j.jvlc.2011.11.009}}, volume = {{23}}, year = {{2012}}, } @article{7345, author = {{Engels, Gregor and Whittle, Jon }}, issn = {{1619-1366}}, journal = {{Software & Systems Modeling}}, number = {{4}}, pages = {{463--465}}, publisher = {{Springer Nature}}, title = {{{Ten years of software and systems modeling}}}, doi = {{10.1007/s10270-012-0287-3}}, volume = {{11}}, year = {{2012}}, }