The abstract scheme for concurrent programming

Porto, António; Rosado, Paulo

doi:10.1007/3-540-56454-3_12

Cited by 3 publications

(1 citation statement)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This paper presents and discusses a new abstract computation model, TAO, representing an evolution from ideas present in the AbstrAct scheme. 1 TAO emphasizes the coordination aspects of computing, i.e. the creation, communication and synchronization of processes and agents.…”

Section: Introductionmentioning

confidence: 99%

TRUTH AND ACTION OSMOSIS (THE TAO COMPUTATION MODEL)

Porto¹,

Vasconcelos²

1996

Coordination Programming: Mechanisms, Models and Semantics

Self Cite

View full text Add to dashboard Cite

We propose a computation model based on the separation between truth and action. The state of an agent is considered to consist of two components: the task, representing actions to be performed, and the database, representing certain truths. The task specifies a composition (parallel, sequential, choice, synchronous) of elementary actions: queries and commands. Queries may only be executed when certain truths are entailed by the database. Commands always execute and as an effect may change the database. We thus have the osmosis metaphor: the task and database are separated as if by a membrane through which information flows in both directions causing the system to evolve. Truth may enable actions (queries) to be accomplished, and actions (commands) may change what is true. Commands are assumed to have a deterministic nature. We discuss the fundamental semantic properties needed for accommodating this basic model, and consider extensions to accomodate named tasks and their refinement rules, variables in tasks, and systems of named agents with separate rules and databases.

show abstract

Section: Introductionmentioning

confidence: 99%