Re f l e c t i onson t heAna t om y of Sof t wa r eCom - - PowerPoint PPT Presentation

SLIDE 1

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna

Re f l e c t i

• nson t

heAna t

• m y of

Sof t wa r eCom pos i t i

• n

La ngua ge sa ndM e c ha ni s m s

M i c he lCha udr

• n

De pa r t m e ntofM a t he m a t i c sa ndCom put i ng Sc i e nc e Te c hni s c heUni ve r s i t e i tEi ndhove n,TheNe t he r l a nds m . r . v. c ha udr

• n@ t

ue . nl

SLIDE 2

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 2

Ai m sofRe s e a r c h

De ve l

• pm e

ntoft e c hni que st ha te na bl et hebui l di nga nd m a i nt e na nc eofl a r ges

• f

t wa r es ys t e m st hr

• ught

he c

• m pos

i t i

• na

ndde c

• m pos

i t i

• n ofe

x i s t i ngpi e c e sofs

• f

t war e Subgoa l :unde r s t a nds

• f

t wa r e( de ) c

• m pos

i t i

• nm e

c ha ni s m

SLIDE 3

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 3

St r uc t ur eoft hi st a l k

1.I nt r

• duc

t i

• n

2.M ode lf

• rSof

t wa r eCom pos i t i

• n

3.Exa m pl e sofSof t wa r eCom pos i t i

• nM e

c ha ni s m s

• ofdi

f f e r e nts c a l e/c

• m pl

e xi t y

• wha

ta r et he i rs t r e ngt hswe a kne s s e s → r e c

• m m enda

t i

• nsf
• rde

s i gn 4.Pr

• pos

a lf

• rCom pos

i t i

• nM e

c ha ni s m 5.Conc l udi ng Re m a r ks

SLIDE 4

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 4

Te r m sa ndDe f i ni t i

• ns

Da t af l

• w =

s t r uc t ur e / ge

• m e

t r ya nddyna m i c sof f l

• w ofda

t abe t we e nc

• m pone

nt s Cont r

• lf

l

• w =

s t r uc t ur e / ge

• m e

t r ya nddyna m i c sof f l

• w ofi

nf

• r

m a t i

• n r

e l a t e d t

• t

he m a na ge m e ntofa c t i vi t i e swi t hi na nd a m ongs tc

• m pone

nt s I nf

• r

m a t i

• nm ode

l= a gr e e m e nt sonr e pr e s e nt a t i

• n (

s ynt a x) a ndm e a ni ng( s e m a nt i c s )ofda t a Com pone nt= e xe c ut a bl es

• f

t wa r ei t e m t ha t i s( t

• be

)c

• m pos

e d

SLIDE 5

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 5

M ode lf

• rSof

t wa r eCom pos i t i

• n

i nt e gr a t i

• nofda

t af l

• w

i nt e gr a t i

• n ofc
• nt

r

• lf

l

• w

i nt e gr a t i

• n ofi

nf

• r

m a t i

• n m ode

l vi r t ua lc

• m pone

nt i nt e r a c t i

• n

c

• m pone

nt c

• m pone

nt c

• nt

r

• l

f l

• w

da t a f l

• w

da t a f l

• w

c

• nt

r

• l

f l

• w

c

• m pos

i t i

• n

m e c ha ni s m

SLIDE 6

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 6

c

• m pone

nt

Exa m pl e sofCom pos i t i

• nM e

c ha ni s m s : Pr

• gr

a m m i ng La ngua ge s

i f. .t he n,whi l e , s e que nc e ,. .

i m pl i c i t l ym a ni pul a t epr

• gr

a m c

• unt

e r

c

• nt

r

• lf

l

• w

da t af l

• w

i nf

• r

m a t i

• n

m ode l a s s i gnm e nt( s t a t e m e nt / pr

• c

e dur e ) s ynt a x: pr

• gr

a m s ynt a x s e m a nt i c s :l e f tt

