Affiliation:
1. Univ. of Bologna, Bologna, Italy
Abstract
ESP is a language for modeling rule-based software processes that take place in a distributed software development environment. It is based on PoliS, an abstract coordination model that relies on Multiple Tuple Spaces, i.e., collections of tuples a la Linda. PoliS extends Linda aiming at the specification and coordination of logically distributed systems. ESP (Extended Shared Prolog) combines the PoliS mechanisms to deal with concurrency and distribution, with the logic-programming language Prolog, to deal with rules and deduction. Such a combination of a coordination model and a logic language provides a powerful framework in which experiments about rule-based software process programming can be performed and evaluated.
Publisher
Association for Computing Machinery (ACM)
Reference40 articles.
1. ~AMBRIOLA V. CIANCARINI P. AND MONTANGERO C. Enacting software processes in Oikos. In ~Proceedzngs of ACM SIGSOFT Conference on Software Development EnvLronments (1990). ~Also ACM SIGSOFT Softw. Eng. Notes 15 6 (1990) 12-23. 10.1145/99278.99294 ~AMBRIOLA V. CIANCARINI P. AND MONTANGERO C. Enacting software processes in Oikos. In ~Proceedzngs of ACM SIGSOFT Conference on Software Development EnvLronments (1990). ~Also ACM SIGSOFT Softw. Eng. Notes 15 6 (1990) 12-23. 10.1145/99278.99294
2. Compiling a default reasoning system into Prolog
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Smart Contracts as Authorized Production Rules;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
2. A Social Software-Based Coordination Platform;Lecture Notes in Computer Science;2012
3. 25 Years of Applications of Logic Programming in Italy;Lecture Notes in Computer Science;2010
4. Indeed: Interactive Deduction on Horn Clause Theories;Advances in Artificial Intelligence — IBERAMIA 2002;2002
5. New architectures for constructed complex systems;Applied Mathematics and Computation;2001-05