Phases in the Design Process

Requirements
specifica
tion

Design acti
vities

Architectur
al Abstract Interface Component Data Algorithm
design specifica
tio design design structur
e design
n design

Software Data
System Interface Component Algorithm
specifica
tion structure
architectur
e specifica
tion specifica
tion specifica
tion
specification

Design pr
oducts
 Specification and Design

Increasing contractor involvement

Decreasin g client involvement

Requir ements Requir ements Architectur al Software High-level

definition specification design specification design

Specification

Design
 The Z Specification Process

Compose
Write informal Decompose Specify system component
specification system components
specifications

Define given Define state Define initial Define Define Combine

state ‘correct’ exceptional operation
sets and types variables operations schemas
operations
 A data mining system
Database 1 Report gen.
Integrator 1

Database 2
Visualiser

Integrator 2

Database 3
Display
 Compiler Model

Symbol
table

Lexical Syntactic Semantic Code

analysis analysis analysis generation
Language Processing System
Lexical Syntax Semantic
analyser analyser analyser

Pretty- Abstract Grammar

printer syntax tree definition Optimizer

Symbol Output Code

Editor
table definition generator

Repository
CORBA application structure
Application Domain Horizontal
objects facilities CORBA facilities

Object request broker

CORBA services
Inter-ORB communications

o1 o2 o3 o4

S (o1) S (o2) S (o3) S (o4)

IDL IDL IDL IDL

Object Request Broker Object Request Broker

Network
 Order processing DFD
Checked and
Completed Signed Signed Send to signed order
order form order form order form supplier + order
Or der
notification
details + Complete Valida te Record
blank order form order order
order form Adjust
Order available
Signed budget
details order form
Order
amount
+ account
details
Orders Budget
file file
 Equipment procurement
process
Delivery
note

Equipment Checked Delivery

spec. spec. note
Specify Validate Accept Check
Get cost
equipment specification delivery of delivered
estimates
requir ed equipment items
Spec. +
supplier + Installation
estima te Order
Equipment notification instructions
spec. Supplier list
Place
Supplier Find Choose equipment Install
database suppliers supplier equipment
Order order
details +
Blank order Installation
form acceptance

Accept
delivered
Checked and equipment
signed order form

Equipment
details

Equipment
database
 CASE toolset DFD
Input Valid Checked Design User
design design design analysis report
Design Design Design Report
editor cross checker analyser generator
and
Referenced Checked
designs design Output
Design Code skeleton code Design
database generator database
 Library class
Library item

Catalogue number
hierarchy
Acquisition date
Cost
Type
Status
Number of copies
Acquire ()
Catalogue ()
Dispose ()
Issue ()
Return ()

Published item Recorded item

Title Title
Publisher Medium

Book Magazine Film Computer

program
Author Year Director
Edition Issue Date of release Version
Publication date Distributor Platform
ISBN
 Libr ary user User class hierarchy
Name
Address
Phone
Registration #
Register ()
De-r egister ()

Reader Borrower
Affiliation Items on loan
Max. loans

Staff Student
Department Major subject
Department phone Home address
Multiple inheritance
Book Voice recording
Author Speaker
Edition Duration
Publication date Recording date
ISBN

Talking book
# Tapes
Multiple inheritance
Book Voice recording
Author Speaker
Edition Duration
Publication date Recording date
ISBN

Talking book
# Tapes
 Issue of electronic items
Ecat: :Library Item Lib1:
Catalog NetServer

:Library User

Lookup

Display

Issue
Issue licence

Accept licence

Compress

Deliver