[Modeling] Contract Net in AUML

Marc-Philippe Huget M.P.Huget@csc.liv.ac.uk
Thu, 24 Apr 2003 13:40:05 +0100


This is a multi-part message in MIME format.
--------------146465443F5BF943ED3F8373
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Hello all,

Just finish polishing the FIPA Contract Net protocol in AUML new flavour
(in attachment). Any comments welcome. First attempt, first
question: now we use "boxes" (or CombinedFragment to be more UMLish), do
we need to consider box size based on the level in the protocol? I
mean: first level: all the same size, level 2: same size, etc. or
different sizes as it is the case in this figure where the same "level"
has two sizes.

Cheers,
Marc-Philippe

--
Marc-Philippe Huget

Agent Applications, Research and Technology Group
Department of Computer Science
University of Liverpool
Chadwick Building, Peach Street
L69 7ZF Liverpool
United Kingdom

email: mph@csc.liv.ac.uk
http://www.csc.liv.ac.uk/~mph



--------------146465443F5BF943ED3F8373
Content-Type: image/gif;
 name="cnet.gif"
Content-Transfer-Encoding: base64
Content-Disposition: inline;
 filename="cnet.gif"

R0lGODdhVgJRAoAAAAAAAP///ywAAAAAVgJRAgAC/oyPqcvtD6OctNqLs968+w+G4kiWJgKk
6sq27gvH8kzX9o3n+s73/g8MCofEovGITAIMy5PzCX02o9Sq9YrNareY5pQLDpu+4rL5jE6r
P961+70gw+f0uv2+aeP3XDn/Dxgo2Mc0aHjid6i4yNgIoecYeZEoWWl5SQeJualAyfkJGgql
KYrpWYqaqlpBuup46horu9o6ewhrm6trWbsLiOsbLBzYO3wHbJys7FbMoOIAw7SSkMgymnKA
/Tg9ghy3DB5e1+zsKTfl9aVNje6tsR6Am07iTi1+j4/W/BzP7dyZLWA2eIUeoUC3DSBCdvYK
VqsX712+iRS1FFunjSA7/n4LMRZEEYfjM44RRVoDmbEfNn4O2yyZNtLkS5JdKtq8Oepjp4zz
GnQcCK/VuYERSy4MqG5oP5UxN/6UthIoSGlFJ+G8ijXEvpU9/zWsepClTp0vC3k0C1ZjO7EE
lSYtS1QgWqtZ69qtCbbhTKo+AY5Ny/AgVZcdy/JUCpXwV4GH9zKFOhjv3cmUof0Fmk7szrcq
pXYO29gh39AiA5vFyDkuN66HE182WDm2bMazr0CsjXsZudwgbvP+HWw3cA6+hxuXJfw4XeXM
wWVWAj269CPNqytLbj279onYt3v/bqw7+PHkkb8ujz59LPHq27uPxP69/PnEztO/j79+3vz8
/vvjie9fgAJiAaBN00XHyIHQDUhFgRUVVwaEaUgYBoUMSuAgRRYSssiGW3h4oWX7zQZiFiWC
caJtIUphH2UpWvGiRYPEuKJov9EYBY4qCqJjiBlyN2OCdswEU42ItDhZj04o2eCQH8FlJD1I
3sWkB2oJOc6TI0Zp5ZR2VdnlYoaAmYeWZPr3Yz5nlilmkJmwVhKXUm4Z25oStcmjm3Jq5WVd
dmaA2C167slGn1n9KZlcguZJaG+GYoXocoqOOWijxD16VaQU+IMpHJpeammYn4oy6p2KlApo
qKICh2qilDKqKputckKJZpPSyWKHTiHjB5OzppcmPuZkgiVjv34T/qusrIq4pUaCIRvmqV/1
ylcEw8bFSrLK3sgsTM9lBtlquG5abEuQGcVVYqi19pitsGmL17GXXFuUHikZW1VUheoKml7V
QqnlUjY6li288S7b18CjzaXvXNEueitcXQGcL1L1niapweSOm2S3Ays2D08cbyztVETZi1BK
R40kmrPvaryxvLz4dCCoJaurYAwYwmxBsPfIvDO/Rw7N8wQ+iwO0teWWgGPS3x0djtMPSG30
ki7vW3TQVC/Nx9ZKw5o1bF7f/AvXe4xdHdTOVcr22WFrjbB+ZP+BdnNq69a23GW/LXbce8/d
Nd9935gzEgkWTp3gItadC+OSOG7p3dxm/gd5o5LzVnkjme95eW6bC614hJ2GTrp2nZeOemWn
p866n6ObDnvrH75Oeeyym0i7dZ8DfnuTI5e3O8S9w5h72rYPX8XqyC+/9u/MP9+x89BPD2nx
dh9PPdPWMxf8q9mPsb1y3ef9/b7jk4p9+XxKD975equ/vvvwzy8j+/TfH1z4+O9fivKyyU83
/q0qPwAMnABBVcBNJPA/B0QgfxZ4jAZuCz8QdJIEU2W/C2qQVvrboAdfVUHoEcldHyxYCB/3
H8ZBIlAlHBwFj0HCOazQLy382gnhE0H9HOVWNfTKDV+RwwyiCE4s7KEPH/gGb7Gmez+kj/+S
hZiunK2JaOpg/tiiyEMYGtGE9LvXysZ0tS1OhYodQpwZz7iDSXiDjIeyot+CeIuGbSooLejX
Yy4mRDk9UXUBjKPJ5hizfEnMjQHao4u6FsZxFNFaa3RYvTh1RUJiLn2M3FVQMCawdAnOkGLU
B69achY2JoOTnSxl8iRpylTWT5TeM54qx4jE2r2SNgSkpClJ+SVblhKXrpPlLPH4y2AyMI/C
LCaBUGnMZJovlroTJi/b6MtZPrN60XzlNDOly05eEyesPEM3gYVMZYrzTt8c5/KCRaF11aqc
5hTf9iz0FK+sJ5tiRCe2TLMfTdQqJDWgGRr/CdCACnSgMxiQPc+1kYiRxSh/dBSx/rJoHPmx
E4TRctkSWaJPYBKTWZ5qKPcqMVE3wfOez/pLRjPajSxBdDgSNeg7SXpPLOJRHXOSoQZDyqiR
qsZcZJGJa1Zqqo5eEKc6fJjvRCA1otbJpRsFKj1SlFSPuhOFAtqmPqa2vkQpFXdULWQ43cZR
Dn0VaSBlKjtPQbBp0awDNK2m2V7YVM0l9DQjRMtqLrqwO0IrrtDEYVXHCke57OUk8WSoINF1
ta0e8q98BV2cMNYWWhpGn1KUZwMVC9azCiZljpkhQzv7rHvt9YCYHaZm7Rgy1HwsXWRYC0dL
e8quVrGxvJsQno7TUjEQtHAppa3w1rBI3JZVt/0rkVW9/inU20Z0uBXqn2+PawaZVYOeYBMr
KI4G3Qjtto4lHNUPdzhB87RzSaJDn1PhZgvYxsq7zpVqzwBrwWE2U7bW/URwA5leA87Xr801
r3LROwu0qTdHzEVRe2lIl9PK15X8NTBoIDk1CI9IwuCzLBfzC1ZFzqvA9fVs0Ca8k2rlysJV
820rvxRD4JWXlnlxgcmotRhfYfW9JiYfN2tJXFgaaocuXiiBZ4zfAN9kn9X1r4NZ3FruBqxN
IvsxkAEs3gUTt65FWqJevZni3PYXySSDsVOSZ4MgRzmw/SUsbRrzq31weHb5K7GCyezgyK42
kXEO61uP2WYozzPD5fXimc+V/mb7aPnIu2hkjYv80OiCazQxgZMa1ExfNvvC0G8eb00JrQtK
N86P5WNvnm24aR4NmKw5nrSY98zAFONm0PUNtZ5dIeDtyhpx/KRzEldc6FPDOnC2JtEc1bkW
OlbJ06Z2s6uDqOr/7YgpwW42yTB9bBeOOb4wXfUv/MHdkwgsJ5+WNqotfelyPBgzzn5ZpnVN
C3BXuEFVpvCujY1hdfeWQG0t9qvTbVP3nrevQCx1ruEtZE9d0p+eWzPRRhvtGVcauGepdcEj
zTS0CkPT8RZ4L9wdvQav284V9/a730Sxnz5c41n98L/vrYqtuQvjvTtRshF8boBPW4Ztebns
iH1y/lB3HOSYUZ9O2WRvnQc8hXVdLsRZ8fOcexzfRGe5so+O56AvPeW8tjkfoc5xtk4c3VSf
otOfTnJo9DpjCV9c2WmubZYanKtSV/jZk2gS+OE85ihPhdc4ZfXWrVPG3Xb7zuGulrGzbu5v
R9bCmSHhvFOzwX9SKsWHbvGQI9TaVBV8uAvvl8NPiCb8nCQKNeV4rtsd7eCda23OJ3m2K93v
kH80WyJseQ0dDrqhl/m3XV8PxfON8H9PmOaRS3bFEXnLqzd77+WdkIQRn+5Cn3miGcxnEtev
7cZvvUr3e/2vLR/z/jr+rd2K+IJt3/uZ5/6jqYvrEo/f+tV3fr6xL1d//jN/6qNHvmeC2mry
d5/99gc6tPWvY/wnTi6XfubHYu6XXNBnEVBVgAB4gOuhZDiTZGnHbDVHgT2GWJqBgRJoSRMI
SRtYgR6ogREYgh1ogg/mRSQIgisYgS9wguTWcP8ngIZngFcFftxGXro1awQleqggYOiHVEoy
avn2e98HfyOGg7NVhP0XfHC1hC2kew7lVYf2PvUkg/eRXfKXfddTclfoRPC1hWE4VVaCKkMo
VE94fjfYhPnnhDUIfEfoWLGEhralhrCXgP2RhevHhK4ih264h0+Gh2D4fF0Ue3r4hVT4N3Am
XICoiFgoiO/XiGqHdfORh17IDOlTiGk4hXNo/oPwtztm+H2c+IYKeGeHKIpbp2+o5z6geImI
2EcPQhJFd1dWdmX0lokn1ocOGB6RcViLplcUSDwiZl9m5YcNKFaDZDEiRiTbJml0wmq5OIOt
GF3JKDKu9RmgtYDCqG+4iGOnaIwfUhp3NIuyeIu9kWVr54iuqF+RqHqM+FulSImPeIdhWI5a
Z3JxiI9tqIvhB47yUI+Ts4nFqGisiDeM5Y3atYMJuSCTKB+VyIYd9Y/YxJDv4ZDNGF9RyG/x
F5D7OI345Hlhp4/RCFxA+IpKKJCG+Ebw2JDyaIR/6H+BqI7R55J82I0nOZPbGI8xKWViuIgg
mY5npZBBKZRDSZTE/ohjcHhLLJmRHxVMFRk1JAmFSnmTv+SUU9ldUmmVqlSVBYmUu4SVN1aH
VqiTSxWWW5QcRImWaamWa8mWPTAeZ8mTG1aWoUCQuQIMUZWVccmFd6mXeTmK2wGXg+iXI9k+
XoKXdAmVCvSWhtmXEzlyCLiX9yiN15WYprCYvyNxUriGMzOXlFmYmOmO7chBnTmMn8mXlmFR
EBWRdelzl3ma97eM4kKOI9QTz6F8gzmZgMmYNDRY4mIjmNQOGXibuKmJ3hGYyfhZrSVZhpUU
2ghzo9mVPuiaJtcwvfmbIJNJoXURB0aKTGecu9lzj/QZ2flIrDUtYfRdlSmXTwOeLemZ/tHJ
nboJmvNYmvBpZPL5moRJnPQ5X/lJh/vJn650lwoJoIIpS/6pnlcnkouIoKR5ejbpa/PJng6q
mKYpmRQKdpDJlA1qnx+poVPFoQXKld8poSL6M9OpfSZKahMaolzYoe9Joi3KlC9anzF6oTT6
oBzpeTI6ht3ZdSx6oz5qkf9pjvtWo/gZpMrEgNTXn0m6Xu8wfOfhG0tafE2aojAzWSloZSQk
m+LoU7P4KCxHVKw5NDzak8FoZipIm/rCpieDUBDWHc2GbUYKnTZ6pQlqj5EVg8yoVicVU9eo
US9DLwdJeWZqdDviZ+ySVn3KaIK0aIO1Y5WlVjr6cIYqibbh/ouPqloOl0k+1S5finSJxXkf
yqBO2qNaKH7m1pELanSWCi+pp36qSm+7aKF3unsQ8nIY2Q21B6S2qqL3R6mFaqq41ZbF2k/B
mqOuCpDECqvSWauyiqNUUm+k2qrDeqiE85zeiaS+KqSXSq2SqKy/+q0IE67i+nF2Cq3m2ncH
aq3e6qLjOjnlSnnRapnPGprdmpLaGjvymqP0up7oeq/vKrDnuq3pipsReaT72q43+XXwuqML
y7CKh7Ayya7cOrD/s3Kdd58Ka7Ez6jm2cg4TS7FWarAe+7FyBqyIaa9Zh6+q83opq7K9WrKn
ijkYBbMxC7Asa6IfKLKJWLABu7MY/tWzPsuxMyuiSuSwlQqxHsqsutpvMgu0NBtRTvu0OTuc
eIpiVKuSpdqxUssqJFh/UKuzJstSeEWwRRu1BcoWWsuNJJu2+wmybItobju2AMqlcku0FWu0
11qzyhme8Ym2dXumJwtzDVu1Pyu4fHt6zhKyTUSmFcavEUq4CKevevu27tqv2fqjVit96rqu
dHu1nvu5Arq0ouusYhu6/qqgSSusXTu4ZFu5oNu5Lcu0Z2u5iYu5Xhu2nEu5qrtYrAqupWu6
G3u7qTu8yBqhkXu8FYq6s3uxrxu7pOu6iqu7p8u7m8GzF6im2su92eu9I9i94Pu9Fji+Iki+
4ou+56u+/ubLvi/IgSjYvvDrviUov/ULg/F7v/P7uNpTovLpu44ZvNObu9C7uYhrvMt7e4F7
wAgcvZEpwAyMswbsvLBLwLsrwb1Lu4+ZwMU7wdWbrwWswB1cwQNswSGMwc9LvSDMwScMwSW8
wprbwiosuyxcTCAytIdrwjCMwkyKf2NJbReswxQ8iomlXFOKVEFMvDOMxCMchMH2qaRhUbHo
pVCsqEf8X4D7wlfswb01rWb2xEWyFCskMepUfl3ow43JtXtLwimFUsJojdCCjA5zSVJsYvdl
vUCsxVzCpppqLzdrJo1qjbEYx1gzug6sxkYCptdIxnwanqExxbPZrD2DtwBM/q7CyzOfZMnL
isc4ucUoycl0igh2jMVKnMcpPJCM5I/eNa0bTMqfbMqES6jJmskYa6y1HA3I+3TKS5biI0es
LL2HPJg3nI+/fLl+KcxbW60PHMPMe72lvMYf7MKtDMq128kwusnTrMFCfMc57MzQ/MxJTMy4
683jDM6GXMzLXK/NS8PonLBZ7MrsnM7N/M7kTM0yHM4LXM3zyrqyrMz1/MqjfM8i/M+abLvS
/JXDsL+E7MvmLM7wjI4Mjc8OHc/XfNAS/ZAQLdDf7M/b7M7YrM87DNAYvc4DvdEhvaGzvMsZ
3M4GfcaYassvDdNFuWzy7NFoTKSDF3U0XdH8u5Oo/nMmCc3FKO2eNh1JM03RLR2MCwbU9lic
R6XTSB1bSo21SOjUR/2Mz7fUNnPTTvbUVw2JWf2Sf8nVVv3QkwnWPbyqUd3VZa2fepfTZE3J
aY3TRs3N8zyyARo6P42iwNzTXz3VOZjUa03JNhxUZ41BTT3WdV3TBhrRXG3YNPmNBwfXPvkN
qSml6WTXGdqJaj3ZOBwWSEGLWQouhIUylr3YVJKbid3RO315vBnGvqlR2BjGzJbRRR3Yna2R
lQ3afPoUk9VTznnar/rWis3a8xZinEWePxEVotWpl/HY/1rVxA3V0Y1ag7GppQ2pL8a4I/3R
Yp2EuI3MDfjcNIbY3y3d/l5d3tONiukN2IJN2Zud2SkN36rN0ug938HdS+wt2ecNUmj5PHq9
so1dkjMJ4Oq8xHl7KOMt1Jt50v3MjoyNkG6R2/dN1fwd1/rtyUyU2ua92urN4X0d2a+hQhte
4R1u30Rti8uY3NlZdJBI4e0N3sP8w/Dd23N2mFv94QHN3euYS3KsMOIJlrdt4e9tILw4Ux9T
3ANO3zp+4Eqe4D+F3YxGpgXu3p4N4ho9fZw95FZOZsd8HSQO41s+4evo5SP64vtt4mxtU5Ms
e21N3fWt5pEX0y8N5mgO5xfOcKRD5TFeW3RT5kep5WmO5zT3Nnsu5uFd5/Sc5W/O5N181zOe
/s/DneMi3eQ8bumRTteT3uB8/eAurs2WyNNVPuaPruiiqekguuBu7pKGLuhELm+sfueurm6w
3ujxDelXXuqSXuKxzuW3TtKLvuSU7ui4DuFYbuq7Xuv4nejFnuuZjuzCbusoruqYLuSnnsbn
TOyvruvJnuRm/Ie0Du3KPu17CO6bju1wxILhu776q2Rrir/vm7/2C+/zTr/xbu/0nu6+me/p
++70W+6o7uC+LvDNXu3Pbu4Nne14TfCBbvAAz+kDz+wELdfBfvACfukJ390Tb+3J/PDS3k7/
fu0I3+mzvu3h3u2aSeAlX/G1TeoRX9IXvXF8/o4t//JDuvEB3PEu/q/wEh/ioS7zbTvyGd/z
rc3ro47xu6phFA/zPn/oMu7LhjvLD/HnOm/FBj7sQT9/Cq310Rzmrd7r0Ral5O3ofrvjM9/w
IW/xNL/zUNpzSuQSGSj1tvnIQO724hgnYBurZx7zTd/nEA90fdyLSOaCcjxIF/jjwRlPRjzu
XV/0iL74FfXjPl4xrk1TikGDR46cHib2es/0Xm/0WL8cgF+NXBZizFn4pCD6gEz6DL70RM/t
Hn72a28qKAPlsdnL5Gb35RkwtO+lncEykI2qsY/z5+73JO/sr3/ifl7oKu/wxO/xArdJzI/2
LH/0I8nmQPL4e+/5jo97c07n2d/5je/0/sQy9Wbu3cJfyQH//J14/ScK/q5v8rDP+F2u4NTP
8PMf/8mv7cef/3EObiBPAPExdbn9YZSTOmBuzJV3z7ZPHMnSPNFUXcO1ad1Ynr0MBun8ufWU
74FB00+IKxKLSWXFJkEuT0/oRDq1JqvKrO/a9Sqami9rXCufj2gMVt0WhiFbt3G+q9+5ankU
31fB7fyYBBf2CAkNgRJJFg8PAS0cnSQpKysbRTAt6yBfNj0/Q0XRNM1GRzvpTgNKV11fOVpj
YTdTC2FloXJpg3b/2HgpbcFwLX2Dc45RlOOQJYcTmLukFZ37qBmBrQWhEbCnvpO378I/yqPH
udfEXs9l3NNN/km14znXm9u9Afb5o/n79f1rIXCfP4EG/yEEeIDgQIIKCwZMKHEhhocUIzK8
qPEgRocdOU4MWZHVRosgT4pMCRDevXpzujEs9pJmvZasasJ0GSlfTp/Obt78OQknO1dC8wy9
gtRoL6VnYu5EZezp0jZBq46JWvQo1ay6rtL7Ck6qqlNM+YzVEjaNWitb0dKIW2Lu07pme9z9
CnemW79+sP5dwrenYMNuAh9+U/ZWYcWPvySGrINw10uTZ+gl1hazOK6BLAsbrFnDN9LexHaO
UXnV6VnvXpB0ijelXLaLVdv+zDP0s7VkB1G+PTs37N2gejsqNxA5BUMXMm6WSTvT/vBqxY1X
cZ1274aE31nihI4S9fiL49eEjwi+4ETo4slf5oydzHHqn7Z78b4OTvvp3hsqKsD/0oMhjAM1
4qo/USSjLw/t+tqLQAHLm9A+AUMIj8Lo+Ovws/c8vFC51BwcgjHpWvNqtQltaFHBe3hwsSQP
m+CQwhvXA/FGEZsro8ESTeQRNcdGNA7HFnMsybwLczQPyQMRPLK2Gfup8rV55gMySAiJfETL
bPQg8UtzTkSnS0TAyC+Y/H4ck0whp0vOywTdJApL3OocgbWz8LMxzznx/NMULuV8pKFDEU1U
0UUZbdTRRyGNVCUfxRSUKEJTrEVNS5u6jtPXMOVTPiU//r3PqixLZSfUqUalM9Uy36r01cZW
ZVDFWRu7kzhcA6k1lE075TVOqGQVNkTQMhXNWDN19XRZWu1M9tk/25x2R2RFtTbPaqfdk1Vt
6+T2WW9tbXVc6/IC10xf8bv13DBR1ZbcX91dls1ijZ23XXPtRVc4dS3E9lvf5PXXM4Cv5U1a
hEsUt184YeWXYewczjfiiwmeuGF8hdW3Fo2BrLhjjIGtDmQHRebVY2Mkbdnll2GOWeaZaa7Z
5pk5Vpnkk3mOp+SXVu5Z6IHVDXroo+stGOKlkW4aTYaNdlrqayaOeuqrEat6Z6y5BhRgq7sO
exqtl/5Z7LDN9nnrs9mGF2GwhduO29mi15bb7lihrvvuvXPGFW6+Aefua5JvLtzwwxFPXPHF
GW/c8cTJTjvwyR+WnPLLZ90K880x15zzzwH3HPTR5Rad9NPFNh311a9WnfXXkXYd9tl5lp32
2/NmGvfdNbad998rB174o30f3vhPn3xc+eWZb97556GPXvrpqUf8+Ot7LgAAOw==
--------------146465443F5BF943ED3F8373--