Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Advanced Join Patterns for the Actor Model based on CEP Techniques   Context: Actor-based programming languages offer many essential features for
developing modern distributed reactive systems. These systems exploit the actor
model's isolation property to fulfill their performance and scalability
demands. Unfortunately, the reliance of the model on isolation as its most
fundamental property requires programmers to express complex interaction
patterns between their actors to be expressed manually in terms of complex
combinations of messages sent between the isolated actors.
  Inquiry: In the last three decades, several language design proposals have
been introduced to reduce the complexity that emerges from describing said
interaction and coordination of actors. We argue that none of these proposals
is satisfactory in order to express the many complex interaction patterns
between actors found in modern reactive distributed systems.
  Approach: We describe seven smart home automation scenarios (in which an
actor represents every smart home appliance) to motivate the support by actor
languages for five radically different types of message synchronization
patterns, which are lacking in modern distributed actor-based languages.
Fortunately, these five types of synchronisation patterns have been studied
extensively by the Complex Event Processing (CEP) community. Our paper
describes how such CEP patterns are elegantly added to an actor-based
programming language.
  Knowledge: Based on our findings, we propose an extension of the
single-message matching paradigm of contemporary actor-based languages in order
to support a multiple-message matching way of thinking in the same way as
proposed by CEP languages. Our proposal thus enriches the actor-model by ways
of declaratively describing complex message combinations to which an actor can
respond.
  Grounding: We base the problem-statement of the paper on an online poll in
the home automation community that has motivated the real need for the
CEP-based synchronisation operators between actors proposed in the paper.
Furthermore, we implemented a DSL -- called Sparrow -- that supports said
operators and we argue quantitatively (in terms of LOC and in terms of a
reduction of the concerns that have to be handled by programmers) that the DSL
outperforms existing approaches.
  Importance: This work aims to provide a set of synchronization operators that
help actor-based languages to handle the complex interaction required by modern
reactive distributed systems. To the best of our knowledge, our proposal is the
first one to add advanced CEP synchronization operators to the -- relatively
simplistic single-message based matching -- mechanisms of most actor-based
languages.

13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys