Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications
المؤلفون المشاركون
المصدر
Journal of Computer Networks and Communications
العدد
المجلد 2008، العدد 2008 (31 ديسمبر/كانون الأول 2008)، ص ص. 1-13، 13ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2008-07-15
دولة النشر
مصر
عدد الصفحات
13
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Several methods have been proposed for synthesizing computer communication protocol specifications from service specifications.
Some protocol synthesis methods based on the finite state machine (FSM) model assume that primitives in the service specifications cannot be executed simultaneously.
Others either handle only controlled primitive concurrency or have tight restrictions on the applicable FSM topologies.
As a result, these synthesis methods are not applicable to an interesting variety of inherently concurrent applications, such as the Internet and mobile communication systems.
This paper proposes a concurrent-based protocol synthesis method that eliminates the restrictions imposed by the earlier methods.
The proposed method uses a synthesis method to obtain a sequential protocol specification (P-SPEC) from a given service specification (S-SPEC).
The resulting P-SPEC is then remodeled to consider the concurrency behavior specified in the S-SPEC, while guaranteeing that P-SPEC provides the specified service.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Al Dallal, Jehad& Saleh, Kassem. 2008. Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications. Journal of Computer Networks and Communications،Vol. 2008, no. 2008, pp.1-13.
https://search.emarefa.net/detail/BIM-987989
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Al Dallal, Jehad& Saleh, Kassem. Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications. Journal of Computer Networks and Communications No. 2008 (2008), pp.1-13.
https://search.emarefa.net/detail/BIM-987989
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Al Dallal, Jehad& Saleh, Kassem. Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications. Journal of Computer Networks and Communications. 2008. Vol. 2008, no. 2008, pp.1-13.
https://search.emarefa.net/detail/BIM-987989
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-987989
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر