Masud Fazal-Baqaie and Baris Güldali and Markus Luckey and Stefan Sauer and Michael Spijkerman: Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden. In OBJEKTspektrum (Online Themenspecials), no. RE/2013, pp. 1-5 (2013)
Show Bibtex | Show Abstract | URL

@article{fglss13, author = {Masud Fazal-Baqaie and Baris Güldali and Markus Luckey and Stefan Sauer and Michael Spijkerman}, title = {Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden}, journal = {OBJEKTspektrum (Online Themenspecials)}, year = {2013}, number = {RE/2013}, pages = {1-5}, month = {June} }

Grundlage für eine erfolgreiche Softwareentwicklung sind gute Anforderungen. Die Vorteile eines systematischen Requirements Engineerings (RE) zur Erhebung und Verwaltung von Anforderungen sind gemeinhin bekannt. Ebenso, dass verschiedenste RE-Techniken genutzt werden können. Doch wie wählt eine Organisation die passenden RE-Techniken aus und kombiniert sie zu einer durchgängigen RE-Methode, die auf die eigenen Bedürfnisse zugeschnitten ist und durch geeignete Werkzeuge unterstützt wird? Dieser Artikel beschreibt die Schritte bei der Entwicklung einer organisationsspezifischen RE-Methode und – am Beispiel des Enterprise Architect – die Anpassung eines RE-Werkzeugs. Wir erläutern unsere Methodik mittels eines Fallbeispiels auf der Grundlage eines unserer Projekte

Gregor Engels and Markus Luckey: Editorial. In Computer Science - Research and Development, vol. 28, no. 1, pp. 1-2 (2013) Organ der Fachbereiche Softwaretechnik, Datenbanken und Informationssysteme der Gesellschaft für Informatik e.V. (GI)
Show Bibtex | URL | DOI

@article{EL2013, author = {Gregor Engels and Markus Luckey}, title = {Editorial}, journal = {Computer Science - Research and Development}, year = {2013}, volume = {28}, number = {1}, pages = {1-2}, month = {Januar}, note = {Organ der Fachbereiche Softwaretechnik, Datenbanken und Informationssysteme der Gesellschaft für Informatik e.V. (GI)} }

Christian Gerth and Jochen Küster and Markus Luckey and Gregor Engels: Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. In Software and Systems Modeling, vol. 12, no. 3, pp. 517-535 (2013)
Show Bibtex | Show Abstract | DOI

@article{GerthSoSym11, author = {Christian Gerth and Jochen Küster and Markus Luckey and Gregor Engels}, title = {Detection and Resolution of Conflicting Change Operations in Version Management of Process Models}, journal = {Software and Systems Modeling}, year = {2013}, volume = {12}, number = {3}, pages = {517-535}, month = {July} }

Version management of process models requires that different versions of process models are integrated by applying change operations. Conflict detection between individually applied change operations and conflict resolution support are integral parts of version management. For conflict detection it is utterly important to compute a precise set of conflicts, since the minimization of the number of detected conflicts also reduces the overhead for merging different process model versions. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computation of conflicts solely on the syntax leads to an unnecessary high number of conflicts. Moreover, even the set of precisely computed conflicts can be extensive and their resolution means a significant workload for a user. As a consequence, adequate support is required that guides a user through the resolution process and suggests possible resolution strategies for individual conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts precisely, using a term formalization of process models and consider the subsequent resolution of the detected conflicts based on different strategies. Using this approach, we can significantly reduce the number of overall conflicts and reduce the amount of work for the user when resolving conflicts.

Markus Luckey and Martin Erwig and Gregor Engels: Systematic Evolution of Model-Based Spreadsheet Applications. In Journal of Visual Languages and Computing, vol. 23, no. 5, pp. 267-286 (2012)
Show Bibtex | DOI

@article{luckey_jvlc12, author = {Markus Luckey and Martin Erwig and Gregor Engels}, title = {Systematic Evolution of Model-Based Spreadsheet Applications}, journal = {Journal of Visual Languages and Computing}, year = {2012}, volume = {23}, number = {5}, pages = {267-286}, month = {Oct} }

