Seminar Model-Based Quality Engineering Jun.-Prof. Dr.-Ing. Steffen Becker Model-Driven Software Engineering Software Engineering Group WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 1
Outline Basic Requirements Preliminary Dates Seminar Guidelines Presentation of the Topics WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 2
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 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 3
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 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 4
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 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 5
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 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 6
Motivation for the Seminar WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 7
Model-Based Quality Engineering Model-Based Models are not central, but second-class artefacts Models typically serve for analyses and documentation purposes Quality Engineering Internal, external or process quality Is achieved by analyzing models upfront Constructive Quality Assurance WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 8
Topics WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 9
1. Model Driven Testing and Gamification Model Driven Testing: tedious, timecomsuming Game: interesting, engaging Gamification: the use of game design elements in non-game context 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 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker 16.10.13 10
2. QoS and Software Adaptability 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? 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 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker 16.10.13 11
3. Specification and Matching of Service Prices Service matching compares service requests to provided service specifications in order to enable service discovery and service composition < 50? Heinz Nixdorf Institut, Universität Paderborn Functional and non-functional properties have to match, including service prices (e.g., single use price vs. price-per-hour, ) complex price models 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 12 16.10.13
4. Survey: Performance Requirements 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? 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 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker 16.10.13 13
5. Synthesis of Components from Distributed Live Sequence Charts (dlscs) Synthesis derives an implementation from a specification Here: dlscs Petri-Net Components Live Sequence Charts: formal variant of sequence diagrams 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 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 14
6. Domain-specific Model Checking for Mechatronic Systems with UPPAAL PORT 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 Your tasks: Compare UPPAAL PORT to MECHATRONICUML Assess PORT s applicability to networked mechatronic systems Feasibility analysis: model checking MECHATRONICUML with PORT? 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. WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker 16.10.13 15
7. Performance Engineering for Multi-Core Systems 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 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 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker 16.10.13 16
8. Agile Model Driven Web Engineering Model Driven Web Engineering facilitates portability, abstraction and productivity Agile Approach provides constant interaction with customers and enhances former prototypes continuously 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 WS13/14, Seminar Model-Based Quality Engineering - Jun.-Prof. S. Becker 16.10.13 17
9. Modelling Architectural Decisions Mostly documented as plain text, sometimes little illustrations difficult to comprehend, analyse, verify and ensure completeness and consistency Solution: graphical model Your task: Present architecture evolution approach and compare with existing architecture decision making approaches Literature: 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 Supervisor: Claudia Priesterjahn Fraunhofer IPT / Heinz Nixdorf Institut Folie 18
10. Software Architecture Erosion Usually code gets large -> growing deviations from intended design, because of changing requirements Erosion: software gets hard to test, comprehend, and extend Need to control erosion Your task: Present foundations on software erosion Compare methods presented in paper due to most important capabilities Present methods selected by your own criteria Literature: 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. von Detten, Markus; Platenius, Marie Christin; Becker, Steffen: Reengineering Component-Based Software Systems with Archimetrix. Journal of Software and Systems Modeling 2013 Supervisor: Claudia Priesterjahn Fraunhofer IPT / Heinz Nixdorf Institut Folie 19
11. Assessing the Quality of Model-to- Model Transformations Model transformation is core enabling technology for MDSE 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 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 WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker 16.10.13 20
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
13. Using the OPC UA Information Model for MechatronicUML MechatronicUML supports a complex software component model OPC UA provides a specification for data exchange in industrial automation 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 WS12/13, Seminar CloudComputing and Services - Jun.-Prof. S. Becker 16.10.13 22
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 http://www.maenad.eu/public_pw/ conceptpresentations/maenad_timing_2011.pdf EAST-ADL Timing Requirements/ AUTOSAR Timing Extensions WS13/14, Seminar Model-Driven Quality Engineering - Jun.-Prof. S. Becker 16.10.13 23