المؤتمر الدولي لعلوم وهندسة الحاسوب باللغة العربية

عبد السلام جاكمي، محمد الكتبي – جامعة المولى اسماعیل،  المغرب

الملخص

تعتبر السيناريوهات و شبكةبتري من بين أهم التقنيات الواعدة لفهم المتطلبات وكذلك لتحديد مواصفات النظام. في هذه الورقة سوف نقدم’عملية’ هندسة متطلبات الوقت الحقيقي للنظام التي تعطي مواصفات رسمية للنظام باستعمال حالة الاستخدام،سيناريوهات لغة النم النمذجة جة الموحدةو شبكات بتري الزمنية. يتم الحصول علىالسيناريوهات انطلاقا من مخططاتالتتابع المحددة من قبل لغة النمذجة الموحدة والتي تمدد و تقوى بإضافة معلومات عن قيود الوقت الحقيقي. تحول هذه المخططات جزئيا إلى مواصفات شبكةبتري زمنيةجزئية ثم تدمج وتتكاملفيما بينها للحصول في النهاية على مواصفات شبكة بيتري زمنية شمولية والتي تلتقط سلوك النظام بأكمله، وبالتالي سهولة انشاء واجهة الاستخدام وانتاج توليف اكثر فاعلية.
الكلمات الجوهرية: لغة النمذجة الموحدة، هندسة السيناريوهات ،  شبكة بتري الزمنية، تكامل.
—————————————————————————————————————————

Use-Cases, Scenarios and Timed Petri Nets Engineering for Real-time System Specifications
Abstract. Scenarios and Timed Petri Nets (TPN) are identified as a promising technique for understanding requirements and system specification. In this paper, we suggest a requirement engineering process for real-time systems that yields a formal specification of the system using TPN. Scenarios are TPN acquired in form of sequence diagrams as defined by the Unified Modeling Language (UML), and are enriched with time constraints information. These diagrams are transformed into partial specifications and then merged to obtain a global TPN net specification capturing the behavior of the entire system, thus easily create user interface and code generation.
Keywords: Use case, Scenarios, UML, real-time systems, TPN.