JErlang: Erlang with Joins

Plociniczak, Hubert; Eisenbach, Susan

doi:10.1007/978-3-642-13414-2_5

Cited by 25 publications

(28 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, JErlang [25] extends the Erlang actor-based concurrency model. Channels are messages exchanged by actors, and received patterns are extended to express matching of multiple subsequent messages.…”

Section: Formal Calculi For Concurrent and Distributed Servicesmentioning

confidence: 99%

CPL: a core language for cloud computing

Bračevac

Erdweg

Salvaneschi

et al. 2016

Proceedings of the 15th International Conference on Modularity

View full text Add to dashboard Cite

Running distributed applications in the cloud involves deployment. That is, distribution and configuration of application services and middleware infrastructure. The considerable complexity of these tasks resulted in the emergence of declarative JSON-based domain-specific deployment languages to develop deployment programs. However, existing deployment programs unsafely compose artifacts written in different languages, leading to bugs that are hard to detect before run time. Furthermore, deployment languages do not provide extension points for custom implementations of existing cloud services such as application-specific load balancing policies.To address these shortcomings, we propose CPL (Cloud Platform Language), a statically-typed core language for programming both distributed applications as well as their deployment on a cloud platform. In CPL, application services and deployment programs interact through statically typed, extensible interfaces, and an application can trigger further deployment at run time. We provide a formal semantics of CPL and demonstrate that it enables type-safe, composable and extensible libraries of service combinators, such as load balancing and fault tolerance.

show abstract

Section: Formal Calculi For Concurrent and Distributed Servicesmentioning

confidence: 99%

CPL: a core language for cloud computing

Bračevac

Erdweg

Salvaneschi

et al. 2016

Proceedings of the 15th International Conference on Modularity

View full text Add to dashboard Cite

show abstract

“…None of these provide any other features than propagation of implicit invocations; focusing on centralized deployments, Ptolemy or EScala could easily provide information on the number of publishers per subscriber or vice-versa. In contrast, languages based on Actors (e.g., Erlang [12]) and inspired by the Join Calculus [18] (e.g., Polyphonic C# [2]-now integrated with C#), or combining the two (e.g., Scala Actors [22], Erlang Joins [44,37]) focus on asynchronous invocations on single destinations, and thus do not support implicit invocations.…”

Section: Implicit Invocationsmentioning

confidence: 99%

Aggregation for implicit invocations

Frischbier

Margara²,

Freudenreich

et al. 2013

Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development

View full text Add to dashboard Cite

Implicit invocations are a popular mechanism for exchanging information between software components without binding these strongly. This decoupling is particularly important in distributed systems when interacting components are not known until runtime. In most realistic distributed systems though, components require some information about each other, be it only about their presence or their number. Runtime systems for implicit invocations-so-called publish/subscribe systems-are thus often combined with other systems providing such information.Given the variety of requirements for information about interacting components across applications, this paper proposes a generic augmentation of implicit invocations: rather than extending a given publish/subscribe API and system in order to convey a particular type of information across interacting components, we describe domain-specific joinpoints that can be used to advise application-level invocation routers-so-called brokers-used by publish/subscribe systems. This enables aggregation of application-specific information to and from components in a scalable manner.After presenting our domain-specific joinpoint model, we describe its implementation inside the REDS publish/subscribe middleware. The empirical evaluation of our approach shows that: (a) it outperforms external aggregation systems, by collecting and distributing information with a limited overhead; (b) the deployment of new functionalities has virtually no overhead, even if it occurs while the publish/subscribe system is running.

show abstract

“…Given that processes can publish their states as events, modern Complex Event Processing languages (e.g., [21]) can express conditions on network context using event correlation and predicates. However, representation of external data retrieved from request-response web APIs in the form of events is not intuitive.…”

Section: Related Workmentioning

confidence: 99%

Statelets: Coordination of Social Collaboration Processes

Liptchinsky

Khazankin

Truong

et al. 2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Today people work together across time, space, cultural and organizational boundaries. To simplify and automate the work, collaboration employs a broad range of tools, such as project management software, groupware, social networking services, or wikis. For a collaboration to be effective, the actions of collaborators need to be properly coordinated, which requires taking into account social, structural, and semantic relations among actors and processes involved. This information is not usually available from a single source, but is spread across collaboration systems and tools. Providing a unified access to this data allows not only to establish a complete picture of the collaboration environment, but also to automate the coordination decision making by specifying formal rules that reflect social and semantic context effects on the ongoing collaboration processes. In this paper we present Statelets, a coordination framework and language for support and coordination of collaboration processes spanning multiple groupware tools and social networking sites, and demonstrate its suitability in several use cases.

show abstract

JErlang: Erlang with Joins

Cited by 25 publications

References 10 publications

CPL: a core language for cloud computing

CPL: a core language for cloud computing

Aggregation for implicit invocations

Statelets: Coordination of Social Collaboration Processes

Contact Info

Product

Resources

About