2 papers
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…