Defining Actions in Concurrent Declarative Programming
Rachid Echahed, Wendelin Serwe · Electronic Notes in Theoretical Computer Science · 2002
Actions are essential in the description of processes, since processes are characterised by the actions they can execute. In this paper, we tackle the problem of the definition of actions within the context of a component-based approach to concurrent declarative programming. In this computation model, a system is modeled by a set of interacting components, where each component consists of a declarative program, called store, and a set of processes. We give first an overview of the considered computation model for concurrent declarative programming. In a second step, we propose to define actions as functions from declarative programs to themselves, using a meta-language, where abstract data types of declarative programs are available. We illustrate our approach through several examples and compare our approach to related work.