• pr
• gr

a m m e r + t ypec he c ki ng i m pl i c i tt hr

• ugh s

ha r i ngofva r i a bl e s

SLIDE 7

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 7

Re f l e c t i

• n onPr
• gr

a m m i ng La ngua ge s

• Com pos

i t i

• nm e

c ha ni s m i ss ubs e r vi e ntt

• c
• m put

a t i

• na

l pa r a di gm ( 2

nd c

l a s sc i t i z e n)

• Com put

a t i

• n a

ndc

• m pos

i t i

• na

r es t r

• ngl

yi nt e r t wi ne d. Di f f i c ul tt

• c

ha ngeonewi t houtc ha ngi ngt heot he r

• Com pos

i t i

• nm e

c ha ni s m i sf i xe d

SLIDE 8

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 8

Exa m pl e sofCom pos i t i

• nM e

c ha ni s m s : Pi pea nd Fi l t e r s

e xe c ut a bl e( pr

• gr

a m ) c

• nt

r

• lf

l

• w

da t af l

• w

c

• m pone

nt s ynt a x:ASCI I s e m a nt i c s :pr

• gr

a m m e r ( l i ne a r )s t r e a m … l e f tope n i nf

• r

m a t i

• n

m ode l ls | grep … | sort | print E. g.Uni x:

SLIDE 9

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 9

Re f l e c t i

• n onOpe

r a t i ng Sys t e m s & Pi pea nd Fi l t e r

Pi pea ndFi l t e r :

• Com pos

i t i

• ni

se xoge nous None e dt

• c

ha ngec

• m pone

nt swhe nc

• m pos

e ddi f f e r e nt l y

• Com pos

i t i

• ni

snon- i nt r us i ve Be ha vi

• urofac
• m pone

ntdoe snotde pe ndonhow i t i sc

• m pos

e d

SLIDE 10

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 10

i nf

• r

m a t i

• n

m ode l

Exa m pl e sofCom pos i t i

• nM e

c ha ni s m s : M i ddl e wa r e

( di s t r i but e d)pr

• gr

a m s c

• nt

r

• l&

da t af l

• w

r e pr e s e nt a t i

• n:I

DL s e m a nt i c s :dom a i nm odel s ( f i na nc e ,t r a ns por t , t e l e c

• m ,m e

di c a l ,… ) m ul t i pl ei nt e r a c t i

• n s

t yl e s(

s e ene xt )

c

• m pone

nt

SLIDE 11

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 11

Exa m pl e :Re m ot ePr

• c

e dur eCa l l

i nt e gr a t i

• nofda

t af l

• w

i nt e gr a t i

• n ofc
• nt

r

• lf

l

• w

i nt e gr a t i

• n ofi

nf

• r

m a t i

• n

vi r t ua lc

• m pone

nt i nt e r a c t i

• n

c

• m pone

nt c

• m pone

nt c

• nt

r

• l

f l

• w

da t a f l

• w

da t a f l

• w

c

• nt

r

• l

f l

• w

pa r a m e t e r s c a l l

SLIDE 12

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 12

Exa m pl e :Re m ot ePr

• c

e dur eCa l l

i nt e gr a t i

• nofda

t af l

• w

i nt e gr a t i

• n ofc
• nt

r

• lf

l

• w

i nt e gr a t i

• n ofi

nf

• r

m a t i

• n

vi r t ua lc

• m pone

nt i nt e r a c t i

• n

c

• m pone

nt c

• m pone

nt c

• nt

r

• l

f l

• w

da t a f l

• w

da t a f l

• w

c

• nt

r

• l

f l

• w

r e s ul t s r e t ur n

SLIDE 13

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 13

Re f l e c t i

• non RPC

Coupl i ng ofda t a

• f

l

• w a

ndc

• nt

r

• lf

l

• w i

nt r

• duc

e s unne c c e s a r yc

• upl

i ng. De ve l

• pm e

