سيرة ذاتية

يمكن نمذجة الرسم البياني الثنائي على أنه تراكب لرسم بياني ( رسم بياني للروابط ) ومجموعة من الأشجار ( رسم بياني للأماكن ). ^{[ 1 ] [ 2 ]}

كل عقدة في الرسم البياني الثنائي هي جزء من رسم بياني، وجزء من شجرة تصف كيفية تداخل العقد. يمكن عرض الرسوم البيانية الثنائية بسهولة وبشكل رسمي كرسوم تخطيطية . ^{[ 1 ]} ولها تطبيقات في نمذجة الأنظمة الموزعة للحوسبة المنتشرة ، ويمكن استخدامها لوصف التفاعلات المتنقلة . كما استخدمها روبن ميلنر في محاولة لدمج حساب التفاضل والتكامل لأنظمة الاتصال (CCS) وحساب باي . ^{[ 2 ]} وقد دُرست في سياق نظرية الفئات . ^{[ 3 ] [ 4 ]}

إلى جانب العُقد والحواف ( الفائقة ) ، قد يرتبط بالرسم البياني الثنائي منطقة واحدة أو أكثر تُمثل جذورًا في غابة الأماكن، وصفر أو أكثر من الثقوب في الرسم البياني للأماكن، والتي يُمكن إدخال مناطق أخرى من الرسم البياني الثنائي فيها. وبالمثل، يُمكننا تعيين عناصر تحكم للعُقد تُحدد الهويات وعدد المنافذ (عدد المنافذ لعقدة مُعينة التي يُمكن أن تتصل بها حواف الرسم البياني للروابط). تُستمد عناصر التحكم هذه من توقيع الرسم البياني الثنائي. في الرسم البياني للروابط ، نُحدد الأسماء الداخلية والخارجية ، والتي تُحدد نقاط الاتصال التي يُمكن عندها دمج الأسماء المُتطابقة لتشكيل رابط واحد.

الرسم البياني الثنائي هو عبارة عن مجموعة من خمسة عناصر:

${\displaystyle (V,E,ctrl,prnt,link):\langle k,X\rangle \to \langle m,Y\rangle ,}$

أين${\displaystyle V}$هي مجموعة من العقد،${\displaystyle E}$هي مجموعة من الحواف،${\displaystyle ctrl}$هي خريطة التحكم التي تُعيّن عناصر التحكم للعُقد،${\displaystyle prnt}$هي الخريطة الأصلية التي تحدد تداخل العقد، و${\displaystyle link}$خريطة الروابط هي التي تحدد بنية الروابط.

الترميز${\displaystyle \langle k,X\rangle \to \langle m,Y\rangle }$يشير ذلك إلى أن السيرة الذاتية قد${\displaystyle k}$ثقوب (مواقع) ومجموعة من الأسماء الداخلية${\displaystyle X}$و${\displaystyle m}$المناطق ، مع مجموعة من الأسماء الخارجية${\displaystyle Y}$. تُعرف هذه على التوالي بالواجهات الداخلية والخارجية للرسم البياني الثنائي .

بصورة رسمية، كل رسم بياني ثنائي هو سهم في فئة أحادية جزئية متناظرة (يُشار إليها عادةً بفئة أحادية جزئية متناظرة ) حيث تكون الكائنات هي هذه الواجهات. ^{[ 5 ]} ونتيجة لذلك، يمكن تعريف تركيب الرسوم البيانية الثنائية من خلال تركيب الأسهم في الفئة.

• BigraphER هي بيئة نمذجة واستدلال للرسوم البيانية الثنائية تتكون من مكتبة OCaml وأداة سطر أوامر توفر تنفيذًا فعالًا لإعادة الكتابة والمحاكاة والتصور لكل من الرسوم البيانية الثنائية والرسوم البيانية الثنائية مع المشاركة. ^{[ 14 ]}
• jLibBig هي مكتبة جافا توفر تطبيقًا فعالًا وقابلًا للتوسيع لأنظمة التفاعل الثنائية الرسومية لكل من الرسوم البيانية الثنائية والرسوم البيانية الثنائية الموجهة. ^{[ 15 ] [ 16 ]}

لم يعد يتم تطويره بشكل فعال:

• BigMC، مؤرشف بتاريخ 30 نوفمبر 2020 على موقع Wayback Machine، هو أداة للتحقق من نماذج الرسوم البيانية الثنائية، ويتضمن واجهة سطر أوامر وخاصية التصور. ^{[ 17 ]}
• برنامج Big Red، الذي تمت أرشفته في 31 يناير 2020 على موقع Wayback Machine، هو محرر رسومي للسير الذاتية يتميز بدعم قابل للتوسيع بسهولة للعديد من تنسيقات الملفات. ^{[ 18 ]}
• SBAM هو برنامج محاكاة عشوائي للرسوم البيانية الثنائية، ويهدف إلى محاكاة النماذج البيولوجية. ^{[ 19 ]}
• DBAM هو برنامج محاكاة موزع للأنظمة التفاعلية ثنائية الرسوم البيانية . ^{[ 20 ]}
• DBtk هي مجموعة أدوات للرسوم البيانية الثنائية الموجهة توفر حساب IPOs والمطابقة والتصور. ^{[ 21 ]}

• المحاكاة الثنائية
• الأنواع التوافقية

• ميلنر، روبن (2009). فضاء وحركة العوامل المتصلة . مطبعة جامعة كامبريدج . ISBN 978-0-521-73833-0.
• ميلنر، روبن (2001). "الأنظمة التفاعلية ثنائية الرسم البياني (ورقة بحثية مدعوة)". مؤتمر CONCUR 2001 - نظرية التزامن، وقائع المؤتمر الدولي الثاني عشر . سلسلة محاضرات في علوم الحاسوب . المجلد  2154. دار نشر سبرينغر . الصفحات 16-35 . doi : 10.1007/3-540-44685-0_2 . 
• ميلنر، روبن (2002). "الرسوم البيانية الثنائية كنموذج للتفاعل عبر الأجهزة المحمولة (ورقة بحثية مدعوة)". المؤتمر الدولي الأول حول تحويل الرسوم البيانية (ICGT 2002). سلسلة محاضرات في علوم الحاسوب . المجلد  2505. دار نشر سبرينغر. الصفحات 8-13 . doi : 10.1007/3-540-45832-8_3 . 
• ديبوا، سورين؛ دامغارد، ترويلز كريستوفر (2005). “السيرة الذاتية على سبيل المثال”. سلسلة التقارير الفنية لجامعة تكنولوجيا المعلومات TR-2005-61 . الدنمارك: جامعة كوبنهاغن لتكنولوجيا المعلومات . سيتيسيركس 10.1.1.73.176 . رقم ISBN  978-87-7949-090-1.
• سيفينياني، ميشيل؛ كالدير، مافي (2015). "الرسوم البيانية الثنائية مع المشاركة" . علوم الحاسوب النظرية . 577 : 43-73 . doi : 10.1016/j.tcs.2015.02.011 .

• قائمة المراجع على موقع Bigraphs