Education

Professional Activities

Auszeichnungen

Gregor Engels, Daniela Fisseler, Christian Soltenborn:   Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding.  In R. DeLine, M. Minas, M. Erwig (eds.): Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA). IEEE Computer Society (Piscataway, NJ (USA)), pp. 39-46 (2009). Best Paper of VL/HCC (2009) 
 

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.

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)

Memberships

• GI, ACM

Publikationen

Zeitschriftenbeiträge (4)

Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann:  Model-based development of Web service descriptions enabling a precise matching concept.  In International Journal of Web Services Research, vol. 2, no. 2, pp. 67-85. Idea Group Publishing (2005) 
 

Ernst-Erich Doberkat, Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Jörg Pleumann, Jens Schröder:  Software Engineering and eLearning: The MuSofT Project.  In e-learning and education (eleed) Journal, vol. 2. FernUniversität Hagen, CampusSource (2005) 
 

Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:  Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.  In Software and Systems Modeling, vol. 3, no. 3, pp. 181-193. Springer (Berlin/Heidelberg) (2004) 
 

Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann:  eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen.  In Prof. Dr. W. Weber (eds.): ForschungsForum Paderborn, vol. 6, pp. 44-47. (2003) 
 

Rezensierte Konferenzbeiträge (11)

Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer:  Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.  In J.-M. Bruel (eds.): Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica). Springer (Berlin/Heidelberg), LNCS, vol. 3844 / 2006, pp. 306-319 (2006) 

Tim Schattkowsky, Jan Hendrik Hausmann, Gregor Engels:  Using UML Activities for System-on-Chip Design and Synthesis. In O. Nierstrasz, J. Whittle, D. Harel, G. Reggio (eds.): Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy). Springer (Berlin/Heidelberg), LNCS, vol. 4199/2006, pp. 737-752 (2006) 

Harald Störrle, Jan Hendrik Hausmann:  Towards a Formal Semantics of UML 2.0 Activities.   In P. Liggesmeyer, K. Pohl, M. Goedicke (eds.): Software Engineering. Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics, vol. 64, pp. 117-128 (2005) 

Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann:  Model-based Discovery of Web Services.  In Proceedings of the IEEE International Conference on Web Services (ICWS 2004). IEEE Computer Society (Washington, DC, USA), pp. 324-331 (2004) 

Jan Hendrik Hausmann, Stuart Kent:  Visualizing model mappings in UML.  In Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA). ACM Press (New York, NY, USA), pp. 169-178 (2003) 

Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer:  Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation.  In Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA). ACM Press (New York, NY, USA), pp. 105-155 (2002) 

Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:  Testing the Consistency of Dynamic UML Diagrams.  In Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA). (2002) 

Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:  Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.  In Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy). IEEE Computer Society (Washington, DC, USA), pp. 80-87 (2001) 

Jan Hendrik Hausmann, Reiko Heckel:  Use Cases as views: A formal approach to Requirements engineering in the Unified Process.  In K.Bauknecht, W. Brauer, Th. A. Mück (eds.): Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich). Österreichische Computer Gesellschaft (Wien (Österreich)), vol. 1, pp. 595-599 (2001) 

Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:  Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.  In A. Evans, S. Kent, B. Selic (eds.): Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK). Springer (Berlin/Heidelberg), LNCS, vol. 1939, pp. 323-337 (2000) 

Jan Hendrik Hausmann:  Graphtransitionsregeln zur Beschreibung der Semantik von UML.  In Proceedings of the Informatiktage 2000, Bad Schussenried (Germany). Konradin Verlag (Leinfelden - Echterdingen), pp. 103-107 (2000) 

Rezensierte Workshopbeiträge (8)

Tim Schattkowsky, Jan Hendrik Hausmann, Achim Rettberg:  Using UML Activities for Synthesis on Reconfigurable Hardware. In Proceedings of the UML for SoC Design Workshop. (2005) 

Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel:  Design of an Agent-Oriented Modeling Language Based on Graph Transformation. In J. Pfaltz, M. Nagl, B. Bhlen (eds.): Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Charlottesville, VA (USA). Springer (Berlin/Heidelberg), LNCS, vol. 3062, pp. 106-119 (2003) 

Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer: Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. In P. Bottoni, M. Minas (eds.): Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain). Elsevier, Electronic Notes in Theoretical Computer Science, vol. 72, no. 3, pp. 133-144 (2003) 

