activity
20132016
collaborators

5 papers

cs.SE2016

Configuring Cloud-Service Interfaces Using Flow Inheritance

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Technologies for composition of loosely-coupled web services in a modular and flexible way are in high demand today. On the one hand, the services must be flexible enough to be reu…

cs.LO2016

A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

Modularity and decontextualisation are core principles of a service-oriented architecture. However, the principles are often lost when it comes to an implementation of services, as…

cs.PL2015

Interface Reconciliation in Kahn Process Networks using CSP and SAT

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

We present a new CSP- and SAT-based approach for coordinating interfaces of distributed stream-connected components provided as closed-source services. The Kahn Process Network (KP…

cs.PL2013

AstraKahn: A Coordination Language for Streaming Networks

Alex Shafarenko

This is a preliminary version of the language report. It contains key definitions, specifications and some examples, but lacks completeness. The full document will include Chapter…

cs.PL2013

A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections

Pavel Zaichenkov, Bert Gijsbers, Clemens Grelck +2

We present a programming methodology and runtime performance case study comparing the declarative data flow coordination language S-Net with Intel's Concurrent Collections (CnC). A…