Trusted Working Copies for Distributed Systems Engineering

2022 ◽  
Author(s):  
Steven Massey ◽  
Charles Brechtel ◽  
Irene Woerner ◽  
Zack Daniels
2020 ◽  
Author(s):  
Robert Crockett ◽  
Kurt Colvin ◽  
Joel Shrater ◽  
Daphne Dador ◽  
Matt Everingham

2018 ◽  
Vol 18 (5-6) ◽  
pp. 846-873 ◽  
Author(s):  
ROBERTA CALEGARI ◽  
ENRICO DENTI ◽  
STEFANO MARIANI ◽  
ANDREA OMICINI

AbstractNew generations of distributed systems are opening novel perspectives for logic programming (LP): On the one hand, service-oriented architectures represent nowadays the standard approach for distributed systems engineering; on the other hand, pervasive systems mandate for situated intelligence. In this paper, we introduce the notion ofLogic Programming as a Service(LPaaS) as a means to address the needs of pervasive intelligent systems through logic engines exploited as a distributed service. First, we define the abstract architectural model by re-interpreting classical LP notions in the new context; then we elaborate on the nature of LP interpreted as a service by describing the basic LPaaS interface. Finally, we show how LPaaS works in practice by discussing its implementation in terms of distributed tuProlog engines, accounting for basic issues such as interoperability and configurability.


Sign in / Sign up

Export Citation Format

Share Document