Integrating uml 2.0 activity diagrams and pi-calculus for modeling and verification of software systems using tgg
المؤلفون المشاركون
al-Mansuri, Raida
Mighzili, Said
Chaoui, Allaoua
Blghiat, Isam
المصدر
Jordanian Journal of Computetrs and Information Technology
العدد
المجلد 6، العدد 4 (31 ديسمبر/كانون الأول 2020)، ص ص. 326-344، 19ص.
الناشر
جامعة الأميرة سمية للتكنولوجيا
تاريخ النشر
2020-12-31
دولة النشر
الأردن
عدد الصفحات
19
التخصصات الرئيسية
العلوم الهندسية والتكنولوجية (متداخلة التخصصات)
الملخص EN
This paper deals with modeling and verification of software systems by combining UML diagrams and Pi- calculus.
UML 2.0 Activity diagrams are used for modeling the behavior of software systems, while Pi-calculus is used for semantic and verification purposes.
More precisely, UML is a semi-formal language and so it needs formal semantics for its constructs and lacks tools for verifying properties.
To this end, we propose an approach and a tool called AD2PICALC for transforming UML 2.0 Activity diagrams to Pi-calculus processes using Eclipse Xpand and TGG tools.
The obtained Pi-calculus processes are then used as input for Pi-calculus tools, like MWB, to verify some properties as deadlocks, safety, determinism, termination and livelock.
We illustrate our contribution through an example from the literature and verify the property of deadlock using MWB tool.
The main contribution of this paper lies in the automation of the transformation approach using TGG tools.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
al-Mansuri, Raida& Mighzili, Said& Chaoui, Allaoua& Blghiat, Isam. 2020. Integrating uml 2.0 activity diagrams and pi-calculus for modeling and verification of software systems using tgg. Jordanian Journal of Computetrs and Information Technology،Vol. 6, no. 4, pp.326-344.
https://search.emarefa.net/detail/BIM-1415918
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
al-Mansuri, Raida…[et al.]. Integrating uml 2.0 activity diagrams and pi-calculus for modeling and verification of software systems using tgg. Jordanian Journal of Computetrs and Information Technology Vol. 6, no. 4 (Dec. 2020), pp.326-344.
https://search.emarefa.net/detail/BIM-1415918
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
al-Mansuri, Raida& Mighzili, Said& Chaoui, Allaoua& Blghiat, Isam. Integrating uml 2.0 activity diagrams and pi-calculus for modeling and verification of software systems using tgg. Jordanian Journal of Computetrs and Information Technology. 2020. Vol. 6, no. 4, pp.326-344.
https://search.emarefa.net/detail/BIM-1415918
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 342-343
رقم السجل
BIM-1415918
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر