• Nenhum resultado encontrado

1 3Une biblioth que pour des moteurs de pilotage de programmes

N/A
N/A
Protected

Academic year: 2021

Share "1 3Une biblioth que pour des moteurs de pilotage de programmes"

Copied!
6
0
0

Texto

(1)Une biblioth` eque pour des moteurs de pilotage de programmes R´egis Vincent, Sabine Moisan, Monique Thonnat. To cite this version: R´egis Vincent, Sabine Moisan, Monique Thonnat. Une biblioth`eque 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´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es..

(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[]\_^a` 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^Zi€2i)[‚{|dG` giƒ<bfXn „i„i†[‚‡iˆY~Mc>qiXWr ‰ ŠŒ‹:@ŽŠ‘“’|g>` bfXjgiƒ2yfXWdG`fe•”.XWrf`Dt<Xj”–c>dGe•—•e•` XWbn—˜cFdWgi^<rf` bf™<dG`fehgi^št<X›rfœJrf` UWVYXWrDžƒMc>r X›t<X dWgi^<^Mc0ehr r c>^<dWXWrnŸm 2¡(¢£l¤Qw@gi™<bdWXG—˜cJpQ^<gi™<r.dWgi^<rf` bf™Jehr gi^<r.t<XWrVYg>` XW™<bfr¥Œ¦f¥>§¨¦o©Pª™<^<XYdG—˜c>r r X t<X«~<bfgiƒJ—hUWVYXWrs¤0¬­XWrH` b cW®ic>™2¯Xl¯J~gir vWrHtMc>^<r@dWX«b c>~<~&gibz`+~<bfgi~&gir XW^a`+t<X«ƒMc>r XWbI—˜c(dWgi^<rf` bf™<dG`fehgi^ t<X)dWXWrxVYg>` XW™<bfr°r ™<bxt<XWr«dWgiVY~&giroc>^a` r|±f¦G²2³´§´µ¶§4©G·R¸Gµº¹l©l¤2¬­Xƒ<™J`°XWrf`xtQ»¼c>VYvG—•ehgibfXWb°—˜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<bfXn™<^<XdG—˜c>r r Xt<X~<bfg0k ƒJ—hUWVYXWr~Mc>bz`fehdW™J—•ehUWbfXÀ8—hXWrP~<bfgiƒJ—hUWVYXWrt<XÁu§´µÃÂa³¨· Äa¹n¥R¹|Áu±f Ä0±f·>ÅÅÆ¹o©lpQt<gi^Œ`P™<^<Xr gi™<rfkm~Mc>bz`fehX ehVY~gibz` c>^a` XÆXWrf`P—˜cÆ` Ç>doT<Xnt<XY~J—˜c>^Je•½Mdsc0`fehgi^Q¤­È~Mc>bz`fehbt<XYtJe•ÉvWbfXW^Œ` r.VYgRt<UG—hXWrt<XYVYg>` XW™<bfr t<X~Je•—hg>` 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~Je•—hg>` c>qiXt<X~<bfgiqib c>VYVYXWr)XG`(^<gi™<r—¨»¼cW®agi^<r ™J`fe•—•ehr vWX.~&gi™<b!—¨»ÑvWdWbze•` ™<bfXt<X^<gi™J®aXsc>™2¯jVYg>` XW™<bfrs¤ ÒÓMÔs‹WÕ ÖŒ×ˊØƒJehƒJ—•ehg>` T<UW¾2™<XÙt<XÙdWgiVY~&gir c>^Œ` rsp~Je•—hg>` c>qiXÙt<XÙ~<bfgiqib c>VYVYXWrsp(~J—˜c>^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´copie : (33) 93 65 77 65.

(10)  %(W

(11) (

(12) ('(% &Æ. &

(13)  "'   ‹WÔ

(14) <ÖaÔa+{|™<bc0ehVehr°` g~<bfgs®2eht<XXsc>rfœVYXsc>^<r!` gdWgi^<rf` bf™<dG` 2^<g —hXWt<qiXlkmƒMc>r XWt›rfœJrf` XWVYr Ÿ2£l¤MgibP` TJehr~<™<bf~&gir Xip «XYt<XWrfehqi^#¹GÏ2Ä0§ËϹo©)t<XWtJehdsc0` XWtÙ` g cDdG—˜c>r rg>”°~<bfgiƒJ—hXWVYrs¤$ST<X °gib ›~<bfXWr XW^a` 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<XWbfXWƒaœ «Xc0ehV c0`r ~&XWXWtJeh^<qƒg>` TD` T<X|XW^<q>eh^<XdWgi^<r ` bf™<dG`fehgi^ c>^<t VYg2tJe•½Mdsc0`fehgi^c>r «XG—•—c>rxr XWdW™<bzeh^<q.` T<X(dWg2tJeh^<q<¤+SIgƒ&XWq>eh^ e•` TQp «X)bfXWrf` bzehdG` XWtngi™<bfr XG—•®aXWr«` g c~Mc>bz`fehdW™J—˜c>b+dG—˜c>r r@g>”M~<bfgiƒJ—hXWVYr À­` T<gir X°g>”JÁu±f Ä0±f·>Å ©o²:ÁJ¹l± s§4©o§–Â>Ïupic>^ehVY~&gibz` c>^Œ`+r ™<ƒ2km~Mc>bz`Hg>” (TJehdoTYehr"~J—˜c>^<^Jeh^<q<¤¡c>r XWtYgi^YtJe•É8XWbfXW^a`x~<bfgiqib c>Vr ™<~XWbz®Rehrfehgi^VYg2t<XG—hrsp °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) *H‹a —•ehƒ<b c>bzœšg>”dWgiVY~gi^<XW^a` rsp|~<bfgiqib c>V r ™<~XWbz®Rehrfehgi^Qp)~J—˜c>^<^Jeh^<q<+p 2^< g —hXWt<qiXlk ƒMc>r XWt rfœ2r ` 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) ) )^ rfœJrf` UWVYXYƒMc>r X$t<XdWgi^<^Mc0ehr roc>^<dWXWrYŸm 2¡¢£)XWrf`dWgiVY~gir vtQ»Ñ™<^ÅYÂa³m¹l²R±PqivW^<vWbzeh¾2™<X t<X)b c0ehr gi^<^<XWVYXW^a`(XG`°tQ»Ñ™<^<X)ƒMc>r Xt<X|dWgi^<^Mc0ehr r c>^<dWXWrs¤2¿c>^<rx—hX)ƒ<™J`°t<X”´c>dGe•—•e•` XWb«—˜cdWgi^<r ` bf™<dlk `fehgi^ t<X› 2¡(¢|px^<gi™<rdWgi^<rf` bf™Jehr gi^<rDt<XWrÆVYg>` XW™<bfrª¾R™Je)^<X r gi^a`D~Mc>rn—•ehvWrªÙ™<^<XjXl¯<~XWbz`fehr X ~Mc>bz`fehdW™J—•ehUWbfXip@Vnc0ehr.¾2™Je"r gi^a`dWXW~XW^<tMc>^a`ª¥Œ¦f¥>§¨¦o©.ª™<^<XYdG—˜c>r r XYt<Xn~<bfgiƒJ—hUWVYXWr ¤­¬­XWr.dG—˜c>r r XWr t<X)~<bfgiƒJ—hUWVYXWr«XW^Œ®Rehroc>qivWXWr«r gi^Œ`x—hX)~Je•—hg>` c>qiX|c>™J` giVnc0`feh¾2™<X)t<X)~<bfgiqib c>VYVYXWr!XG`"—¨» eh^a` 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 ™<b—hXWr.tJe•É8vWbfXW^a` rVYg>` XW™<bfr¾2™<Xn^<gi™<rcs®agi^<rt<vG®aXG—hgi~<~vWrsp­tMc>^<r.—hXYdsc>t<bfXÆt<X ~<bfg0yfXG` rt<X$bfXWd T<XWbfd T<Xgi™ eh^<t<™<rf` bzehXG—hrs¤8’)gi™<r.cs®agi^<rt<v_yfDdWgi^<rf` bf™Je•`~J—h™<rfehXW™<bfrgi™J`fe•—hrtMc>^<r t<XWrt<giVnc0eh^<XWrtJe•ÉvWbfXW^Œ` rsp­~Mc>bPXl¯JXWVY~J—hXD{¢°È)w"\ ¼‡i‡JpH †Jp+   t<vWtJehvnc>™Ù~Je•—hg>` c>qiXnt<X~<bfg0k qib c>VYVYXWr|XW^ ` b c0e•` XWVYXW^Œ`tQ» ehVnc>qiXWrsp&wx¬­È)

(19) ’ " S Á „ @t<vWtJehvc>™ ~Je•—hg>` c>qiX$t<X~<bfgiqib c>VYVYXWr ` XWVY~<rfkmbfvWXG—IXG`|¢°¬­È < 2\z¢ ¼‡>ZJp  ­t<vWtJehv$—˜c—˜cdG—˜c>r r e•½Mdsc0`fehgi^Q¤ ›c0—hqibfv—hXW™<bfrtJe•ÉvWbfXW^<dWXWrsp­—hXWrVYg>` XW™<bfrt<XndWXWrgi™J`fe•—hrbfXW~&gir XW^Œ`r ™<bP—hXWr V WVYXWr~<bzeh^2k dGeh~XWr­À  e•—hr(XW^<dsc>~<r ™J—hXW^a`P™<^ VYvWdsc>^Jehr VYX—•ehvY™<^<X.r ` b c0` vWq>ehXt<X.b c0ehr gi^<^<XWVYXW^Œ`|~Mc>bz`fehdW™J—•ehUWbfXi¤ wHc>bPXl¯<XWVY~J—hXY~&gi™<b{¢°È)wx\XG`w"¬­È|’ x S (p8—˜cDrf` b c0` vWq>ehXdWgi^<rfehrf` X~<bzeh^<dGeh~Mc0—hXWVYXW^a` $ehVƒ<bzeh¾2™<XWb™<^<X.~<TMc>r Xt<X~J—˜c>^Je•½Mdsc0`fehgi^jXG`™<^<X~<TMc>r XtQ»ÑXl¯JvWdW™J`fehgi^   e•—hr.rs»¼c>~<~<™JehXW^a`$r ™<b™<^ÙdWXWbz` c0eh^ ^<giVƒ<bfXÆt<XYrf` bf™<dG` ™<bfXWrt<XYt<gi^<^<vWXWr~XWbfVYXG`f` c>^a`$t<X bfXW~<bfvWr XW^a` XWb—˜cdWgi^<^Mc0ehr r c>^<dWXr ~&vWdGe•½M¾2™<X.$—˜cYdG—˜c>r r Xt<X~<bfgiƒJ—hUWVYXWr)®2ehr vWXi¤ w@gi™<bdWgi^<rf` bf™JehbfXDt<XÆ` XG—hr$VYg>` XW™<bfr$e•—«XWrf`$^<vWdWXWr r c0ehbfXDt<Xr XƃMc>r XWbr ™<b™<^<XDVYgRt<vG—•ehroc:k `fehgi^jt<XWrdWgi^<^Mc0ehr r c>^<dWXWr|XG`t<XWr(VYvG` T<g2t<XWr|t<X.bfvWr g>—h™J`fehgi^jt<X~<bfgiƒJ—hUWVYX¾2™Je­eh^a` XWbz®2ehXW^<^<XW^a` tMc>^<r(—hXWrdG—˜c>r r XWrt<X~<bfgiƒJ—hUWVYXWrvG` ™<tJehvWXWr ¤M¬­Xt<vG®aXG—hgi~<~XWVYXW^a`)tQ»Ñgi™J`fe•—hrt<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^a`™J`fe•—•ehr c>ƒJ—hXWrtMc>^<r tJe•É8vWbfXW^a` r)t<giVnc0eh^<XWrtQ»¼c>~<~J—•ehdsc0`fehgi^<r$Ÿ ¼‡ ¨p ¼‡>€ 4£l¤&¢°XW~XW^<tMc>^a`spd TMc>¾2™<X.VYg>` XW™<bdWgi^<r ` bf™Je•` dWgibfbfXWr ~&gi^<t ™<^<Xrf` b c0` vWq>ehX.r gi™J®aXW^Œ`½MqivWX.XG`tJe ndGe•—hXYVYgRtJe•½MXWbrfe­gi^ r gi™<TMc0e•` X.vG—˜c>bfq>ehb—˜c qac>VYVYXtQ»¼c>~<~J—•ehdsc0`fehgi^<r®Rehr vWXWr ¤&S@gi™J` XYvG®ag>—h™J`fehgi^Ùt<XWr|r ~&vWdGe•½Mdsc0`fehgi^<rsp8t<XWrƒXWr g>eh^<rPgi™ t<XWr dWgi^Œ` b c0eh^a` XWr|^<vWdWXWr rfe•` X.t<XbfXlkmdWgi^J½Mqi™<bfXWbWpM®ag>ehbfX.t<X.bfXlkmvWdWbzehbfXipM—hXWr(gi™J`fe•—hrdWgi^<rf` bf™Je•` r ¤ ’)gi™<r ~<bfgi~gir gi^<r›t<Xž~Mc0—•—•ehXWbjdWXG` eh^<dWgi^Œ®avW^JehXW^a` XW^ dWgi^<rf` bf™Jehr c>^Œ` dWXWrjVYg>` XW™<bfr›XW™2¯2k V WVYXWr)Y~Mc>bz`fehb(t<XdWgiVY~gir c>^a` r)t<XƒMc>r XipMbfXWqibfgi™<~vWrc>™ r XGeh^ tQ»Ñ™<^<X.ƒJehƒJ—•ehg>` T<UW¾2™<Xi¤u¬x»Ñ™J`feºk  —•ehroc0`fehgi^ÙtQ»Ñ™<^<X` XG—•—hXnc>~<~<bfg2d T<XÆ~&XWbfVYXG`t<XYt<vWdWbzehbfXY™<^<XYrf` b c0` vWq>ehXYt<Xb c0ehr gi^<^<XWVYXW^Œ`D™<^ ^Je•®aXsc>™Dc>ƒ<rf` b c0e•`spŒ~J—h™<r«rfehVY~J—hXWVYXW^a`!XG`«~J—h™<r«b c>~Jeht<XWVYXW^a`¾2™Q»¼cW®aXWd™<^n—˜c>^<qac>qiX)t<X(~<bfgiqib c>V$k Vnc0`fehgi^QpXG`nt<XD—˜c ”–c0ehbfXªvG®ag>—h™<XWbn~J—h™<r”´c>dGe•—hXWVYXW^Œ`s¤ "^ XGÉ8XG`spH—hXª` b cW®ic0e•—(t<X bfvWvWdWbze•` ™<bfX t<X VYg>` XW™<bfrXW^ tJe•É8vWbfXW^a` rP—˜c>^<qac>qiXWrgi™ —¨»ÑvWdWbze•` ™<bfXYt<X$®>c>bze˜c>^Œ` XWrtQ»Ñ™<^ V WVYXYVYg>` XW™<bWp^<vWdWXWrfk roc0ehbfXWr.~&gi™<bt<XWr.` XWrf` rgi™Ùt<XWr.t<giVnc0eh^<XWrtQ»¼c>~<~J—•ehdsc0`fehgi^<r$tJe•É8vWbfXW^a` rsp­r gi^a`.` bfUWr”–c>rf`fehtJehXW™2¯ XG`(dWg !J` XW™2¯ XW^ ` XWVY~<r ¤ . . "#"%$'&)(+*-,.,.

(20)

Referências

Documentos relacionados

Um destes institutos é a Empresa Individual de Responsabilidade Limitada (EIRELI), espécie de pessoa jurídica introduzida pela Lei 12.441/2011, que alterou o art. É

O primeiro ensaio foi realizado para um volume de solução de 5 L, com uma concentração inicial de 10,45 ppt. Na proveta encontravam-se 800 ml de água destilada à temperatura

O clima não se pode prever de maneira exacta pelo que constitui um risco, mas o aparecimento deste mercado de derivados sobre as condições climatéricas pode

Ferraretto (2001) lista uma sequência de critérios os quais o jornalista deve analisar se um acontecimento possui a abrangência de uma notícia. [...] Atualidade: Ser o mais

1. D’approuver la Stratégie régionale pour améliorer la santé des adolescents et des jeunes pour répondre efficacement et utilement aux besoins actuels et émergents de la santé

Cette collaboration commence par les spéléologues, indispensables pour la découverte des nouvelles grottes, mais aussi l’exploitation du grand nombre de

O objetivo deste trabalho foi a criação de um sistema de fixação rápido para dentes de uma placa dentária com fins pedagógicos; um sistema mais simples, capaz de

Resumo: O estudo do conto “Olhar”, da obra Romance Negro e Outras Histórias, de Rubem Fonseca e de Hannibal – o filme, de Ridley Scott aponta a antropofagia como traço da