SPLASH 2016 (series) / AGERE 2016 (series) / AGERE 2016 /
Separating Communication Concerns in Concurrent Systems
Sun 30 Oct 2016 16:00 - 16:20 at Luzern - Work-in-progress Papers 2
Interaction protocols in concurrent systems are increasingly complex and diverse. Although there is a body of work on separating communication concerns of computations from their functional concerns, it supports static protocols, which cannot handle dynamically evolving numbers and sets of participants in interactions, and complex initialization steps are left mixed with functional concerns. This paper presents an approach to creating communications which are self- driven and can dynamically evolve as the computation progresses. Complex communications are defined as compositions of simpler ones, and can be specified in a specification language. A prototype supporting the specification language’s primitives has been implemented in Scala.
slides (agere2016-jamali.pptx) | 360KiB |
(AGERESPLASH_2016_paper_7.pdf) | 162KiB |
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 30 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:40 - 17:20 | |||
15:40 20mTalk | Programming Actor-based Collective Adaptive Systems AGERE File Attached | ||
16:00 20mTalk | Separating Communication Concerns in Concurrent Systems AGERE File Attached | ||
16:20 65mMeeting | DISCUSSION AGERE | ||
17:25 5mDay closing | Closing AGERE |