IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-28T21:28:55ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2014-10-09T13:26:39Z2015-04-08T10:37:32Zhttp://eprints.imtlucca.it/id/eprint/2319This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/23192014-10-09T13:26:39ZA type system for flexible role assignment in multiparty communicating systemsCommunication protocols in distributed systems often specify the roles of the parties involved in the communications, namely 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 impersonate several roles, or single roles are carried out by several peers. We present a type-based analysis for statically verifying role-based multi-party interactions, based on a simple π-calculus model and prior work on conversation types. Our main result ensures that well-typed systems follow the role-based protocols prescribed by the types, including systems where roles are flexibly assigned to processes.Pedro BaltazarLuis CairesVasco Thudichum VasconcelosHugo Torres Vieirahugo.torresvieira@imtlucca.it2014-10-09T13:14:13Z2015-04-08T10:37:32Zhttp://eprints.imtlucca.it/id/eprint/2317This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/23172014-10-09T13:14:13ZTyping dynamic roles in multiparty interactionWe present a type-based analysis for role-based multiparty
interaction. Novel to our approach are the notions that a role specified in a protocol may be carried out by several parties, and that one party may assume di%erent roles at di%erent stages of the protocol. We build on Conversation Types by adding roles to protocol specifications. Systems
are modeled in ⇤-calculus extended with labeled communication and role annotations. The main result shows that well-typed systems follow the role-based protocols prescribed by the types, addressing systems where
roles have dynamic distributed implementations.Pedro BaltazarVasco Thudichum VasconcelosHugo Torres Vieirahugo.torresvieira@imtlucca.it