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

Re f l e c t i onson t heAna t om y of Sof t wa r eCom pos i t i on La ngua ge sa ndM e c ha ni s m s M i c he lCha udr on 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 on@ t ue . nl W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Ai m sofRe s e a r c h De ve l opm 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 of t wa r es ys t e m st hr ought he c om pos i t i ona ndde c om pos i t i on ofe x i s t i ngpi e c e sofs of t war e Subgoa l :unde r s t a nds of t wa r e( de ) c om pos i t i onm e c ha ni s m 2 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

St r uc t ur eoft hi st a l k 1.I nt r oduc t i on 2.M ode lf orSof t wa r eCom pos i t i on 3.Exa m pl e sofSof t wa r eCom pos i t i onM e c ha ni s m s -ofdi f f e r e nts c a l e/c om 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 om m enda t i onsf orde s i gn 4.Pr opos a lf orCom pos i t i onM e c ha ni s m 5.Conc l udi ng Re m a r ks 3 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Te r m sa ndDe f i ni t i ons Da t af l ow = s t r uc t ur e / ge om e t r ya nddyna m i c sof f l ow ofda t abe t we e nc om pone nt s Cont r olf l ow = s t r uc t ur e / ge om e t r ya nddyna m i c sof f l ow ofi nf or m a t i on r e l a t e d t ot he m a na ge m e ntofa c t i vi t i e swi t hi na nd a m ongs tc om pone nt s I nf or m a t i onm ode l= a gr e e m e nt sonr e pr e s e nt a t i on ( 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 of t wa r ei t e m t ha t i s( t obe )c om pos e d 4 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

M ode lf orSof t wa r eCom pos i t i on vi r t ua lc om pone nt i nt e r a c t i on c om pone nt c om pone nt c ont r ol da t a da t a c ont r ol f l ow f l ow f l ow f l ow i nt e gr a t i onofda t af l ow c om pos i t i on i nt e gr a t i on ofc ont r olf l ow m e c ha ni s m i nt e gr a t i on ofi nf or m a t i on m ode l 5 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Exa m pl e sofCom pos i t i onM e c ha ni s m s : Pr ogr a m m i ng La ngua ge s a s s i gnm e nt( s t a t e m e nt / pr oc e dur e ) c om pone nt c ont r olf l ow 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 ogr a m c ount e r da t af l ow i m pl i c i tt hr ough s ha r i ngofva r i a bl e s s ynt a x: pr ogr a m s ynt a x i nf or m a t i on s e m a nt i c s :l e f tt o pr ogr a m m e r m ode l + t ypec he c ki ng 6 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Re f l e c t i on onPr ogr a m m i ng La ngua ge s •Com pos i t i onm e c ha ni s m i ss ubs e r vi e ntt oc om put a t i ona l nd c pa r a di gm ( 2 l a s sc i t i z e n) •Com put a t i on a ndc om pos i t i ona r es t r ongl yi nt e r t wi ne d. Di f f i c ul tt oc ha ngeonewi t houtc ha ngi ngt heot he r •Com pos i t i onm e c ha ni s m i sf i xe d 7 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Exa m pl e sofCom pos i t i onM e c ha ni s m s : Pi pea nd Fi l t e r s E. g.Uni x: ls | grep … | sort | print c om pone nt e xe c ut a bl e( pr ogr a m ) c ont r olf l ow … l e f tope n da t af l ow ( l i ne a r )s t r e a m i nf or m a t i on s ynt a x:ASCI I m ode l s e m a nt i c s :pr ogr a m m e r 8 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Re f l e c t i on 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 oni se xoge nous None e dt oc ha ngec om pone nt swhe nc om pos e ddi f f e r e nt l y •Com pos i t i oni snon- i nt r us i ve Be ha vi ourofac om pone ntdoe snotde pe ndonhow i t i sc om pos e d 9 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Exa m pl e sofCom pos i t i onM e c ha ni s m s : M i ddl e wa r e ( di s t r i but e d)pr ogr a m s c om pone nt c ont r ol& m ul t i pl ei nt e r a c t i on s t yl e s ( s e ene xt ) da t af l ow i nf or m a t i on r e pr e s e nt a t i on:I DL m ode l 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 om ,m e di c a l ,… ) 10 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Exa m pl e :Re m ot ePr oc e dur eCa l l vi r t ua lc om pone nt i nt e r a c t i on c om pone nt c om pone nt c ont r ol da t a da t a c ont r ol f l ow f l ow f l ow f l ow pa r a m e t e r s i nt e gr a t i onofda t af l ow c a l l i nt e gr a t i on ofc ont r olf l ow i nt e gr a t i on ofi nf or m a t i on 11 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Exa m pl e :Re m ot ePr oc e dur eCa l l vi r t ua lc om pone nt i nt e r a c t i on c om pone nt c om pone nt c ont r ol da t a da t a c ont r ol f l ow f l ow f l ow f l ow r e s ul t s i nt e gr a t i onofda t af l ow r e t ur n i nt e gr a t i on ofc ont r olf l ow i nt e gr a t i on ofi nf or m a t i on 12 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Re f l e c t i onon RPC Coupl i ng ofda t a - f l ow a ndc ont r olf l ow i nt r oduc e s unne c c e s a r yc oupl i ng. De ve l opm e c ha ni s m sf orde a l i ng wi t h da t a - f l ow a nd c ont r olf l ow s e pa r a t e l y Ca pt ur ei dom : Cont r olc om pos i t i on: Da t ac om pos i t i on: -e xc e pt i onha ndl i ng -c a c hi ng -r e pl i c a t i on 13 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