Jan Hendrik Hausmann: Metamodeling Relations - Relating Metamodels. In Proceedings of the Metamodelling for MDA workshop, York (UK). University of York, pp. 147-161 (2003) 

Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann:  Towards Automatic Selection of Web Services Using Graph Transformation Rules. In R. Tolksdorf, R. Eckstein (eds.): Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany). XML-Clearinghouse, pp. 286-291 (2003) 

Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:  Extended Model Relations with Graphical Consistency Conditions.  In L. Kuzniarz, G. Reggio, J. Louis Sourrouille, Z. Huzar (eds.): Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany). Department of Software Engineering and Computer Science, Blekinge Institute of Technology, pp. 61-74 (2002) 

Jan Hendrik Hausmann, Jochen Küster, Stefan Sauer:  Identifiying Semantic Dimensions of (UML) Sequence Diagrams. In A. Evans, R. France, A. Moreira, B. Rumpe (eds.): Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada). Gesellschaft für Informatik (GI) (Bonn), Lecture Notes in Informatics, vol. 7, pp. 142-157 (2001) 

Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer:  Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung.  In H. Giese, S. Philippi (eds.): Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany). (2000) 

Technische Berichte (1)

Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer:  Teaching UML is Teaching Software Engineering is Teaching Abstraction.  Technical Report . Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn (2005) 
 

Dissertationen (1)

Jan Hendrik Hausmann:  Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages.  PhD thesis, University of Paderborn (2005) 
 

Diplomarbeiten (1)

Jan Hendrik Hausmann:  Dynamische Metamodellierung zur Spezifikation einer operationalen Semantik von UML. Diploma thesis, University of Paderborn (2001) 
 

Projektgruppenberichte (1)

Katharina Mehner, Annika Wagner, Jan Hendrik Hausmann, Tim Schattkowsky, Wolf-Rüdiger Spielmann, Bernd Weymann:  Aspektorientierte Entwicklung nebenläufiger Systeme.  Student project report. University of Paderborn(1999) 
 

Sonstige (1)

Ernst-Erich Doberkat, Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Christof Veltmann:  Anforderungen an eine eLearning-Plattform -Innovation und Integration.  Study for the Ministry of Science and Research, Northrhine-Westfalia, Germany(2002) 
 

Academic Courses

• Summer 2012: Grundlagen von Datenbanken
• Winter 2011 / 2012: Project Group MEPASO / Softwareentwurf
• Summer 2011: Project Group MEPASO
• Winter 2010 / 2011: Softwareentwurf
• Winter 2009 / 2010: Softwareentwurf
• Summer 2009: Seminar "Neue Ansätze in der Softwarequalitätssicherung"

Current Projects

• Software Engineering 2010 (Conference Organization)
• Software Specification (with HJP Consulting)
• Requirements Specification Method (with Wincor Nixdorf)
• Systems Engineering Method (with Fujitsu Technology Solutions)
• Organization Models for Distributed Platform Development (with PHOENIX Contact)

Diplom-/Masterarbeit | Titel: Cell-based Self-Adaptive Software Architecture

Aufgabenbereich: Adaptive Systems
Status: Abgeschlossen
Bearbeiter: Stefan Raupach
 

Beschreibung:

Adaptive Systems:

Self-Adaptive Systems are the software systems of tomorrow. Self-adaptive systems autonomously react to problems or changes in their environment at runtime in order to maintain their functionality. Types of adaptation include the replacement of components, the configuration of components, or the adaptation of data. For instance, a web application that uses the google image service might autonomously switch to flickr when it recognizes problems with the google service. Concrete problems might be crashing services, lacking service quality, or even errors in the provided service functionality. Giving the system the abilities of self- and context-awareness, several additional fields of application arise. Besides the above describe self-healing abilities, the system may also self-configure dynamically, e.g. to always use the correct location-dependent traffic service. Further, the system may self-optimize, e.g. to always select the cheapest service with the highest possible quality. There are countless numbers of applications that will be used in future software and systems engineering.

