Automatic Application of Behaviour-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification
Speaker: Dr Lars Grunske, ITEE
When: 2004-09-10 16:00:00
Venue: 78-420
Host: Prof Peter Lindsay
Abstract:For safety-critical systems it is necessary to make sure that the
non-functional properties imposed by a system architecture meet
safety requirements as early as possible in the system development
lifecycle. The idea is to use quality-improving architectural
transformations in case the non-functional properties do not fulfil
their requirements. Selection and application of appropriate
architectural transformations is a time-consuming and error prone
task, but many aspects of it can be automated. In this talk, an
approach is presented that uses hypergraph grammars to formally
specify such transformations.
Biography:(biography unavailable)
Type: SSE
Contact:Prof Peter Lindsay, seminar host (peter.lindsay@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator)
(guido@itee.uq.edu.au)