The refinement check of added dynamic diagrams based on π-calculus
المؤلفون المشاركون
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 13، العدد 6 (31 ديسمبر/كانون الأول 2016)7ص.
الناشر
تاريخ النشر
2016-12-31
دولة النشر
الأردن
عدد الصفحات
7
التخصصات الرئيسية
العلوم الاقتصادية والمالية وإدارة الأعمال (متداخلة التخصصات)
الملخص EN
As the semi-formal modeling tool, UML has semantics defaults which may cause confusions or even mistakes in refinement of models.
π-calculus is a formal specification based on process algebra, which can give strict semantics description for system behaviors.
We seek to clearly define the semantics of refinement to a model through π- calculus and thus we are able to propose a formal verification method of the refinement.
Employing this method, we can improve the efficiency of the consistency verification while decreasing the mistakes in the refinement process.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Xiang, Zhou& Zhiqing, Shao. 2016. The refinement check of added dynamic diagrams based on π-calculus. The International Arab Journal of Information Technology،Vol. 13, no. 6.
https://search.emarefa.net/detail/BIM-722007
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Xiang, Zhou& Zhiqing, Shao. The refinement check of added dynamic diagrams based on π-calculus. The International Arab Journal of Information Technology Vol. 13, no. 6 (Dec. 2016).
https://search.emarefa.net/detail/BIM-722007
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Xiang, Zhou& Zhiqing, Shao. The refinement check of added dynamic diagrams based on π-calculus. The International Arab Journal of Information Technology. 2016. Vol. 13, no. 6.
https://search.emarefa.net/detail/BIM-722007
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-722007
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر