Upload
others
View
1
Download
0
Embed Size (px)
Citation preview
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
Jun.-Prof. Dr.-Ing. Steffen Becker Model-Driven Software Engineering Software Engineering Group
1
Seminar „Model-Based Quality Engineering“
WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
Outline
2 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
Basic Requirements
Preliminary Dates
Seminar Guidelines
Presentation of the Topics
16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
Basic Requirements
§ Completion of a seminar thesis in English (approx. 20 pages written in LaTeX)
§ Design and run a presentation
§ Presentation is 20 min, to be held in a block seminar (presumably between 01.02.-15.02.2014)
§ Internal peer-review among the students, but also review by your supervisor
3 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
Preliminary Dates
§ Tu, 15.10., 16:00: Topic presentation § We, 23.10., 16:30: Final topic assignment, introduction to scientific
working
The following dates have their deadline 23:59 MEZ: § Su, 24.11.: Outline and literature references (student) § Su, 08.12.: Seminar thesis for review (student) § Tu, 10.12.: Assignment of peer reviews (supervisors) § Su, 15.12.: Completed peer-review (student) § Su, 12.01.: Presentation for supervisor feedback (student) § Su, 19.01.: Supervisor feedback: presentation (supervisors) § Su, 23.02.: Camera-ready version of thesis (student) § Su, 02.03.: Supervisor feedback: thesis (supervisors) § Su, 16.03.: Final hand-in of thesis (student) Presentations (block seminar): 01.02.-15.02.2014
4 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
Seminar Guidelines
§ Wednesday, 23.10., 16:30 in room ZM1.02-48: Final topic assignment and seminar rules – Participation is mandatory
§ Rules to create thesis and presentations § Next week § Use templates introduced next week for LaTeX and
Powerpoint
5 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
Topic Selection
§ We will use a Doodle poll with three options: yes, maybe, no
§ We try to minimize conflicts § Final conflict resolution is First-Come, First-Served § Poll will be opened tomorrow morning
§ We have 12 topics § Topics will be assigned with priorities according to a
random shuffled order of all registered participants
6 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
7
Motivation for the Seminar
WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
Model-Based Quality Engineering
• Models are not central, but second-class artefacts
• Models typically serve for analyses and documentation purposes
Model-Based
• Internal, external or process quality • Is achieved by analyzing models upfront • Constructive Quality Assurance
Quality Engineering
8 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
9
Topics
WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
1. Model Driven Testing and Gamification
10 16.10.13 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
§ Your task: § Investigate charaterics of model-driven testing and gamification § Propose potential scenarios in which gamification could help with model driven testing
§ Literature: § Webb, Erika Noll. "Gamification: When It Works, When It Doesn’t." Design, User Experience,
and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience. Springer Berlin Heidelberg, 2013. 608-614.
§ Mussa, Mohamed, et al. "A survey of model-driven testing techniques." Quality Software, 2009. QSIC'09. 9th International Conference on. IEEE, 2009.
§ Supervisor: Jinying Yu
§ Model Driven Testing: tedious, time-comsuming
§ Game: interesting, engaging
§ Gamification: the use of game design elements in non-game context
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
2. QoS and Software Adaptability
11 16.10.13 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
§ Your task: § Research influence of software adaptations on QoS
§ Literature: § D. Perez-Palacin, R. Mirandola, J. Merseguer: On the relationships between QoS and software
adaptability at the architectural level. In: Journal of Systems and Software, Elsevier, 2013.
§ Supervisor: Matthias Becker
§ Quality-of-Service (QoS), e.g. response time, depends on workload & software design
§ Adapting software design at runtime helps to ensure QoS level
§ Problem: § Which adaptations help to maintain QoS level? § How to build systems that maintain QoS levels
autonomously?
© H
einz
Nix
dorf
Inst
itut,
Uni
vers
ität P
ader
born
12 – 16.10.13
3. Specification and Matching of Service Prices
■ Literature (starting point for your literature search): ■ Kiemes, Oberle: "Service Pricing“ in Handbook of Service Description. Springer 2012
■ Further Literature (address the topic marginally): ■ Overhage: "UnSCom: a standardized framework for the specification of software components" in Object-
Oriented and Internet-Based Technologies. Springer Berlin Heidelberg, 2004. ■ Küster et al.: "Diane: an integrated approach to automated service discovery, matchmaking and
composition" in Proceedings of the 16th international conference on World Wide Web. ACM, 2007. ■ Foster et al.: "Model-based verification of web service compositions" in Automated Software Engineering
Proceedings. 18th IEEE International Conference on. IEEE, 2003.
■ Goal of the Seminar: ■ Compare different approaches for specification / matching of service prices
■ Supervisor: Marie Christin Platenius
■ Service matching compares service requests to provided service specifications in order to enable service discovery and service composition
■ Functional and non-functional properties have to match, including service prices (e.g., single use price vs. price-per-hour, …) → complex price models
?
< 50 €
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
4. Survey: Performance Requirements
13 16.10.13 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
§ Your task: § Conduct Literature Review for Performance Requirements Elicitation Methods
§ Literature: § Wohlrab et al.: PROPRE: a method for Practice Oriented Performance Requirement
Engineering, ICSE’14, ACM, 2014 (draft)
§ Supervisor: Matthias Becker
§ Performance requirements are often imprecise § Software projects fail because of performance
issues
§ Problem: § What are (good) performance requirements? § How to specify them? § How to ensure them?
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
5. Synthesis of Components from Distributed Live Sequence Charts (dLSCs)
14 16.10.13 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
§ Goal of the Seminar: § Understand the approach by Fahland and Kantor § Identify assumptions and limitations
§ Literature: § Dirk Fahland and Amir Kantor. 2013. Synthesizing Decentralized Components from a Variant of Live
Sequence Charts. In Modelsward 2013. INSTICC, 2013. § Yves Bontemps, Patrick Heymans, and Pierre-Yves Schobbens. 2005. From Live Sequence Charts to State
Machines and Back: A Guided Tour. IEEE Trans. Softw. Eng. 31, 12 (December 2005), 999-1014.
§ Supervisor: Christian Brenner
§ Synthesis derives an implementation from a specification § Here: dLSCs → Petri-Net Components
§ Live Sequence Charts: formal variant of sequence diagrams
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
6. Domain-specific Model Checking for Mechatronic Systems with UPPAAL PORT
15 16.10.13 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
§ Mechatronic systems require exhaustive verification § Problem: huge gap between domain-specific design and model checkers § UPPAAL PORT is an approach towards domain-specific model checking
Supervisor: Christopher Gerking Literature: John Håkansson et al.: “Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.” In: 6th Int. Symp. on Automated Technology for Verification and Analysis.
§ Your tasks: § Compare UPPAAL PORT to MECHATRONICUML § Assess PORT’s applicability to networked mechatronic systems § Feasibility analysis: model checking MECHATRONICUML with PORT?
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
7. Performance Engineering for Multi-Core Systems
16 16.10.13 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
§ Your task: § Investigate multi-core software engineering challenges § Create a recent survey of reengineering approaches for multi-core systems
§ Literature: § Victor Pankratius, Christoph Schaefer, Ali Jannesari, and Walter F. Tichy. 2008. Software
engineering for multicore systems: an experience report. In Proceedings of the 1st international workshop on Multicore software engineering (IWMSE '08). ACM, New York, NY, USA, 53-60. http://doi.acm.org/10.1145/1370082.1370096
§ Supervisor: Steffen Becker
§ Multi- and Many-Core: > 10 cores even in consumer devices
§ However, old software uses often just 1-2 cores
§ Major reengineering tasks need to be done
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
8. Agile Model Driven Web Engineering
17 16.10.13 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker
§ Goals of the Seminar: § Understand both Agile approach and model driven web engineering approach § Identify existing hybrid approaches
§ Literature: § Ambler, Scott W. "Agile model driven development is good enough." Software, IEEE 20.5 (2003): 71-73. § Moreno, Nathalie, José Raúl Romero, and Antonio Vallecillo. "An overview of model-driven Web engineering
and the MDA." Web Engineering: Modelling and Implementing Web Applications. Springer London, 2008. 353-382.
§ Rivero, José Matías, et al. "Towards agile model-driven web engineering." IS Olympics: Information Systems in a Diverse World. Springer Berlin Heidelberg, 2012. 142-155.
§ Supervisor: Jinying Yu
Model Driven Web Engineering facilitates portability, abstraction and productivity
§ Agile Approach provides constant interaction with customers and enhances former prototypes continuously
© Fraunhofer IPT / Heinz Nixdorf Institut Folie 18
n Mostly documented as plain text, sometimes little illustrations
n difficult to comprehend, analyse, verify and ensure completeness and consistency
n Solution: graphical model
n Your task: n Present architecture evolution approach and compare with existing
architecture decision making approaches
n Literature: n Marcin Szlenk, Andrzej Zalewski, and Szymon Kijas. 2012. Modelling Architectural Decisions
under Changing Requirements. In Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA-ECSA '12). IEEE Computer Society, Washington, DC, USA, http://dx.doi.org/10.1109/WICSA-ECSA.212.31
n Supervisor: Claudia Priesterjahn
9. Modelling Architectural Decisions
© Fraunhofer IPT / Heinz Nixdorf Institut Folie 19
10. Software Architecture Erosion n Usually code gets large
n -> growing deviations from intended design, because of changing requirements
n Erosion: software gets hard to test, comprehend, and extend
n Need to control erosion n Your task:
n Present foundations on software erosion
n Compare methods presented in paper due to most important capabilities
n Present methods selected by your own criteria
n Literature: n Lakshitha de Silva, Dharini Balasubramaniam, Controlling software architecture erosion: A survey,
Journal of Systems and Software, Volume 85, Issue 1, 2012, http://dx.doi.org/10.1016/j.jss.2011.07.036.
n von Detten, Markus; Platenius, Marie Christin; Becker, Steffen: Reengineering Component-Based Software Systems with Archimetrix. Journal of Software and Systems Modeling 2013
n Supervisor: Claudia Priesterjahn
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
11. Assessing the Quality of Model-to-Model Transformations
20 16.10.13 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker
§ Model transformation is core enabling technology for MDSE
Supervisor: Sebastian Lehrig, Jan Rieke Literature: • M. F. van Amstel: Assessing and Improving the Quality of Model Transformations. PhD thesis, 2011 • S. Lehrig: Assessing the Quality of Model-to-Model Transformations Based on Scenarios, Master’s Thesis,
2012
§ Problem: No established engineering methods for developing M2M transformations § Which transformation technology to use? § Quality of the implemented transformation?
§ Your tasks: § Systematic literature overview § Comparison of existing quality assessment approaches § Towards an engineering approach for M2M based on quality assessment
12. Modeling the Cloud • Cloud Compu)ng:
– On-‐demand access to compu)ng resources – Pay-‐per-‐use price model
• Modeling approaches are emerging • Goals of the Seminar:
à Analyze given approaches, find other approaches, and compare
• Star)ng Points: – hBp://www.planforcloud.com/ – hBp://www.bmc.com/solu)ons/cloud-‐compu)ng/cloud-‐compu)ng-‐
management/ – hBp://www.ca.com/us/cloud-‐plaGorm.aspx – hBp://www.madeiracloud.com/ – hBp://aws.amazon.com/de/cloudforma)on/
• Supervisor: Sebas)an Lehrig 16.10.13 WS13/14, Seminar Model-‐Based Quality
Engineering -‐ Jun.-‐Prof. S. Becker 21
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
13. Using the OPC UA Information Model for MechatronicUML
22 WS12/13, Seminar CloudComputing and Services - Jun.-Prof. S. Becker 16.10.13
§ Your task: § Study the MechatronicUML Component Model and the OPC UA Information Model § Create a relation of MechatronicUML Component Model with an instance of the OPC
UA Information Model § Literature: § MAHNKE, WOLFGANG ; LEITNER, STEFAN-HELMUT ; DAMM, MATTHIAS: OPC Unified
Architecture. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 — ISBN 978-3-540-68898-3
§ BECKER, S ; BRENNER, C ; BRINK, C ; DZIWOK, S ; LÖFFLER, R ; HEINZEMANN, C ; POHLMANN, U ; SCHÄFER, W ; SUCK, J ; ET AL.: The MechatronicUML Design Method - Process, Syntax, and Semantics, 2012
§ Supervisor: Uwe Pohlmann
§ MechatronicUML supports a complex software component model
§ OPC UA provides a specification for data exchange in industrial automation
© S
oftw
are
Eng
inee
ring
Res
earc
h G
roup
, Hei
nz N
ixdo
rf In
stitu
te, U
nive
rsity
of P
ader
born
14. Timing Requirements in Automotive Systems
§ Two architecture „languages“ for automotive systems § §
§ Allow to specify model-based timing requirements for automotive systems on different abstraction levels
§ Goal of the seminar
§ understand overall methodology § investigate,
• how timing requirements are refined across hierarchy levels • how they relate to functional requirements
§ Literature § TIMMO Project:
TADL: Timing Augmented Description Language Version 2 http://www.timmo-2-use.org/timmo/pdf/D6_TIMMO_TADL_Version_2_v12.pdf
§ EAST-ADL Consortium: Specification EAST-ADL V2.1.11 http://east-adl.info/Specification/V2.1.11/EAST-ADL-Specification_V2.1.11.pdf
§ AUTOSAR: Specification of Timing Extensions http://www.autosar.org/download/R4.1/AUTOSAR_TPS_TimingExtensions.pdf
§ Supervisor: Jörg Holtmann
23 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker 16.10.13
http://www.maenad.eu/public_pw/ conceptpresentations/MAENAD_Timing_2011.pdf
EAST-ADL Timing Requirements/ AUTOSAR Timing Extensions