Markus Luckey, M.Sc.

Wissenschaftlicher Mitarbeiter

Universität Paderborn Fakultät für Elektrotechnik, Informatik und Mathematik Institut für Informatik Zukunftsmeile 1 33102 Paderborn GPG Key: 73AD00B2   vcard
Office:	ZM1.03-08
Phone:	+49 5251 - 60 - 3844
Fax:	+49 5251 - 60 - 3431
Email:	luckey[at]upb.de

Research

Research Interests

The focus of my research within our group is the specification and analysis of Self-Adaptive Software Systems. This specific class of systems observes itself and its environment and adapts itself in reaction to specific events.

In detail we identified a lack of specification methods and techniques in the early design of self-adaptive systems, especially in connection with UML-based modeling approaches. Therefore, we employ a UML use case based language, coined Adapt Case Modeling Language (ACML), that enables the explicit and separated specification of adaptation relevant aspects including the adaptation rules within a dedicated modeling view. Further, we define formal semantics for the ACML to enable the early quality assurance, i.e. the detection of self-adaptation related properties such as stability or deadlock freedom. The most important goal of this quality assurance approach is the complete transparency of formal assurance approaches (i.e. model checking) to the user.

In the context of this research activity, I am particularly interested in concern-specific modeling languages in general. Therefore, we presented and discussed the ACML approach at the Modeling (2012, 2013) and CMA (2012) Community, in particular concerning the composition and reuse of models.

For further information, please see our description on the research field Self-Adaptive Software Systems.

Besides, I am interested in End-User Development for Spreadsheets, where we developed a UML-based approach to model and execute type safe spreadsheet applications. Further, I am working on Model Change Management for Business Processes.

Upcoming Events

Review Activities

• International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (2011, 2012, 2013)
• International Conference on Objects, Models, Components and Patterns (TOOLS) (2011)
• International Conference on Fundamental Approaches to Software Engineering (FASE) (2011)
• European Conference on Modelling Foundations and Applications (ECMFA) (2011)
• European Conference on Software Maintenance and Reengineering (CSMR) (2011)
• International Conference on Software Language Engineering (SLE) (2009, 2010)
• ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) (2009, 2010, 2012)
• International Conference on Business Process Management (BPM) (2010)
• IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (2010, 2011, 2012)
• International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT) (2010)
• Software Engineering Conference (SE) (2010)
• International Conference on Complex, Intelligent and Software-Intensive Systems (CISIS) (2010)
• International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) (2010)

Awards

Christian Gerth, Markus Luckey, Jochen Küster, 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 Abstract]

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.

[PDF] [Show BibTeX]

@inproceedings{GerthSCC10,
  author = {Christian Gerth AND Markus Luckey AND Jochen K{\"u}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.},
  abstract = {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.}
}

[DOI]

Christian Gerth, Jochen Küster, Markus Luckey, Gregor Engels: Precise Detection of Conflicting Change Operations using Process Model Terms. In D.C. Petriu, N. Rouquette, and Ø. Haugen (eds.): 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 Abstract]

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.

[PDF] [Show BibTeX]

@inproceedings{GerthModels10,
  author = {Christian Gerth AND Jochen K{\"u}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},
  editor = {D.C. Petriu, N. Rouquette, and {\O}. Haugen},
  pages = {93--107},
  publisher = {Springer},
  address = {Berlin/Heidelberg},
  month = {October},
  note = {ACM Distinguished Paper Award MODELS 2010.},
  abstract = {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 computationof 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 resolvingconflicts.},
  series = {LNCS},
  volume = {6395}
}

[DOI]