I nt e r a c t i onSt yl e sI nduc eCoupl i ng Ti m e - c oupl i ng: s our c ea ndde s t i na t i on ha vet oa gr e eona c t i ng i nt i m e ( s ync hr oni z a t i on) Spa t i a l - c oupl i ng: s our c ea ndde s t i na t i on ha vet oa gr e eonl oc a t i on/ i de nt i t y ( ‘ na m e s pa c e ’i sonl ya ni ndi r e c t i on) s pac e i nde pe nde nt br oadc as t publ i s h/ s ubs c r i be “undi r e c t e d” r a di o m a ga z i ne “a nonym ous ” pe e rt o pe e r s t or e& f or war d de pe nde nt “di r e ct e d” t e l e x e - m a i l t i me de pe nde nt i nde pe nde nt “s ync hr onous ” “a s ync hr onous ” 14 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Re f l e c t i onon I nt e r a c t i onSt yl e s W hi c h I nt e r a c t i on St yl e st o Us e ? Pr i nc i pa la ppr oa c h: CBD i sbe s ts e r ve dwi t hm i ni m i z a t i on ofc oupl i ng: Te c hnol ogi c a l l y opt i m a l:publ i s h- s ubs c r i be Ai m f orwor l ddom i na t i on? ? Pr a gm a t i ca ppr oa c h: a c c e pthe t e r oge ne i t y ofi nt e r a c t i on s t yl e s a ndde ve l opi nt e gr a t i on/ c om pos i t i ont e c hnol ogy 15 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna

Exa m pl e sofCom pos i t i onM e c ha ni s m s : I nt e r ne t ’ sW or l d W i deW e b www- pa ge s/a ppl i c a t i ons c om pone nt c ont r ol& . . .m a ny. . . da t af l ow i nf or m a t i on r e pr e s e nt a t i on:XM L,HTM L m ode l s e m a nt i c s :m a ny,e . g.e - c om m e r c e , W W W = bl a c kboa r d;a ppl i c a t i onsc a nge ta nd putpa ge s 16 W or ks hop on Com pos i t i on La ngua ge s ,11Se pt2001,Vi e nna