c ha ni s m sf

• rde

a l i ng wi t h da t a

• f

l

• w a

nd c

• nt

r

• lf

l

• w s

e pa r a t e l y Ca pt ur ei dom : Cont r

• lc
• m pos

i t i

• n:

Da t ac

• m pos

i t i

• n:
• e

xc e pt i

• nha

ndl i ng

• c

a c hi ng

• r

e pl i c a t i

• n

SLIDE 14

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 14

I nt e r a c t i

• nSt

yl e sI nduc eCoupl i ng

Ti m e

• c
• upl

i ng: s

• ur

c ea ndde s t i na t i

• n ha

vet

• a

gr e eona c t i ng i nt i m e ( s ync hr

• ni

z a t i

• n)

Spa t i a l

• c
• upl

i ng: s

• ur

c ea ndde s t i na t i

• n ha

vet

• a

gr e eonl

• c

a t i

• n/

i de nt i t y ( ‘ na m e s pa c e ’i sonl ya ni ndi r e c t i

• n)

s t

• r

e& f

• r

war d

e

• m a

i l

pe e rt

• pe

e r

t e l e x

publ i s h/ s ubs c r i be

m a ga z i ne

br

• adc

as t

r a di

• i

nde pe nde nt de pe nde nt i nde pe nde nt de pe nde nt t i me s pac e

“s ync hr

• nous

” “a s ync hr

• nous

” “di r e ct e d” “undi r e c t e d” “a nonym ous ”

SLIDE 15

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 15

Re f l e c t i

• non I

nt e r a c t i

• nSt

yl e s

W hi c h I nt e r a c t i

• n St

yl e st

• Us

e ? Pr i nc i pa la ppr

• a

c h: CBD i sbe s ts e r ve dwi t hm i ni m i z a t i

• n ofc
• upl

i ng: Te c hnol

• gi

c a l l y opt i m a l:publ i s h- s ubs c r i be Ai m f

• rwor

l ddom i na t i

• n?

? Pr a gm a t i ca ppr

• a

c h: a c c e pthe t e r

• ge

ne i t y ofi nt e r a c t i

• n s

t yl e s a ndde ve l

• pi

nt e gr a t i

• n/

c

• m pos

i t i

• nt

e c hnol

• gy

SLIDE 16

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 16

Exa m pl e sofCom pos i t i

• nM e

c ha ni s m s : I nt e r ne t ’ sW or l d W i deW e b

r e pr e s e nt a t i

• n:XM L,HTM L

s e m a nt i c s :m a ny,e . g.e

• c
• m m e

r c e , c

• nt

r

• l&

da t af l

• w

i nf

• r

m a t i

• n

m ode l W W W = bl a c kboa r d;a ppl i c a t i

• nsc

a nge ta nd putpa ge s www- pa ge s/a ppl i c a t i

• ns

. . .m a ny. . . c

• m pone

nt

SLIDE 17

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 17

Re f l e c t i

• n onW or

l d W i deW e b

• Al

l

• wse

a s ya ddi t i

• n/r

e m ova lwi t h l

• w i

m pa c tonove r a l l s ys t e m be ha vi

• ur
• I

sac

• m pos

i t i

• nm e

c ha ni s m ofhi gh a l gor i t m i cc

• m pl

e xi t y

• Com pos

i t i

• nm e

c ha ni s m sc a nbes ubj e c tt

• non-

f unc t i

• na

l r e qui r e m e nt s

• s

c a l a bi l i t y,e xt e ns i bi l i t y

• pe

r f

• r

m a nc e ,r e l i a bi l i t y

SLIDE 18

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 18

M ot i va t i

• n:
• Avoi

d a r c hi t e c t ur a lm i s m a t c h /I nc r e a s er e us eofc

• m pone

nt

• Ea

s yc ha ngi ng ofs t yl e s( l

• c

a l i s ei m pa c tofc ha nge )

• Ea

s ewr a ppi ng

