Une bibliothèque pour des moteurs de pilotage de programmes

Texte intégral

(1)Une bibliothèque pour des moteurs de pilotage de programmes Régis Vincent, Sabine Moisan, Monique Thonnat. To cite this version: Régis Vincent, Sabine Moisan, Monique Thonnat. Une bibliothèque pour des moteurs de pilotage de programmes. RR-3011, INRIA. 1996. �inria-00073683�. HAL Id: inria-00073683 https://hal.inria.fr/inria-00073683 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Une bibliothe`que pour des moteurs de pilotage de programmes Re´gis Vincent, Sabine Moisan, Monique Thonnat. N˚ 3011 Octobre 1996 THE`ME 3. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5)

(6)

(7) ! "#$

(8) ! &%('$ $&

(9) '(&%)**+ ,.-0/21435$1468709:6<;>=@?A2B14689DCFE2143GA26H=ICFEJ614KML89DNPOEJ686QAR; ST<UWVYXZ[]\_â` XWb c>dG`fehgi^jT<giVYVYXlkmVnc>doTJeh^<Xip ehVnc>qiXWrsput<gi^<^<vWXWrspMdWgi^<^Mc0ehr r c>^<dWXWr wxbfg0yzXG`|{|bzehgi^ })c>~<~gibz`(t<X.bfXWd T<XWbfdoT<X^Zi2i)[{|dG` gi<bfXn ii[iY~Mc>qiXWr :@|g>` bfXjgi2yfXWdG`fe.XWrf`Dt<Xjc>dGee` XWbncFdWgi^<rf` bf<dG`fehgi^t<XrfJrf` UWVYXWrDMc>r Xt<X dWgi^<^Mc0ehr r c>^<dWXWrnm 2¡(¢£l¤Qw@gi<bdWXGcJpQ^<gi<r.dWgi^<rf` bfJehr gi^<r.t<XWrVYg>` XW<bfr¥¦f¥>§¨¦o©Pª<^<XYdGc>r r X t<X«~<bfgiJhUWVYXWrs¤0¬XWrH` b cW®ic>2¯Xl¯J~gir vWrHtMc>^<r@dWX«b c>~<~&gibz`+~<bfgi~&gir XWâ`+t<X«Mc>r XWbIc(dWgi^<rf` bf<dG`fehgi^ t<X)dWXWrxVYg>` XW<bfr°r <bxt<XWr«dWgiVY~&giroc>â` r|±f¦G²2³´§´µ¶§4©G·R¸Gµº¹l©l¤2¬X<J`°XWrf`xtQ»¼c>VYvGehgibfXWb°c.b c>~JehtJe` v)t<X dWgi^<r ` bf<dG`fehgi^DXG`!t<XPVYgRtJe½Mdsc0`fehgi^ªt<XWr!VYg>` XW<bfr(c0eh^<rfe8¾R<X)cr vWdW<bze` vPt<X)~<bfgiqib c>VYVnc0`fehgi^Q¤ ¿c>^<r|<^j~<bfXWVehXWb)` XWVY~<rspu^<gi<rPcW®agi^<rPt<vWdGeht<v$t<X^<gi<r|bfXWrf` bfXGeh^<t<bfXn<^<XdGc>r r Xt<X~<bfg0k JhUWVYXWr~Mc>bz`fehdWJehUWbfXÀ8hXWrP~<bfgiJhUWVYXWrt<XÁu§´µÃÂa³¨· Äa¹n¥R¹|Áu±fÂ Ä0±f·>ÅÅÆ¹o©lpQt<gi^`P<^<Xr gi<rfkm~Mc>bz`fehX ehVY~gibz` c>â` XÆXWrf`PcÆ` Ç>doT<Xnt<XY~Jc>^Je½Mdsc0`fehgi^Q¤È~Mc>bz`fehbt<XYtJeÉvWbfXW^` r.VYgRt<UGhXWrt<XYVYg>` XW<bfr t<X~Jehg>` c>qiX(t<X(~<bfgiqib c>VYVYXWrspR^<gi<r«cW®agi^<r«t<vG½M^Je&<^<X(~<bfXWVehUWbfX¸l§¨¸Gµ¶§Âi³ËÊJÌ ÍG²<¹.¥¹©l³´±l²JÎs³´²R± ¹o© ¥R¹¥aÂiÏMÏ¦ ¹o©¹G³°¥Ð §4Ï<©G³´±o²<ÎW³´§Â>Ï<©.¥¹¸f·0©s¹!~&gi<b!hX~Jehg>` c>qiXt<X~<bfgiqib c>VYVYXWr)XG`(^<gi<r¨»¼cW®agi^<r J`feehr vWX.~&gi<b!¨»ÑvWdWbze` <bfXt<X^<giJ®aXsc>2¯jVYg>` XW<bfrs¤ ÒÓMÔsWÕ Ö×ËØJehJehg>` T<UW¾2<XÙt<XÙdWgiVY~&gir c>^` rsp~Jehg>` c>qiXÙt<XÙ~<bfgiqib c>VYVYXWrsp(~Jc>^Je½Mdsc0`fehgi^Qp r 2rf` UWVYX.Mc>r Xt<X.dWgi^<^Mc0ehr r c>^<dWXWrs¤ ÚhÛHÜ_ÝßÞºà´áGâzÞãäiÞhåßæ. Unite´ de recherche INRIA Sophia-Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France) Te´le´phone : (33) 93 65 77 77 – Te´lećopie : (33) 93 65 77 65.

(10) %(W

(11) (

(12) ('(% &Æ. &

(13) "' WÔ

(14) <ÖaÔa+{|<bc0ehVehr°` g~<bfgs®2eht<XXsc>rfVYXsc>^<r!` gdWgi^<rf` bf<dG` 2^<g hXWt<qiXlkmMc>r XWtrfJrf` XWVYr 2£l¤MgibP` TJehr~<<bf~&gir Xip «XYt<XWrfehqi^#¹GÏ2Ä0§ËÏ¹o©)t<XWtJehdsc0` XWtÙ` g cDdGc>r rg>°~<bfgiJhXWVYrs¤$ST<X °gib ~<bfXWr XWâ` XWt eh^ ` TJehrbfXW~gibz`.~<bfgi~&gir XWrP` gªMc>r X` T<XdWgi^<rf` bf<dG`fehgi^ g>«r <doTÙXW^<q>eh^<XWrgi^ ± ¹l²R©G·¸Wµº¹$Î Â>Å|Á2ÂiÏ¹lÏu³Ë©G¤"ST<XWbfXWa «Xc0ehV c0`r ~&XWXWtJeh^<qg>` TD` T<X|XW^<q>eh^<XdWgi^<r ` bf<dG`fehgi^ c>^<t VYg2tJe½Mdsc0`fehgi^c>r «XGc>rxr XWdW<bzeh^<q.` T<X(dWg2tJeh^<q<¤+SIg&XWq>eh^ e` TQp «X)bfXWrf` bzehdG` XWtngi<bfr XG®aXWr«` g c~Mc>bz`fehdWJc>b+dGc>r r@g>M~<bfgiJhXWVYr À` T<gir X°g>JÁu±fÂ Ä0±f·>Å ©o²:ÁJ¹l± s§4©o§Â>Ïupic>êhVY~&gibz` c>^`+r <2km~Mc>bz`Hg> (TJehdoTYehr"~Jc>^<^Jeh^<q<¤¡c>r XWtYgi^YtJeÉ8XWbfXWâ`x~<bfgiqib c>Vr <~XWbz®Rehrfehgi^VYg2t<XGhrsp °XTMcW®aX)t<XG½M^<XWtÆc ½Mbfr `Pµ §¨¸l±z·i!± Â"Î Â>Å|Á2Â>Ï¹GÏu³Ë©·>Ï&¥ª¹Gµº¹GÅn¹GÏu³¨·>± n§4ÏM©l³´±l²JÎW³´§Â>Ï<©«Ëgib!~<bfgiqib c>V r <~XWbz®2ehrfehgi^ c>^<t °X.TMcW®aX<r XWt e`` gndWg2t<X^<#X XW^<q>eh^<XWrs¤ $&%'8)Õ ( Ó

(15) *Ha eh<b c>bzg>dWgiVY~gi^<XWâ` rsp|~<bfgiqib c>V r <~XWbz®Rehrfehgi^Qp)~Jc>^<^Jeh^<q<+p 2^< g hXWt<qiXlk Mc>r XWt rf2r ` XWVYr.

(16) @Ï¹$¸l§¸Wµ¶§Âi³ËÊJÌfÍW²<¹)ÁJÂ>²R±¥¹o©ÅnÂi³m¹l²2± ©¥R¹Á&§ËµºÂi³¨· Äa¹$¥¹(Áu±fÂ Ä0±f·>ÅÅÆ¹o©. Z. &

(17) I

(18) ) )^ rfJrf` UWVYXYMc>r X$t<XdWgi^<^Mc0ehr roc>^<dWXWrYm 2¡¢£)XWrf`dWgiVY~gir vtQ»Ñ<^ÅYÂa³m¹l²R±PqivW^<vWbzeh¾2<X t<X)b c0ehr gi^<^<XWVYXWâ`(XG`°tQ»Ñ<^<X)Mc>r Xt<X|dWgi^<^Mc0ehr r c>^<dWXWrs¤2¿c>^<rxhX)<J`°t<Xć>dGee` XWb«cdWgi^<r ` bf<dlk `fehgi^ t<X 2¡(¢|px^<gi<rdWgi^<rf` bfJehr gi^<rDt<XWrÆVYg>` XW<bfrª¾RJe)^<X r giâ`D~Mc>rnehvWrªÙ<^<XjXl¯<~XWbz`fehr X ~Mc>bz`fehdWJehUWbfXip@Vnc0ehr.¾2Je"r giâ`dWXW~XW^<tMc>â`ª¥¦f¥>§¨¦o©.ª<^<XYdGc>r r XYt<Xn~<bfgiJhUWVYXWr ¤¬XWr.dGc>r r XWr t<X)~<bfgiJhUWVYXWr«XW^®Rehroc>qivWXWr«r gi^`xhX)~Jehg>` c>qiX|c>J` giVnc0`feh¾2<X)t<X)~<bfgiqib c>VYVYXWr!XG`"¨» ehâ` XWbf~<bfvG` c:k `fehgi^ tQ» ehVnc>qiXWrs¤8¬"»¼c>~<~<bfg2d T<XY¾2<X^<gi<r|~<bfgi~gir gi^<rPtMc>^<r|dWX$b c>~<~gibz`PXWr `|VYg>`fe®avWX~Mc>b|^<gir Xl¯<~vWbzehXW^<dWXWr.r <bhXWr.tJeÉ8vWbfXWâ` rVYg>` XW<bfr¾2<Xn^<gi<rcs®agi^<rt<vG®aXGhgi~<~vWrsptMc>^<r.hXYdsc>t<bfXÆt<X ~<bfg0yfXG` rt<X$bfXWd T<XWbfd T<Xgi eh^<t<<rf` bzehXGhrs¤8)gi<r.cs®agi^<rt<v_yfDdWgi^<rf` bfJe`~Jh<rfehXW<bfrgiJ`fehrtMc>^<r t<XWrt<giVnc0eh^<XWrtJeÉvWbfXW^` rsp~Mc>bPXl¯JXWVY~JhXD{¢°È)w"\ ¼iJpH Jp+ t<vWtJehvnc>Ù~Jehg>` c>qiXnt<X~<bfg0k qib c>VYVYXWr|XW^ ` b c0e` XWVYXW^`tQ» ehVnc>qiXWrsp&wx¬È)

(19) " S Ã @t<vWtJehvc> ~Jehg>` c>qiX$t<X~<bfgiqib c>VYVYXWr ` XWVY~<rfkmbfvWXGIXG`|¢°¬È < 2\z¢ ¼>ZJp t<vWtJehv$ccdGc>r r e½Mdsc0`fehgi^Q¤ c0hqibfvhXW<bfrtJeÉvWbfXW^<dWXWrsphXWrVYg>` XW<bfrt<XndWXWrgiJ`fehrbfXW~&gir XW^`r <bPhXWr V WVYXWr~<bzeh^2k dGeh~XWrÀ ehr(XW^<dsc>~<r JhXWâ`P<^ VYvWdsc>^Jehr VYXehvY<^<X.r ` b c0` vWq>ehXt<X.b c0ehr gi^<^<XWVYXW^`|~Mc>bz`fehdWJehUWbfXi¤ wHc>bPXl¯<XWVY~JhXY~&gi<b{¢°È)wx\XG`w"¬È| x S (p8cDrf` b c0` vWq>ehXdWgi^<rfehrf` X~<bzeh^<dGeh~Mc0hXWVYXWâ` $ehV<bzeh¾2<XWb<^<X.~<TMc>r Xt<X~Jc>^Je½Mdsc0`fehgi^jXG`<^<X~<TMc>r XtQ»ÑXl¯JvWdWJ`fehgi^ ehr.rs»¼c>~<~<JehXWâ`$r <b<^ÙdWXWbz` c0eh^ ^<giV<bfXÆt<XYrf` bf<dG` <bfXWrt<XYt<gi^<^<vWXWr~XWbfVYXG`f` c>â`$t<X bfXW~<bfvWr XWâ` XWbcdWgi^<^Mc0ehr r c>^<dWXr ~&vWdGe½M¾2<X.$cYdGc>r r Xt<X~<bfgiJhUWVYXWr)®2ehr vWXi¤ w@gi<bdWgi^<rf` bfJehbfXDt<XÆ` XGhr$VYg>` XW<bfr$e«XWrf`$^<vWdWXWr r c0ehbfXDt<Xr XÆMc>r XWbr <b<^<XDVYgRt<vGehroc:k `fehgi^jt<XWrdWgi^<^Mc0ehr r c>^<dWXWr|XG`t<XWr(VYvG` T<g2t<XWr|t<X.bfvWr g>hJ`fehgi^jt<X~<bfgiJhUWVYX¾2Jeehâ` XWbz®2ehXW^<^<XWâ` tMc>^<r(hXWrdGc>r r XWrt<X~<bfgiJhUWVYXWrvG` <tJehvWXWr ¤M¬Xt<vG®aXGhgi~<~XWVYXWâ`)tQ»ÑgiJ`fehrt<vWtJehvWr(´gi<bf^Je`(t<XWr r 2rf` UWVYXWr!JehXW^ c>tMc>~J` vWr¨»ÑXl¯<~<bfXWr rfehgi^ªt<XWrdWgi^<^Mc0ehr r c>^<dWXWrXG`c>bfqiXWVYXWâ`J`feehr c>JhXWrtMc>^<r tJeÉ8vWbfXWâ` r)t<giVnc0eh^<XWrtQ»¼c>~<~Jehdsc0`fehgi^<r$ ¼ ¨p ¼> 4£l¤&¢°XW~XW^<tMc>â`spd TMc>¾2<X.VYg>` XW<bdWgi^<r ` bfJe` dWgibfbfXWr ~&gi^<t <^<Xrf` b c0` vWq>ehX.r giJ®aXW^`½MqivWX.XG`tJe ndGehXYVYgRtJe½MXWbrfegi^ r gi<TMc0e` X.vGc>bfq>ehbc qac>VYVYXtQ»¼c>~<~Jehdsc0`fehgi^<r®Rehr vWXWr ¤&S@giJ` XYvG®ag>hJ`fehgi^Ùt<XWr|r ~&vWdGe½Mdsc0`fehgi^<rsp8t<XWrXWr g>eh^<rPgi t<XWr dWgi^` b c0ehâ` XWr|^<vWdWXWr rfe` X.t<XbfXlkmdWgi^J½Mqi<bfXWbWpM®ag>ehbfX.t<X.bfXlkmvWdWbzehbfXipMhXWr(giJ`fehrdWgi^<rf` bfJe` r ¤ )gi<r ~<bfgi~gir gi^<rt<X~Mc0ehXWbjdWXG` eh^<dWgi^®avW^JehXWâ` XW^ dWgi^<rf` bfJehr c>^` dWXWrjVYg>` XW<bfrXW2¯2k V WVYXWr)Y~Mc>bz`fehb(t<XdWgiVY~gir c>â` r)t<XMc>r XipMbfXWqibfgi<~vWrc> r XGeh^ tQ»Ñ<^<X.JehJehg>` T<UW¾2<Xi¤u¬x»ÑJ`feºk ehroc0`fehgi^ÙtQ»Ñ<^<X` XGhXnc>~<~<bfg2d T<XÆ~&XWbfVYXG`t<XYt<vWdWbzehbfXY<^<XYrf` b c0` vWq>ehXYt<Xb c0ehr gi^<^<XWVYXW^`D<^ ^Je®aXsc>Dc><rf` b c0e`sp~Jh<r«rfehVY~JhXWVYXWâ`!XG`«~Jh<r«b c>~Jeht<XWVYXWâ`¾2Q»¼cW®aXWd<^nc>^<qac>qiX)t<X(~<bfgiqib c>V$k Vnc0`fehgi^QpXG`nt<XDc c0ehbfXªvG®ag>h<XWbn~Jh<rć>dGehXWVYXW^`s¤ "^ XGÉ8XG`spHhXª` b cW®ic0e(t<X bfvWvWdWbze` <bfX t<X VYg>` XW<bfrXW^ tJeÉ8vWbfXWâ` rPc>^<qac>qiXWrgi ¨»ÑvWdWbze` <bfXYt<X$®>c>bzec>^` XWrtQ»Ñ<^ V WVYXYVYg>` XW<bWp^<vWdWXWrfk roc0ehbfXWr.~&gi<bt<XWr.` XWrf` rgiÙt<XWr.t<giVnc0eh^<XWrtQ»¼c>~<~Jehdsc0`fehgi^<r$tJeÉ8vWbfXWâ` rspr giâ`.` bfUWrc>rf`fehtJehXW2¯ XG`(dWg !J` XW2¯ XW^ ` XWVY~<r ¤ . . "#"%$'&)(+*-,.,.

(20)