الرئيسية
استكشاف
nav.journalClub
الرائج
المزيد
synapse
⌘+K
اللغة
العربية
العربية
Formal verification of time-bounded BPMN model with message broker using timed automata | Synapse
March 3, 2026
Open Access
التحقق الرسمي من نموذج BPMN المقيد زمنياً باستخدام مُوزع الرسائل مع الآلات الزمنية
KK
Kittisak Khetkarn
Chulalongkorn University
NT
Nuengwong Tuaycharoen
Dhurakij Pundit University
WV
Wiwat Vatanawood
Key Points
تظهر هذه العمل فعالية الآلات الزمنية في التحقق من نماذج BPMN، مما يضمن أنها تلبي قيود الوقت.
تكشف النتائج الرئيسية أن عملية التحقق من النموذج قد صدقت بنجاح على الخصائص المقيدة زمنياً تحت ظروف محددة.
تم إجراء التحقق الرسمي باستخدام الآلات الزمنية لتقييم التفاعل بين نموذج BPMN ومُوزع الرسائل.
تسلط هذه التحليل الضوء على الفجوات المحتملة في تطبيقات BPMN، مبرزة اعتبارات الضرورية للأنظمة في الوقت الحقيقي.
Read Full Paper
externally
Mark Helpful
Like
Save
Bookmark
Relay
Share
View Full Paper
Cite This Study
Copy
درس ختكرن وآخرون (الخميس،) هذا السؤال.
synapsesocial.com/papers/69a75d85c6e9836116a27a87
https://doi.org/https://doi.org/10.1016/j.sasc.2026.200453
Mark Helpful
Like
Save
Bookmark
Relay
Share
View Full Paper