Background:

Software architectures and frameworks for self-adaptive software have recently been developed. A popular example is the Rainbow Framework developed at the CMU. Most of these frameworks rely on a rather rigid component model. A different approach uses small software entities (cells) that do not communicate via interfaces but via a blackboard.

Task:

The objective of this thesis is to design and develop a cell-based software architecture for self-adaptive systems. That is, for the cell-based architecture, communication and adaptation patterns have to be identified and designed. The results have to be implemented prototypically.

Note:

You will work in close connection with members of the group. The thesis will be supervised by Markus Luckey. Thesis may be written in English or German. If you are interested please contact us.

Contact:

Markus Luckey
Room: E4.124
Tel: 60-3358
Mail: luckey@upb.de

Vorkenntnisse:

• Willingness to work scientifically, interest in software architecture and adaptivity of software.

Kontakt: Dipl.-Inf. Markus Luckey, Dipl.-Inf. Fabian Christ
Anhang: noch kein Anhang

Diplom-/Masterarbeit | Titel: Context Model for Adaptive Systems

Aufgabenbereich: Adaptive Systems
Status: Abgeschlossen
Bearbeiter: Matthias Becker
 

Beschreibung:
Die Software und Systementwicklung wird heutzutage oft durch modellbasierte Entwicklung unterstützt. Modelle unterstützen den Entwicklungsprozess in allen Phasen, von der Anforderungsdefinition über die Analyse und der technischen Spezifikation bis hin zum Testen. Eine besondere Eigenschaft von Systemen ist Adaptivität. Das System ist in der Lage sich selbständig, aufgrund von Änderungen in der Systemumgebung, anzupassen. Während die UML und SysML die oft genutzten Modellierungssprachen für die Erstellung von Analyse- und Entwicklungsmodellen sind bieten sie keine Unterstützung die adaptiven Aspekte explizit darzustellen und das führt zur Mischung von Adaptions- und Applikationslogik in den zu erstellenden Modellen. Ein Ansatz für die explizite Modellierung der Adaptionslogik, bereits in der Analysephase, bietet die modellbasierte Beschreibung von Adapt-Cases. Mit Adapt-Cases können regelbasierte Anpassungen eines Systems beschrieben werden. Diese Herauslösung der Adaptionslogik aus der Applikationslogik benötigt eine explizite Darstellung der Systemschnittstellen die von der Adaptionslogik genutzt werden können, damit das System auch Anpassungen durchführen kann. Diese Arbeit beschäftigt sich mit der Analyse bestehender Ansätze und der Entwicklung eines formalen Modells, welches den Systemkontext in ausreichender Form darstellt. Eine entsprechende Modellierungssprache zur Erstellung des Modells wird ebenfalls definiert. Auf dieser Basis sollen Adapt-Cases vollständig definiert und dessen Ausführung analysiert werden können. Zusammenfassend sind die Ziele der Arbeit folgende:

1. Definition des Begriffs „Adaptives System“.
2. Analyse der Anforderungen für die Modellierung von adaptiven Systemen, sowie dessen Kontext.
3. Erstellung eines UML-Profils für die Kontext-Modellierung.
4. Nutzung von Meta-Modellierung als formale Grundlage zur Sprachentwicklung.
5. Eingliederung der Erstellung und Nutzung des Kontextmodells im Entwicklungsprozess.
6. Erstellung eines prototypischen Editors für die Erstellung des Kontextmodells.

Vorkenntnisse:

Kontakt: Dipl.-Inf. Markus Luckey
Anhang: noch kein Anhang

Diplom-/Masterarbeit | Titel: Efficient Quality Assurance of Self-Adaptive Systems

Aufgabenbereich: Adaptive Systems
Status: Abgeschlossen
Bearbeiter: Christian Thanos
 

