Academic Journal
Dynamic Roles in Multiparty Communicating Systems
| العنوان: | Dynamic Roles in Multiparty Communicating Systems |
|---|---|
| المؤلفون: | Pedro Baltazar, Faculdade De Ciências, Luís Caires, Vasco T. Vasconcelos, Hugo T. Vieira |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://www-ctp.di.fct.unl.pt/%7Ehtv/pub/dynamicrolestr.pdf. |
| سنة النشر: | 2012 |
| المجموعة: | CiteSeerX |
| الوصف: | Communication protocols in distributed systems often specify the roles of the parties involved in the communications, e.g., for enforcing security policies or task assignment purposes. Ensuring that implementations follow role-based protocol specifications is challenging, especially in scenarios found, e.g., in business processes and web applications, where multiple peers are involved, single peers participate in several roles, or single roles are carried out by several peers. We present a type-based analysis for statically verifying role-based multiparty interactions, based on a simple π-calculus model and prior work on conversation types. Our main result ensures well-typed systems follow the role-based protocols prescribed by the types, and addresses systems where roles have dynamic distributed implementations. 1 |
| نوع الوثيقة: | text |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.1496; http://www-ctp.di.fct.unl.pt/%7Ehtv/pub/dynamicrolestr.pdf |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.1496 http://www-ctp.di.fct.unl.pt/%7Ehtv/pub/dynamicrolestr.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.DD09566D |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |