Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
The blackboard model of problem solving
AI Magazine
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Multilanguage Parallel Programming of Heterogeneous Machines
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Process programming with Prolog
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Blackboard programming in shared Prolog
Selected papers of the second workshop on Languages and compilers for parallel computing
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Configuration management by consensus: an application of law-governed systems
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Software process enactment in Oikos
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Language constructs for managing change in process-centered environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
Coordination languages and their significance
Communications of the ACM
Communications of the ACM - Special issue on analysis and modeling in software development
Concepts and paradigms of object-oriented programming
ACM SIGPLAN OOPS Messenger
IEEE Transactions on Knowledge and Data Engineering
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Proceedings of the Second European Workshop on Software Process Technology
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Scaling Up Rule-Based Software Development Environments
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
Parallel Logic Programming Using the Linda Model of Computation
Research Directions in High-Level Parallel Programming Languages
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
Indeed: Interactive Deduction on Horn Clause Theories
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Modeling the software process using coordination rules
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Models and tools for managing development processes
Models and tools for managing development processes
Towards a logic programming infrastructure for internet programming
Artificial intelligence today
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Rule-based coordination of logic programs
Computer Languages
A social software-based coordination platform: tool paper
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
| Hi-index | 0.00 |
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.