seminar „model-based quality engineering“€¦ · ws13/14, seminar model-based quality...

© 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


© 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


© 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


© 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


© 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


© 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


© 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


§ 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


§ 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


§ 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


§ 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


§ 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

seminar „model-based quality engineering“€¦ · ws13/14, seminar model-based quality...

Documents