• Conne

c t

• r

sa sf i r s t

• c

l a s sc i t i z e ns

Pr

• pos

a l :Com pone nt swi t houtSt yl e

SLIDE 19

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 19

Pr

• pos

a l :Com pone nt swi t houtSt yl e

Pur e l yc

• m put

a t i

• na

le nt i t y i nt e r a c t i

• n s

t yl enotpr e de t e r m i ne dbyc

• m put

a t i

• n

e . g.Ga m m am ode l( Ba na t r e& LeM e t a ye r ) c

• m pone

nt W r a ppe rt ha ti m pos e sapa r t i c ul e ri nt e r a c t i

• n s

t yl e e . g.Pi c c

• l

a s t yl e Ba s i cm e c ha ni s m f

• rf
• r

wa r di ng m e s s a ge s M e s s a gi ngl a ye r

SLIDE 20

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 20

Conc l udi ngRe m a r ks

• Com pos

i t i

• nl

a ngua ge sa r et hel a ngua gei nt e r f a c et

• (

de ) c

• m pos

i t i

• n m e

c ha ni s m s .

• Sof

t wa r ec

• m pos

i t i

• noc

c ur sa tdi f f e r e ntor de r sofs c a l e . Com pos i t i

• nm e

c ha ni s m sm a yha vehi gha l gor i t hm i cc

• m pl

e xi t y.

• A s
• f

t wa r ec

• m pos

i t i

• nl

a ngua ges houl d pr

• vi

dem e c ha ni s m sf

• r

:

• i

nt e gr a t i

• nofc
• nt

r

• lf

l

• w,
• i

nt e gr a t i

• nofda

t af l

• w,
• i

nt e gr a t i

• nofi

nf

• r

m a t i

• n m ode

l

• Se

pa r a t i ngm e a nsf

• ri

nt e gr a t i

• n ofc
• nt

r

• l
• f

l

• w a

ndofda t a

• f

l

• w
• a

voi dsi m pl i c i tc

• upl

i ng

• i

nc r e a s e se xpr e s s i vi t y

SLIDE 21

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 21

Tha nkyouf

• ryoura

t t e nt i

• n

Que s t i

• ns

?

SLIDE 22

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 22

Di s c us s i

• n
• c
• m pos

i t i

• ni

sm or et ha nbi ndi ng

• c
• m pos

i t i

• nm e

c ha ni s m ss houl d a l l

• w de

c

• m pos

i t i

• n

wi t houtuna c c e pt a bl edi s t ur ba nc et

• t

hes ys t e m

• c
• m pos

i t i

• nm e

c ha ni s m s houl dbec

• m pos

a bl et

• f
• r

m hi ghe rl e ve la bs t r a c t i

• ns
• c
• m pone

nta ndc

• m pos

i t i

• n m ode

ls houl dbede s i gne d i n uni s

• n(

pr a c t i c a lorpr a gm a t i c ? )

• c
• m pone

nt ss houl d ber

• bus

ta ga i ns tnon- s e ns i c a li nput

• whe

nc

• m pos

i t i

• n;s

t r

• ngl

yi nf l ue nc e sc ha r a c t e r i s t i c s

SLIDE 23

W or ks hop on Com pos i t i

• n La

ngua ge s ,11Se pt2001,Vi e nna 23

Exa m pl e sofCom pos i t i

• nM e

c ha ni s m s : Ope r a t i ng Sys t e m

e xe c ut a bl e( pr

• gr

a m ) c

• nt

r

• lf

l

• w

da t af l

• w

i nf

• r

m a t i

• n

m ode l s ynt a x:ASCI I s e m a nt i c s :pr

• gr

a m m e r m e s s a gi ng /f i l e s s c he dul e r/s ync hr

• ni

z a t i

• n

c

• m pone

nt OS:M e c ha ni s m s uc c e e dsi n a ddi t i

• n/

r e m ova lof‘ c

• m pone

nt s ’