Software engineering 3 domains, requirements, and software design ( 2006)

Dines Bjørner Computer Science and Engineering Informatics and Mathematical Modelling Technical University of Denmark 85748 Garching, Germany brauer@informatik.tu-muenchen.de Prof.. On D

Texts in Theoretical Computer Science

An EATCS Series

Editors: W Brauer G Rozenberg A Salomaa

On behalf of the European Association

for Theoretical Computer Science (EATCS)

Advisory Board: G Ausiello M Broy C.S Calude

A Condon D Harel J Hartmanis T Henzinger

C Papadimitriou D Scott

Prof Dr Dines Bjørner

Computer Science and Engineering

Informatics and Mathematical Modelling

Technical University of Denmark

85748 Garching, Germany brauer@informatik.tu-muenchen.de Prof Dr Grzegorz Rozenberg Leiden Institute of Advanced Computer Science

University of Leiden Niels Bohrweg 1

2333 CA Leiden, The Netherlands rozenber@liacs.nl

Prof Dr Arto Salomaa Turku Centre of Computer Science Lemminkäisenkatu 14 A

20520 Turku, Finland asalomaa@utu.fi

Library of Congress Control Number: 2006921809

ACM Computing Classification (1998): C.2, C.3, C.4, C.5, D.1, D.2, D.3, F.3, F.4, H.1, J.1, K.6.3 ISBN-10 3-540-21151-9 Springer Berlin Heidelberg New York

ISBN-13 978-3-540-21151-8 Springer Berlin Heidelberg New York

This work is subject to copyright All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer Violations are liable for prosecution under the German Copyright Law.

Springer is a part of Springer Science+Business Media

Cover Design: KünkelLopka, Heidelberg

Typesetting: Camera ready by the Author

Production: LE-TEX Jelonek, Schmidt & Vöckler GbR, Leipzig



! !


 

Base Course on SE BC: 1,2,5,8,11,16,17,19,24−26,30−32

On Defining and

Jackson’s Description Principles

Attributes Domain Stakeholders

Domain

Towards Domain Theories

14 Domain and Concept

Formation Domain Analysis Domain

Acquisition

15 Facets

Requirements

Requirements Satisfiability and Feasibility

Stakeholders Requirements

Acquisition Requirements

Concept Analysis and Requirements Formation

A Case Study

in Component Design

7

10 9

13 12

Verification and Validation

and All That!

Domain−Specific Architectures


 &
 I E"1.FG"99

v := k ? action_q3;

JT

1  

)

 

$ 


$)4&5$J&$)I-#!)''4 *

B"B/ 

DO DO

DO REDO

REDO REDO

REDO REDO

Support Technologies Intrinsics

Business Processes

Management and Organisation

Rules and Regulations

$ $I
 -  
) 
J  
$ 






J'

 &
#
$&
'$ $ &

I

Software Design Phase Stages of Development Requirements Phase Stages of Development

Domain Phase Stages of Development

 #

B A$
I
$
 $-$J $
!I
$
!

I



Intake/Outtake Valves Fluid overflow pipe

h

capacity meter

H

area: A

s

w s

.B1 , ( " ) $ - 

'

IJ( I$ J$
#I''$
J% )

The recognised graph: nodes {a,b,c}, edges 2:{a,b}, 1:{b,c}, 1:{c,d}, 1:{d}

y z

x

y x z

Unlabelled Graph Node labelled Graph Edge labelled Graph

/B+B* 


 !

 !& &  $
$
  &  -    

Root Labelled Trees

Branch Labelled Trees

/B6 ,  % 1  D"
$ ='>?=' - $$

3   &$ && 

Linear Unit Switchable Unit Simple Crossover Switchable Crossover

1B*B* , 'G , &  0M

19 & 
   
  

F

3

FJ

IF

FJ

D

B  $  4 IJ@)$!



#-IJ.

.

Intake/Outtake Valves Fluid overflow pipe

h

capacity meter

H

area: A

s

w s

out valve out


-! $
 '  $     #  

system

! 

1=

 )I'' J&$  !
$
 &$ 
$*

& &" &


$II

JI 

JJI&J
&

 $2! $
$ 

##

'

;QIJ IU6M Æ,J

J


 $&#& *
*&-$)$' ;D6 *

Control Continental Control

Tower Tower

Ground 1 k t 1 m r

Logistics Firms Transport Companies

Quay Q2

Quay Qq

Ship S1

Ship

Ship Ss

& 


 


&&$ "$#IJ

T[1]

T[2]

T[1]

cb/bc[1 c,1 b]:CB|BC ct/tc[1 c,1 t]:CT|TC

SE Exchange Stock

C

C C

#
 '=     
!!$ I

   $

$J !*

s e

d

sw/esd sw/ess di/edd di/eds

di/1-pdd-edd sw/psd

Input stimuli:

sw: Switch to switched state di: Revert to direct state Probabilities:

pss: Switching to switched state from switched state psd: Switching to switched state from direct state pds: Reverting to direct state from switched state pds: Reverting to direct state from direct state esd: Switching to error state from direct state edd: Reverting to error state from direct state ess: Switching to error state from switched state eds: Reverting to error state from switched state

0 <= p <= 1

States:

s: Switched state d: Direct (reverted) state e: Error state

,<

Unit Unit

1$

1$

J

! *""
 & &&& 

*B*B 

IJ & $ 
4&5' $
4
 $$*

Identification and Liaison

Domain Theory R&D

Questionnaire

Fill−out, and Return

Domain Validation and Verification

<'   IJ$  IJ$ 
) IJ 
#


I"J#
I"J


I"JPI"JPI"J

"The Domain" A Domain Model

A Requirements Model


  !  $  $ 
$  &  ! &  

! #'

!  $,$#&$




'



!$)&&) 4
! #5$
O! *

IU$ IJ  ! IJJ

Icon Prompt

CHI

.

init add delete

Alarm clock does not activate the alarm

OR

Pulse generator fails Electronics fail

OR

activate beeper Electronics do not

button pushed Electronics do not register



Conditioning event Undeveloped event

All reagents are present

Train is ahead

of the platform

Train is behind the platform

at the platform Train is not

  9<99<&$  
 & '  $ &

*''

J



''

*''

''

J

*''

8B/B/ '

 

8B/ #  % :- ...

fn1 fn2 fn3

pn11

pn12 pn11

pn31

pn 33< /b>

?

?... data-page="590">

fn2

fn1 fn2 fn3

pn11

pn12 pn11

pn31

pn 33< /b>

?... data-page="682">

Domain Engineering< /b>

Software Design< /b>

Requirements Engineering< /b>

REDO REDO

REDO

DO