Beschreibung:
An heutige Systeme werden immer stärkere Anforderungen bzgl. der Flexibilität und Robustheit gestellt. Eine mögliche Lösungsalternative ist die Einführung von Selbst-Adaptivität in das System, also die Fähigkeit sich selbstständig an Ereignisse im Umfeld und im System selbst anzupassen. Um solche Systeme ingenieursmäßig planen zu können, existieren Modellierungssprachen wie die Adapt Case Modeling Language (ACML). Eine geeignete Modellierungssprache kann die Komplexität heutiger Systeme nur zum Teil vermindern. Um trotzdem qualitativ hochwertige System zu bauen, werden Qualitätssicherungsverfahren eingeführt, die bereits früh während der Entwicklung zum Einsatz kommen. In Verbindung mit der ACML existiert ein Qualitätssicherungsansatz, genannt QUAASY, der auf Model-Checking-Verfahren beruht. Solche Verfahren haben jedoch das Problem eines explodierenden State Spaces und der damit fehlenden Skalierbarkeit für große Modelle. Ziel dieser Arbeit war den QUAASY Ansatz zu optimieren. Dazu sollten sowohl gängige Ansätze im Bereich des Model-Checkings als auch spezifische Optimierungen auf Basis der zugrunde liegenden Sprache (ACML) und der einhergehenden Semantik für selbst-adaptive Systeme berücksichtigt werden. Die Optimierungen an QUAASY sollten prototypisch implementiert und mit dieser Implementierung evaluiert werden.

Vorkenntnisse:

Kontakt: Dipl.-Inf. Markus Luckey
Anhang: noch kein Anhang

Diplom-/Masterarbeit | Titel: Efficient Quality Assurance of Self-Adaptive Systems

Aufgabenbereich: Dynamic Meta Modeling
Status: Abgeschlossen
Bearbeiter: Christian Thanos
 

Beschreibung: An heutige Systeme werden immer stärkere Anforderungen bzgl. der Flexibilität und Robustheit gestellt. Eine mögliche Lösungsalternative ist die Einführung von Selbst-Adaptivität in das System, also die Fähigkeit sich selbstständig an Ereignisse im Umfeld und im System selbst anzupassen. Um solche Systeme ingenieursmäßig planen zu können, existieren Modellierungssprachen wie die Adapt Case Modeling Language (ACML). Eine geeignete Modellierungssprache kann die Komplexität heutiger Systeme nur zum Teil vermindern. Um trotzdem qualitativ hochwertige System zu bauen, werden Qualitätssicherungsverfahren eingeführt, die bereits früh während der Entwicklung zum Einsatz kommen. In Verbindung mit der ACML existiert ein Qualitätssicherungsansatz, genannt QUAASY, der auf Model-Checking-Verfahren beruht. Solche Verfahren haben jedoch das Problem eines explodierenden State Spaces und der damit fehlenden Skalierbarkeit für große Modelle. Ziel dieser Arbeit war den QUAASY Ansatz zu optimieren. Dazu sollten sowohl gängige Ansätze im Bereich des Model-Checkings als auch spezifische Optimierungen auf Basis der zugrunde liegenden Sprache (ACML) und der einhergehenden Semantik für selbst-adaptive Systeme berücksichtigt werden. Die Optimierungen an QUAASY sollten prototypisch implementiert und mit dieser Implementierung evaluiert werden.

Vorkenntnisse:

Kontakt: Dipl.-Inf. Markus Luckey
Anhang: Noch kein Anhang

Diplom-/Masterarbeit | Titel: Evaluation of Adapt Cases

Aufgabenbereich: Adaptive Systems
Status: Abgeschlossen
Bearbeiter: Adnan Biser
 

