17 - Refinements All design involves refinement-moving from...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Refinements All design involves refinement--moving from a high-level understanding to an implementation Multiple layers may be involved (not just two) depending on the complexity of the problem To execute a multilayer design properly, three properties must obtain: 1. The top layer must faithfully represent the requirements 2. Each layer must be internally consistent 3. Each lower layer must faithfully represent the layer above it
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Valid Refinements • Designer needs to demonstrate that the design satisfies the requirements specification • This demonstration can be expressed using a set of verification conditions, sometimes called proof obligations • The demonstration itself can be formal or informal depending on the process used
Background image of page 2
Exercise • Assumptions – The requirements are expressed as a UML analysis model – We are using OCL for specification – We are concerned with the specification of a single class ( A ) – We are only concerned with functional requirements • Question 1 – What should our specification of this class include?
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Exercise • Assumptions – The requirements are expressed as a UML analysis model – We are using OCL for specification – We are concerned with the specification of a single class ( A ) – We are only concerned with functional requirements • Question 1 – What should our specification of this class include? – Attributes (types, sizes, properties, etc.) – Operations (signatures, pre/post conditions) – Invariants over the attributes
Background image of page 4
Exercise - 2 • Property 1 states that our specification for class A must match the requirements – Question: How would we normally accomplish this?
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 19

17 - Refinements All design involves refinement-moving from...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online