![](/images/graphics-bg.png)
A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT
المؤلفون المشاركون
المصدر
Advances in Software Engineering
العدد
المجلد 2009، العدد 2009 (31 ديسمبر/كانون الأول 2009)، ص ص. 1-26، 26ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2009-08-13
دولة النشر
مصر
عدد الصفحات
26
التخصصات الرئيسية
الملخص EN
UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems; however it is not a formal specification language.
This paper proposes a formal approach for UML-RT through a mapping of the UML-RT communicating elements into the π-calculus (or pi-calculus) process algebra.
The formal approach both captures the intended behavior of the system being modeled and provides a rigorous and nonambiguous system description.
Our proposal differentiates from other research work because we map UML-RT to π-calculus, and we allow the mapping of dynamic reconfiguration of UML-RT unwired ports.
We illustrate the usage and applicability of the mapping through three examples.
The first example focuses on explaining the mapping; the second one aims to demonstrate the use of the π-calculus definitions to verify system requirements; the third case is an example of mobile processes called Handover protocol.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Bezerra, J. M.& Hirata, C. M.. 2009. A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT. Advances in Software Engineering،Vol. 2009, no. 2009, pp.1-26.
https://search.emarefa.net/detail/BIM-488745
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Bezerra, J. M.& Hirata, C. M.. A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT. Advances in Software Engineering No. 2009 (2009), pp.1-26.
https://search.emarefa.net/detail/BIM-488745
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Bezerra, J. M.& Hirata, C. M.. A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT. Advances in Software Engineering. 2009. Vol. 2009, no. 2009, pp.1-26.
https://search.emarefa.net/detail/BIM-488745
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-488745
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)