Beschreibung:
Adaptive Systems: Self-Adaptive Systems are the software systems of tomorrow. Self-adaptive systems autonomously react to problems or changes in their environment at runtime in order to maintain their functionality. Types of adaptation include the replacement of components, the configuration of components, or the adaptation of data. For instance, a web application that uses the google image service might autonomously switch to flickr when it recognizes problems with the google service. Concrete problems might be crashing services, lacking service quality, or even errors in the provided service functionality. Giving the system the abilities of self- and context-awareness, several additional fields of application arise. Besides the above describe self-healing abilities, the system may also self-configure dynamically, e.g. to always use the correct location-dependent traffic service. Further, the system may self-optimize, e.g. to always select the cheapest service with the highest possible quality. There are countless numbers of applications that will be used in future software and systems engineering. Background: Requirements that describe the adaptivity of software differ from conventional requirements such that they contain more domain-specific information. For instance, the description of a system that adds server to a server farm to adjust a system's performance must contain information about how to measure the system's performance, what the performance boundaries are, etc. Therefore, in our Research Group, we developed a new modeling approach termed Adapt Cases, which is an extension of the Use Case approach, to describe adaptation requirements. Task: The objective of this thesis is to evaluate Adapt Cases on applicability and usability. That is, Adapt Cases shall be applied to different software requirements specifications. The meta-model has to be adjusted if needed and an intuitive notation for Adapt Cases shall be elaborated. What you get: very good supervision, skills in current software engineering trends Note: You will work in close connection with members of the group. The thesis will be supervised by Markus Luckey. Thesis may be written in English or German. If you are interested please contact us.

Vorkenntnisse:

• Willingness to work scientifically, interest in requirements engineering and adaptivity of software.

Kontakt: Dipl.-Inf. Markus Luckey
Anhang: noch kein Anhang

Diplom-/Masterarbeit | Titel: Modeling Structural and Behavioral Adaptation of Software Systems

Aufgabenbereich: Adaptive Systems
Status: Abgeschlossen
Bearbeiter: Felix Mutz
 

Beschreibung:
An heutige Systeme werden immer stärkere Anforderungen bzgl. der Flexibilität und Robustheit gestellt. Eine mögliche Lösungsalternative ist die Einführung von Selbst-Adaptivität in das System, also die Fähigkeit sich selbstständig an Ereignisse im Umfeld und im System selbst anzupassen. Um solche Systeme ingenieursmäßig planen zu können, ist eine Modellierungssprache vorgeschlagen worden, die Adapt Case Modeling Language (ACML). Sie erlaubt die Modellierung von sogenannten Adaptionsregeln (Adapt Cases) zur Beschreibung von Parameter- und einfachen Struktur-Anpassungen auf Basis eines auf dem System Modell definierten Adaptionssicht (Context Model). Eine spezifische Weiterentwicklung erlaubt die Nutzung der Adapt Cases zur Beschreibung von Anpassungen von Geschäftsprozessmodellen (Verhaltensadaptation). Diese Adapt Cases werden Busines Process Adapt Cases (BPAC) genannt. Ziel dieser Arbeit war, die positiven Elemente beider Sprachen zu vereinen und um die Fähigkeit von Adaptation auf Typebene zu erweitern. Adaption auf Typebene erlaubt eine sauberere Definition von Adaptationsregeln, d.h. unterstützt insbesondere die Vermeidung von Mischung der Adaptationslogik mit der eigentlichen Applikationslogik. Die resultierende Sprache soll im Sinne der UML textuell ausführlich beschrieben werden, inklusive textueller Semantikbeschreibung. Anhand einer Fallstudie ist zu zeigen, wie die resultierende Sprache für die Modellierung eines selbst-adaptiven Systems einzusetzen ist.

Vorkenntnisse:

Kontakt: Dipl.-Inf. Markus Luckey
Anhang: noch kein Anhang

Diplom-/Masterarbeit | Titel: Qualitätssicherung selbst-adaptiver Systeme

Aufgabenbereich: Adaptive Systems
Status: Abgeschlossen
Bearbeiter: Dominik Vogel
 

Beschreibung:
Im Rahmen der Entwicklung adaptiver Systeme wird der frühen Qualitätssicherung heutzutage wenig Beachtung geschenkt. Dies kann dazu führen, dass Fehler, die im logischen Design adaptiver Systeme eingeführt werden, erst sehr spät und unter Umständen erst zur Laufzeit entdeckt werden. In der FG Engels wurde ein Ansatz entwickelt, der die Modellierung und Qualitätssicherung selbst-adaptiver Systeme im logischen Design unterstützt. Die dazu entwickelten Adapt Cases sind eine auf UML Use Case basierende Sprache zur Spezifikation von Adaptivität. Der Qualitätssicherungs-Ansatz basiert auf DMM Semantik Spezifikationen und Model-Checking mittels des Tools Groove. Ziel der Arbeit ist