Matthias Becker and Markus Luckey and Steffen Becker: Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In Ninth International ACM Sigsoft Conference on the Quality of Software Architectures. ACM New York, NY, USA (New York, NY, USA), QoSA 2013, pp. 43--52 (2013) QoSA '13 Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Show Bibtex | Show Abstract | DOI

@inproceedings{qosa_13, author = {Matthias Becker and Markus Luckey and Steffen Becker}, title = {Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time}, booktitle = {Ninth International ACM Sigsoft Conference on the Quality of Software Architectures}, year = {2013}, series = {QoSA 2013}, pages = {43--52}, address = {New York, NY, USA}, month = {Juni}, publisher = {ACM New York, NY, USA}, note = {QoSA '13 Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures } }

Self-adaptation allows continuously running software systems to operate in changing and uncertain contexts while meeting their requirements in a broad range of contexts, e.g., from low to high load situations. As a consequence, requirements for self-adaptive systems are more complex than requirements for static systems as they have to explicitly address properties of the self-adaptation layer. While approaches exist in the literature to capture this new type of requirements formally, their achievement cannot be analyzed in early design phases yet. In this paper, we apply RELAX to formally specify non-functional requirements for self-adaptive systems. We then apply our model-based SimuLizar approach for a semi-automatic analysis to test whether the self-adaptation layer ensures that these non-functional requirements are met. We evaluate our approach on the design of a proof-of-concept load balancer system. As this evaluation demonstrates, we can iteratively improve our system design by improving unsatisfactory self-adaption rules.

Markus Luckey and Gregor Engels: High-­Quality Specification of Self-­Adaptive Software Systems. In Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems. ACM (New York, NY, USA), SEAMS '13, pp. 143-152 (2013)
Show Bibtex | Show Abstract | URL

@inproceedings{acml_seams13, author = {Markus Luckey and Gregor Engels}, title = {High-­Quality Specification of Self-­Adaptive Software Systems}, booktitle = {Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems}, year = {2013}, series = {SEAMS '13}, pages = {143-152}, address = {New York, NY, USA}, month = {May}, publisher = {ACM} }

Today's software systems have to cope with changing environments while at the same time facing high non-functional requirements such as flexibility and dependability. Recently, these non-functional requirements are addressed using self-adaptivity features, that is, the system monitors its environment and adjusts its structure or behavior in reaction to changes. In classical model-driven software engineering approaches, self-adaptivity introduces additional complexity since self-adaptation features are distributed in a cross-cutting manner at various different locations in the models, resulting in a tightly interwoven model landscape that is hard to understand and maintain. A particular solution to cope with this problem is the separation of concerns (SoC) to focus on the specific concern of self-adaptivity and allow in-depth analyses. Applying SoC requires suitable development processes, languages, and techniques, e.g., for quality assurance, to be available. In this paper, we present a method for the specification of self-adaptive software systems using a UML based concern-specific modeling language called Adapt Case Modeling Language (ACML) that allows the separated and explicit specification of self-adaptivity concerns. Based on formal semantics we show how to apply quality assurance techniques to the modeled self-adaptive system, which enable the provisioning of hard guarantees concerning self-adaptivity characteristics such as adaptation rule set stability and deadlock freedom. Further, we show how the language and techniques integrate with existing software development processes.

Matthias Becker and Markus Luckey and Steffen Becker: Model-driven Performance Engineering of Self-Adaptive Systems: A Survey. In Proceedings of the International Conference on Quality of Software Architecture. ACM (New York, NY, USA), QoSA'12 (2012)
Show Bibtex

@inproceedings{qosa12, author = {Matthias Becker and Markus Luckey and Steffen Becker}, title = {Model-driven Performance Engineering of Self-Adaptive Systems: A Survey}, booktitle = {Proceedings of the International Conference on Quality of Software Architecture}, year = {2012}, series = {QoSA'12}, address = {New York, NY, USA}, publisher = {ACM} }

Markus Luckey and Christian Gerth and Christian Soltenborn and Gregor Engels: QUAASY - QUality Assurance of Adaptive SYstems. In Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11). ACM (2011)
Show Bibtex | Show Abstract | DOI

@inproceedings{quaasy_poster11, author = {Markus Luckey and Christian Gerth and Christian Soltenborn and Gregor Engels}, title = {QUAASY - QUality Assurance of Adaptive SYstems}, booktitle = {Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11)}, year = {2011}, month = {June}, publisher = {ACM} }

The emerging approach to tackle the increasing complexity of today's software systems is the use of self-adaptation techniques. Modeling and implementing adaptivity features is a burdensome and error-prone task that potentially results in erroneous system models. As a consequence, quality analysis and assurance must be considered early in the development of self-adaptive systems. We propose a quality assurance approach for self-adaptive systems in terms of an integrated modeling and analysis approach, which helps identifying errors in modeled self-adaptive systems early in the design process. We employ a modeling language for self-adaptive systems including adaptation rules and formally define their semantics. Given the language and its formal semantics, we formulate quality properties, such as fairness of the specified adaptation rule system. These quality properties are verified using a model checking approach.

Markus Luckey and Benjamin Nagel and Christian Gerth and Gregor Engels: Adapt Cases: Extending Use Cases for Adaptive Systems. In Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems. ACM (New York, NY, USA), SEAMS '11, pp. 30--39 (2011)
Show Bibtex | Show Abstract | URL

@inproceedings{adaptcases_seams11, author = {Markus Luckey and Benjamin Nagel and Christian Gerth and Gregor Engels}, title = {Adapt Cases: Extending Use Cases for Adaptive Systems}, booktitle = {Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems}, year = {2011}, series = {SEAMS '11}, pages = {30--39}, address = {New York, NY, USA}, month = {May}, publisher = {ACM} }

Adaptivity is prevalent in today's software. Mobile devices self-adapt to available network connections, washing machines adapt to the amount of laundry, etc. Current approaches for engineering such systems facilitate the specification of adaptivity in the analysis and the technical design. However, the modeling of platform independent models for adaptivity in the logical design phase remains rather neglected causing a gap between the analysis and the technical design phase. To overcome this situation, we propose an approach called Adapt Cases. Adapt Cases allow the explicit modeling of adaptivity with dedicated means, enabling adaptivity to gather attention early in the software engineering process. Since our approach is based on use cases it is easy adoptable in new and even running projects that use the UML as a specification language, and additionally, can be easily incorporated into model-based development environments.

Christian Gerth and Markus Luckey and Jochen Küster and Gregor Engels: Precise Mappings between Business Process Models in Versioning Scenarios. In Proceedings of the IEEE 8th International Conference on Services Computing (SCC'11). IEEE Computer Society, pp. 218-225 (2011)
Show Bibtex | Show Abstract | DOI

@inproceedings{GerthSCC11, author = {Christian Gerth and Markus Luckey and Jochen Küster and Gregor Engels}, title = {Precise Mappings between Business Process Models in Versioning Scenarios}, booktitle = {Proceedings of the IEEE 8th International Conference on Services Computing (SCC'11)}, year = {2011}, pages = {218-225}, publisher = {IEEE Computer Society} }

In the development process of service-oriented systems, business process models are used at different levels. Typically, high-level business process models that describe business requirements and needs are stepwise refined to the IT level by different business modelers and software architects. As a result, different process model versions must be compared and merged by means of model version control. An important prerequisite for process model version control is an elaborated matching approach that results in precise mappings between different process model versions. The challenge of such an approach is to deal with syntactically different process models that are semantically equivalent. For that purpose, matching techniques must consider the semantics of process modeling languages. In this paper, we present a matching approach for process models in a versioning scenario. Based on a term formalization of process models, we enable an efficient and effective way to match syntactically different but semantically equivalent process models resulting in precise mappings.

Chris Chambers and Martin Erwig and Markus Luckey: SheetDiff: A Tool for Identifying Changes in Spreadsheets. In Proceedings of the 26th IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (VL/HCC 2010). IEEE Computer Society (Washington, DC, USA), pp. 85--92 (2010)
Show Bibtex | Show Abstract

@inproceedings{SheetDiff10, author = {Chris Chambers and Martin Erwig and Markus Luckey}, title = {SheetDiff: A Tool for Identifying Changes in Spreadsheets}, booktitle = {Proceedings of the 26th IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (VL/HCC 2010)}, year = {2010}, pages = {85--92}, address = {Washington, DC, USA}, month = {September}, organization = {IEEE Computer Society}, publisher = {IEEE Computer Society} }

Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If several versions of one spreadsheet for grading/budgeting/etc. have accumulated, it is often not obvious which one to choose for the next project. In situations like these, an understanding of how two versions of a spreadsheet differ is crucial to make an informed choice. Other scenarios are the reconciliation of two spreadsheets created by different users, generalizing different spreadsheets into a common template, or simply understanding and documenting the evolution of a spreadsheet over time. In this paper we present a method for identifying the changes between two spreadsheets with the explicit goal of presenting them to users in a concise form. We have implemented a prototype system, called SheetDiff, and tested the approach on several different spreadsheet pairs. As our evaluations will show, this system works reliably in practice. Moreover, we have compared SheetDiff to similar systems that are commercially available. An important difference is that while all these other tools distribute the change representation over two spreadsheets, our system displays all changes in the context of one spreadsheet, which results in a more compact representation.

Christian Gerth and Markus Luckey and Jochen Küster and Gregor Engels: Detection of Semantically Equivalent Fragments for Business Process Model Change Management. In Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10). IEEE Computer Society, pp. 57--64 (2010) Best Student Paper of SCC 2010.
Show Bibtex | Show Abstract | DOI

@inproceedings{GerthSCC10, author = {Christian Gerth and Markus Luckey and Jochen Küster and Gregor Engels}, title = {Detection of Semantically Equivalent Fragments for Business Process Model Change Management}, booktitle = {Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10)}, year = {2010}, pages = {57--64}, publisher = {IEEE Computer Society}, note = {Best Student Paper of SCC 2010.} }

Modern business process modeling environments support distributed development by means of model version control, i. e., comparison and merging of two different model versions. This is a challenging task since most modeling languages support an almost arbitrary creation of process models. Thus, in multi-developer environments, process models or parts of them are often syntactically very different but semantically equivalent. Hence, the comparison of business process models must be performed on a semantic level rather then on a syntactic level. For the domain of business process modeling, this problem is yet unsolved. This paper describes an approach that allows the semantic comparison of different business process models using a normal form. For that purpose, the process models are fully automatically translated into process model terms and normalized using a term rewriting system. The resulting normal forms can be efficiently compared and easily be used for reconciliation. Our approach enables the semantic comparison of business process models ignoring syntactic redundancies.

Christian Gerth and Jochen Küster and Markus Luckey and Gregor Engels: Precise Detection of Conflicting Change Operations using Process Model Terms. In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10). Springer (Berlin/Heidelberg), LNCS, vol. 6395, no. Part II, pp. 93--107 (2010) ACM Distinguished Paper Award MODELS 2010.
Show Bibtex | Show Abstract | DOI

@inproceedings{GerthModels10, author = {Christian Gerth and Jochen Küster and Markus Luckey and Gregor Engels}, title = {Precise Detection of Conflicting Change Operations using Process Model Terms}, booktitle = {Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10)}, year = {2010}, volume = {6395}, number = {Part II}, series = {LNCS}, pages = {93--107}, address = {Berlin/Heidelberg}, month = {October}, publisher = {Springer}, note = {ACM Distinguished Paper Award MODELS 2010.} }

Version management of process models requires that changes can be resolved by applying change operations. Conflict detection is an important part of version management and the minimization of the number of detected conflicts also reduces the overhead when resolving changes. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computation of conflicts solely on the syntax leads to an unnecessary high number of conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts, using a term formalization of process models. Using this approach, we can significantly reduce the number of overall conflicts and thereby reduce the amount of work for the user when resolving conflicts.

Fabian Christ and Jan-Christopher Bals and Gregor Engels and Christian Gerth and Markus Luckey: A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage. In Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), Málaga (Spain). Springer (Berlin/Heidelberg), LNCS, vol. 6141, pp. 21--40 (2010)
Show Bibtex | Show Abstract | DOI

@inproceedings{Christ2010, author = {Fabian Christ and Jan-Christopher Bals and Gregor Engels and Christian Gerth and Markus Luckey}, title = {A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage}, booktitle = {Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), Málaga (Spain)}, year = {2010}, volume = {6141}, series = {LNCS}, pages = {21--40}, address = {Berlin/Heidelberg}, month = {June}, publisher = {Springer} }

Enterprise software development is based on the usage of frameworks. However, well-established concepts to specify framework functionality and how to use it can hardly be found. As consequence, there are poor framework documentations. Various problems arise from this, e.g. a high effort for learning a framework and therefore the need of framework specialists. Existing framework description languages (FDL) focus on parts of the problem but do not cover all aspects of specifying framework functionality and usage. In this paper, we present a generic approach for specifying all aspects of framework functionality and usage. We collected requirements to identify relevant aspects and defined a generic meta-model for FDLs. The generic meta-model is the base for defining concrete FDLs while guaranteeing that all relevant framework aspects are covered. Particularly, due to its generic character, parts of the meta-model representing specific framework aspects can be instantiated by existing or newly defined languages.

Masud Fazal-Baqaie and Markus Luckey and Gregor Engels: Assembly-based Method Engineering with Method Patterns. In Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn, pp. 435-444 (2013)
Show Bibtex | Show Abstract | URL

@inproceedings{fle2013, author = {Masud Fazal-Baqaie and Markus Luckey and Gregor Engels}, title = {Assembly-based Method Engineering with Method Patterns}, booktitle = {Software Engineering 2013 Workshopband}, year = {2013}, pages = {435-444}, publisher = {GI, Köllen Druck+Verlag GmbH, Bonn} }

Software development methods prescribe and coordinate the activities necessary to plan, build, and deliver software. To provide methods that account for the situational context of a development project, e.g., an acquirer-supplier-relationship or specific communication needs, the existing method creation approaches represent a trade-off between flexibility and ease of use. On the side, less flexible configurable methods offer a fixed set of configurations to quickly adapt a method to the situation at hand. On the other side, flexible assembly-based approaches allow creating methods from scratch by combining preexisting building blocks, thus are capable of creating methods not covered by configurations of configurable methods, e.g., a mixture of agile and plan-driven ideas. However, assembly-based approaches are not easy to use and require considerable expert knowledge. In this paper we suggest the use of method patterns during the assembly-based method creation. Method patterns represent desirable principles for the to-be-method and therefore support the right choice and combination of method building blocks, simplifying assembly-based method creation.

Christian Gerth and Markus Luckey: Towards Rich Change Management for Business Process Models. In Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'12). FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), Softwaretechnik-Trends, vol. 32, no. 4, pp. 32-34 (2012)
Show Bibtex | Show Abstract

@inproceedings{rich_change_mgmt_gerth_luckey_2012, author = {Christian Gerth and Markus Luckey}, title = {Towards Rich Change Management for Business Process Models}, booktitle = {Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'12)}, year = {2012}, volume = {32}, number = {4}, series = {Softwaretechnik-Trends}, pages = {32-34}, month = {November}, publisher = {FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)} }

Business process models play an important role in the development of large IT systems, since they are easy to understand by all project stakeholders. High-level process models may be created by domain experts, which are stepwise refined in later development phases until they become executable. To establish such model-driven development (MDD) approaches in praxis, a comprehensive tool support of the complete model life cycle is necessary including model change management in particular. In this position paper, we give an overview of our framework for change management of business process models. This framework allows to merge process models in different modeling languages and considers the execution semantics of process models during comparison. Based on these results, we derive further research challenges with the aim to obtain a rich change management solution for business process models.

Markus Luckey and Christian Thanos and Christian Gerth and Gregor Engels: Multi-Staged Quality Assurance for Self-Adaptive Systems. In Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO'12. (2012)
Show Bibtex

@inproceedings{luckey_eval4saso12, author = {Markus Luckey and Christian Thanos and Christian Gerth and Gregor Engels}, title = {Multi-Staged Quality Assurance for Self-Adaptive Systems}, booktitle = {Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO'12}, year = {2012} }

Markus Luckey and Felix Mutz: Modeling with Adapt Cases. In Repository for Model-Driven Development (ReMoDD). (2012) http://www.cs.colostate.edu/remodd/v1/content/modeling-adapt-cases
Show Bibtex | URL | DOI

@inproceedings{luckey_cma12, author = {Markus Luckey and Felix Mutz}, title = {Modeling with Adapt Cases}, booktitle = {Repository for Model-Driven Development (ReMoDD)}, year = {2012}, organization = {University of Paderborn}, note = {http://www.cs.colostate.edu/remodd/v1/content/modeling-adapt-cases} }

Gunter Mussbacher and Omar Alam and Mohammed Alhaj and Shaukat Ali and Nuno Amálio and Balbir Barn and Rolv Bræk and Tony Clark and Benoit Combemale and Luiz Marcio Cysneiros and Urooj Fatima and Robert France and Geri Georg and Jennifer Horkoff and Jörg Kienzle and Julio Cesar Leite and Timothy C. Lethbridge and Markus Luckey and Ana Moreira and Felix Mutz and A. Padua A. Oliveira and Dorina C. Petriu and Matthias Schöttle and Lucy Troup and Vera M. B. Werneck: Assessing composition in modeling approaches. In Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012). ACM (New York, NY, USA), CMA'12 (2012)
Show Bibtex | DOI

@inproceedings{cma12, author = {Gunter Mussbacher and Omar Alam and Mohammed Alhaj and Shaukat Ali and Nuno Amálio and Balbir Barn and Rolv Bræk and Tony Clark and Benoit Combemale and Luiz Marcio Cysneiros and Urooj Fatima and Robert France and Geri Georg and Jennifer Horkoff and Jörg Kienzle and Julio Cesar Leite and Timothy C. Lethbridge and Markus Luckey and Ana Moreira and Felix Mutz and A. Padua A. Oliveira and Dorina C. Petriu and Matthias Schöttle and Lucy Troup and Vera M. B. Werneck}, title = {Assessing composition in modeling approaches}, booktitle = {Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)}, year = {2012}, series = {CMA'12}, address = {New York, NY, USA}, publisher = {ACM} }

Silke Geisen and Markus Luckey and Gregor Engels: Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden. In Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle. Shaker Verlag, pp. 111-120 (2012)
Show Bibtex | Show Abstract

@inproceedings{Geisen_Luckey092012, author = {Silke Geisen and Markus Luckey and Gregor Engels}, title = {Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden}, booktitle = {Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle}, year = {2012}, pages = {111-120}, month = {September}, publisher = {Shaker Verlag} }

Damit die erfolgreiche Entwicklung einer Software und damit der Erfolg eines Projektes gewährleistet ist, wird häufig eine Software Engineering Methode (SEM) zu Beginn auf die Projektsituation abgestimmt. Doch während der Durchführung der Software Engineering Methode können Änderungen an der Projektsituation oder mangelnde Qualität den Projekterfolg gefährden. Diese Situationen machen eine dynamische Anpassung der SEM, insbesondere zur Erreichung der Qualitätsziele, erforderlich. Bekannte Verbesserungs- bzw. Anpassungsverfahren wie Six Sigma oder dem Deming Cycle sind aufgrund ihrer langen Durchführungsdauer kaum für eine solche Anpassung geeignet. Ferner finden diese Verfahren typischerweise nach einem Projekt statt und betrachten selten Änderungen an der aktuellen Projektsituation oder die Qualität der SEM während der Durchführung. Agile Methoden wie Scrum nutzen erste Möglichkeiten zur Inspektion und Anpassung im laufenden Projekt. Diese Idee soll aufgegriffen und weiter verbessert werden. Im Gegensatz zu Six Sigma und dem Deming Cycle beobachten Ansätze aus dem Autonomic Computing zur Laufzeit selbstständig Systeme über Feedbackschleifen und passen das System gegebenenfalls an. Das bekannteste Modell ist die sogenannte MAPE-K Schleife. Diese Arbeit stellt einen Ansatz vor, wie sich die MAPE-K Schleife für die dynamische Anpassung von Software Engineering Methoden sowie zur kontinuierlichen Qualitätsmessung und Bewertung nutzen lässt.

Markus Luckey and Andrea Baumann and Daniel Méndez Fernández and Stefan Wagner: Reusing Security Requirements using an Extended Quality Model. In Software Engineering for Secure Systems, 2010. SESS '10. ICSE Workshop. (2010)
Show Bibtex | Show Abstract

@inproceedings{LuckeySESS10, author = {Markus Luckey and Andrea Baumann and Daniel Méndez Fernández and Stefan Wagner}, title = {Reusing Security Requirements using an Extended Quality Model}, booktitle = {Software Engineering for Secure Systems, 2010. SESS '10. ICSE Workshop}, year = {2010}, month = {May} }

A reoccurring problem in software engineering constitutes ensuring sufficient completeness of requirements specifications with economically justifiable efforts. Formulating precise quality requirements and especially security requirements is elaborate as they depend on many stakeholders and technological aspects that are often unclear in early project phases. Threats that may have a severe impact on the software product are sometimes not even known. One approach to tackle this situation is reusing quality requirements, because they are to a high degree similar in different software products. The effect can be higher quality while at the same time saving time and budget. Quality models are a way to explicitly specify quality. Based on activity-based quality models an approach for specifying reusable quality requirements in early project phases is proposed that also allows a direct derivation of suitable quality requirements for new projects. The applicability of this approach and the resulting reuse potential is investigated in a case study, which concentrates on the security requirements of six industrial projects.

Software Engineering 2010 - Workshop Proceedings (inkl. Doktoranden Symposium), Paderborn (Germany). In Gregor Engels and Markus Luckey and Alexander Pretschner and Ralf H. Reussner (eds.): Lecture Notes in Informatics , , vol. P-160 Gesellschaft für Informatik (GI) (Bonn) (2010)
Show Bibtex

@proceedings{ELS10, editor = {Gregor Engels and Markus Luckey and Alexander Pretschner and Ralf H. Reussner}, title = {Software Engineering 2010 - Workshop Proceedings (inkl. Doktoranden Symposium), Paderborn (Germany)}, year = {2010}, volume = {P-160}, series = {Lecture Notes in Informatics}, address = {Bonn}, month = {5}, publisher = {Gesellschaft für Informatik (GI)} }

Software Engineering 2010 - Proceedings, Paderborn (Germany). In Gregor Engels and Markus Luckey and Wilhelm Schäfer (eds.): Lecture Notes in Informatics , , vol. P-159 Gesellschaft für Informatik (GI) (Bonn) (2010)
Show Bibtex

@proceedings{ELS09, editor = {Gregor Engels and Markus Luckey and Wilhelm Schäfer}, title = {Software Engineering 2010 - Proceedings, Paderborn (Germany)}, year = {2010}, volume = {P-159}, series = {Lecture Notes in Informatics}, address = {Bonn}, month = {February}, publisher = {Gesellschaft für Informatik (GI)} }

Christian Gerth and Markus Luckey and Jochen Küster and Gregor Engels: Detection of Semantically Equivalent Fragments for Business Process Model Change Management. IBM Research Report, no. 3767. IBM Research - Zurich (2010)
Show Bibtex | Show Abstract

@techreport{GerthTR10, author = {Christian Gerth and Markus Luckey and Jochen Küster and Gregor Engels}, title = {Detection of Semantically Equivalent Fragments for Business Process Model Change Management}, institution = {IBM Research - Zurich}, year = {2010}, type = {IBM Research Report}, number = {3767}, month = {February} }

Modern business process modeling environments support distributed development by means of model version control, i.e., comparison and merging of two different model versions. This is a challenging task since most modeling languages support an almost arbitrary creation of process models. Thus, in multi-developer environments, process models or parts of them are often syntactically very different but semantically equivalent. Hence, the comparison of business process models must be performed on a semantic level rather then on a syntactic level. For the domain of business process modeling, this problem is yet unsolved. This paper describes an approach that allows the semantic comparison of different business process models using a normal form. For that purpose, the process models are fully automatically translated into process model terms and normalized using a term rewriting system. The resulting normal forms can be efficiently compared. Our approach enables the semantic comparison of business process models ignoring syntactic redundancies.

Markus Luckey: Reuse of Quality Requirements using the Example of Security. Type: Master Thesis (2009)
Show Bibtex | Show Abstract

@mastersthesis{Luc09, author = {Markus Luckey}, title = {Reuse of Quality Requirements using the Example of Security}, year = {2009} }

For every created product, analysts have to elicit requirements that describe how the product shall behave from different points of view. These requirements may be divided into functional and non-functional requirements both of which are used to describe demands on a product's quality. In the software engineering business, a reoccurring problem is the completeness of requirements specifications, i.e. finding and specifying all relevant functional and non-functional requirements. In most cases, analysts or the customer ignore quality aspects at all. The most important and most difficult quality attributes regarding elicitation include security. With standard software and software product lines, designers tackle the problem by creating reusable software components. As a consequence the customer usually adapts his processes and habits to fit to those standard components. However, individual software is exclusively tailored to fit the customer's need and therefore reusable software components are hardly used. Here the different types of requirements have to be treated differently. On the one hand, it is difficult to reuse functional requirements since they are often very individual. Few of these requirements overlap in different projects and nearly all of them are slightly differing depending on the customer. On the other hand, quality related requirements are often identical for many software products and thus are a good hook to save time and money while at the same time yielding higher software quality because the reused quality requirements are elaborate and proved within preceding projects. This thesis describes how to reuse quality requirements by using an existing quality meta-model (QMM). To this end, we extend the QMM by introducing additional means that classify requirements, namely project parameters and goals. Their conjunction enables the inference of the set of reusable requirements that were previously modeled with the quality meta-model. We will show how we embed the approach into a process of quality requirement engineering which in turn can be embedded into every requirements elicitation process. We also show a mapping of requirements modeled with the QMM to another requirements model, which fulfills some basic properties. Then we will discuss the maintenance of the QMM and give an idea of how to map conventional RE models to QMM. We show the applicability of this approach within a case study, which is based on real industrial projects. Therefore, we insert security requirements that had been elicited within a real project into a repository, which is structured using the QMM. Next, we show how a suitable subset of these requirements can be inferred and used for another project, which is described, by parameters and goals. A case study that was conducted at the company Capgemini sd&m shows the benefits in time, costs and quality. Finally, a prototype is shown that allows the collection and reuse of quality requirements using the QMM approach.

Markus Luckey: Automatic Propagation of Model Updates in the Spreadsheet Paradigm. Type: Bachelor Thesis, bachelorthesis (2007)
Show Bibtex

@mastersthesis{Luc07, author = {Markus Luckey}, title = {Automatic Propagation of Model Updates in the Spreadsheet Paradigm}, year = {2007}, type = {bachelorthesis} }