Software Engineering verteilter Systeme

Software Engineering
verteilter Systeme
Hauptseminar im WS 2011 / 2012
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
Model-based Testing (MBT)
› Christian Saad (1-2 students)
Context
› Models (e.g. State Machines) are used to define a system‘s behavior
› Test cases can be generated by following different paths in the model
› Not all possible tests should be executed, only *good* ones
Part 1: Theory
› Short introduction to Model-based Testing
› Discussion of relevant metrics for evaluating a given set of tests
› For example: % of states covered, distinctiveness of elements, …
Part2: Implementation
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
Requirements Engineering
› Christian Saad
Context
› Requirement Management is an important part of modern Software
Engineering processes
› Requirements that are only written down in text form are difficult to
manage
Theory
› Short introduction to Requirements Engineering in SE processes
› Survey of current tools and technologies in this area
› Description of model-based RE using the ReqIF modeling standard
Techniques/Tools
› Eclipse Requirements Modeling Framework (http://eclipse.org/rmf/)
› OMG ReqIF Specification (http://www.omg.org/spec/ReqIF/)
› IBM Rational Doors (http://www-01.ibm.com/software/awdtools/doors/)
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
Textual DSL Editors with Xtext vs. MPS
› Raphael Romeikat
Context of domain-specific languages (DSLs)
› What are DSLs
› Abstract syntax: defines the structure of the models (metamodel)
› Concrete syntax: defines how the models look like (notation)
Frameworks for textual DSL editors
› Xtext (http://www.eclipse.org/Xtext/)
› MPS (http://www.jetbrains.com/mps/)
› Comparison
Implementation
› One example with both frameworks
› Personal experience
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
Textual DSL Editors with TEF vs. Monticore
› Raphael Romeikat
Context of domain-specific languages (DSLs)
› What are DSLs
› Abstract syntax: defines the structure of the models (metamodel)
› Concrete syntax: defines how the models look like (notation)
Frameworks for textual DSL editors
› TEF (http://www2.informatik.hu-berlin.de/sam/meta-tools/tef/tool.html)
› Monticore (http://www.monticore.de/)
› Comparison
Implementation
› One example with both frameworks
› Personal experience
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
Collaborative Ontology Design
› Wolf Fischer
Overview
› Ontology „Shared Conceptualization“
› „Endless“ discussions for creating an ontology
› Tool support could facilitate ontology design process
Tasks
› Become familiar with Ontologies, Ontology Design, etc.
› Create prototype
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
Controlled Natural Language for Software Requirements
› Wolf Fischer
Overview
› Controlled Natural Language is a simplification of Normal Natural
Language (Simplified Syntax, Controlled Vocabulary, etc.)
› Easier for computers to parse, relatively easy for humans to use
› Good for mapping syntax to semantic
› Ideal for Software Requirements
Tasks
› Become familiar with CNLs
› Create a CNL for Software Requirements
› Realize within BRM-S
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
OWL 2 BRM-S Transformation
› Wolf Fischer
Overview
› OWL: De-facto ontology standard
› BRM-S: Bridging natural language and ontologies
› Transforming OWL information within an BRM-S model
Tasks
› Become familiar with OWL, BRM-S, GMF, Eclipse
› Create a prototypical transformation from OWL to BRM-S
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
Safety & Security Analysis Techniques
› Benjamin Honke
Focus
› Techniques to analyze Safety & Security properties
» FMEA, FMECA, FTA, (A)SIL
› Relevant Norms & Standards
» (ISO 26262, IEC 61508, DO 178 B/C, ARP 4754)
State of the Art analysis
› Software System Safety Handbook
› NASA Software Safety Guidebook
› …
Showcase Evaluation
27.10.2011
© PvS, 2011
Seminarthema
Programming Distributed Systems Lab
Process Coordination Paradigms
› Benjamin Honke
Context
› Process models are more than „paperware“
› Process model can be used for
» Enactment – project setup
» Execution – project coordination (activity-centric vs. artifact-centric)
Tasks
› Literature research
› State of the Art Analysis
› Comparison of different approaches
27.10.2011
© PvS, 2011
Organisatorisches
Programming Distributed Systems Lab
Bewerbung
Email an Betreuer (http://www.informatik.uni-augsburg.de/lehrstuehle/swt/vs/mitarbeiter/)
Name, Matrikelnummer, Studiengang, Semester
Bereits gehörte Vorlesungen und Seminare im Hauptstudium
Gegebenenfalls weitere qualifizierende Vorkenntnisse
Drei priorisierte Themenwünsche
STUDIS
Zusätzliche Anmeldung in STUDIS ist zwingend erforderlich
Seminararbeit
Formatvorlage auf der PvS-Website (Springer LNCS, LaTeX)
Umfang: 15-20 Seiten (exkl. Anhang)
Abgabe aller für die Kompilierung notwendigen Ressourcen + Arbeit im PDF-Format
Seminarvortrag
Formatvorlage auf der PvS-Website (PowerPoint, andere Programme erlaubt)
Dauer: ca. 45 min / Person (35-40 min Vortrag, 5-10 min Diskussion)
Anrechung des Seminars
Alle Themen können in den Bereich Software Engineering eingebracht werden
27.10.2011
© PvS, 2011
Termine
Programming Distributed Systems Lab
Kickoff-Meeting:
Bewerbungsschluss:
Verteilung der Themen:
27.10.2011
04.11.2011
11.11.2011
Versand von Literaturhinweisen
Anmeldung in STUDIS:
1. Besprechung:
offizieller Zeitraum
09.12.2011 (spätestens)
Literaturüberblick abgeschlossen
Grobgliederung erstellt
2. Besprechung:
20.01.2012 (spätestens)
Feingliederung erstellt
Seminararbeit ~90% geschrieben
Abgabe der Seminararbeiten:
Abgabe der Foliensätze:
Seminarvorträge:
29.02.2012 (spätestens)
02.03.2012 (spätestens)
05.-09.03.2012
27.10.2011
© PvS, 2011