• die DMM Semantik für die Metamodelle der Adapt Cases zu vervollständigen um den kompletten Sprachumfang abzudecken,
• die Qualitätseigenschaften Deadlockfreiheit und Stabilität in LTL zu formulieren,
• ein Beispielsystem zu modellieren
• und ein lauffähiges Eclipse Plug-In zu implementieren, das die Überprüfung der Qualitätseigenschaften auf dem Beispielsystem zeigt.

Vorkenntnisse:

Kontakt: Dipl.-Inf. Markus Luckey
Anhang: noch kein Anhang

Diplom-/Masterarbeit | Titel: Realization of Adaptation for Business Processes

Aufgabenbereich: Adaptive Systems
Status: Abgeschlossen
Bearbeiter: Tamas Miklossy
 

Beschreibung:
In the today’s software development the modelling phase becomes more and more sig- nificant where the software system can be described from different views and on differ- ent abstraction levels. These models can later be used to generate code from them to build high-quality software systems. One of these model-based approaches is the Business Process Modelling, where the software system is modelled focusing on the order of the execution of different activities composing the Business Logic. Besides, it is offen desired, that not only the pure Business Logic, but also the Adapta- tion Logic could be specified. It would enable to describe what should happen in case of a system malfunction to bring back the system in a desired state. The best would be, if this approach could be specified in such a way that its realization happens automatically (without any human interaction). In order to realize that, a Domain Specific Language called Adapt Cases has been developed at the University of Paderborn, to enable the separate modelling of the adaptation logic. This DSL was further refined within the project group MePaso to enable a more precise description of the adaptation of Busi- ness Processes, the so called Business Process Adapt Cases (BPAC) was developed. The BPAC language provides several adapt case action specifications to describe adaptation of service-bound business processes on both the process and the service-level. From these BPAC models the adaptation logic can be derived and implemented by software engineers. One improvement could be to derive the implementation of BPAC models automatically. The goal of this master thesis is to realize the adaptation of Business Processes, thus to enable the execution of BPAC instances on Business Process instances. In order to do that, first of all, the different model-based techniques should be investigated (code generation, model interpretation) and determined, which of them fits the best to the Business Processes and to the Business Process Adapt Cases. After that, the different BPAC Actions should be examined, some of them selected and implemented in a prototype way. One such a service-level action is to replace a webservice with an other one in case if it is not available. At the end, the adaptation realization should be presented in an example scenario (Car Window Insurance Software System) provided by the industrial partner Capgemini.

Vorkenntnisse:

Kontakt: Dipl.-Inf. Markus Luckey
Anhang: noch kein Anhang

Diplom-/Masterarbeit | Titel: Simulation of Adaptation Requirements

Aufgabenbereich: Adaptive Systems
Status: Abgeschlossen
Bearbeiter: offen
 

Beschreibung:

Adaptive Systems:

Background:

Requirements that describe the adaptivity of software differ from conventional requirements such that they contain more domain-specific information. For instance, the description of a system that adds server to a server farm to adjust a system's performance must contain information about how to measure the system's performance, what the performance boundaries are, etc. In our Research Group, we developed a meta-model to describe so called adaptation requirements. For large systems, a requirements specification that detailed describes adaptivity becomes very large and unmanageable. Therefore, mistakes in the specification can easily be overseen and cause extensive costs in later stages of software development. For this reason, it is desirable to early simulate the software solely on the basis of the requirements specification and thus being able to early detect mistakes.

Task:

The objective of this thesis is to develop a simulation environment for adaptivity requirements. This includes the evaluation and if needed the extension of a meta-model that describes adaptivity requirements. This meta-model will be used for the conception of the simulation environment. Additionally, a methodology to specify and simulate adaptivity requirements will be created.

Note:

You will work in close connection with members of the group. The thesis will be supervised by Markus Luckey. Thesis may be written in English or German. Questions and applications are received with pleasure.

Contact:

Markus Luckey
Room: E4.124
Tel: 60-3358
Mail: luckey@upb.de

Vorkenntnisse:

Kontakt: Dipl.-Inf. Markus Luckey
Anhang: noch kein Anhang