Basic | Functional | Declarative | Imperative | Reflective | Communicative | Directive | Hybrid | Facets

Hybrid Action Notation

Actions| Yielders| Data

allocate d | receive Y | subordinate Y | A₁ and then moreover A₂ | A₁ then moreover A₂ | A₁ thence A₂ | A₁ then before A₂

• allocate d: an imperative and functional action, where d is a sort of cell. Represents implementation-dependent choice and reservation of a cell of sort d.
  
  
  • Indivisible. Commits and completes when there is an unreserved cell of sort d. Fails otherwise.
    
    
  • Reserves some cell of sort d.
    
    
  • Gives the reserved cell.
    
    
• receive Y: a communicative and functional action, where Y yields a sort of message. Represents waiting for a message to arrive in the buffer. The usual form of Y is a restriction such as a message [from Y₁] [containing Y₂], where Y₁, Y₂ may yield sorts or individuals.
  
  
  • Patiently waits for a message of the sort yielded Y to arrive, then commits and completes. Otherwise diverges.
    
    
  • Chooses and gives any received message of the sort yielded by Y.
    
    
  • Removes the chosen message from the buffer.
    
    
• subordinate Y: a communicative and functional action, where Y yields a sort of agent. Represents offering a contract and ascertaining the identity of the accepting agent. The usual form of Y is some agent.
  
  
  • Fails only if the sort of agent yielded by Y is vacuous. Commits otherwise. Completes after a contract with an agent of the specified sort has been accepted. Diverges if the contract is never accepted.
    
    
  • On completion, gives the identity of the agent accepting the contract.
    
    
  • Offers a contract for an incorporated action that sends the identity of the accepting agent to the offering agent, waits for a message containing an abstraction (from the offering agent) and enacts the abstraction.
    
    
• A₁ and then moreover A₂: a basic and declarative hybrid combination of actions A₁, A₂. Like A₁ and then A₂ for control and transients, and like A₁ moreover A₂ for bindings.
  
  
• A₁ then moreover A₂: a declarative and functional hybrid combination of actions A ₁, A₂. Like A₁ then A₂ for control and transients, and like A₁ moreover A₂ for bindings.
  
  
• A₁ thence A₂: a declarative and functional hybrid combination of actions A₁, A₂. Like A₁ then A₂ for control and transients, and like A₁ hence A₂ for bindings.
  
  
• A₁ then before A₂: a declarative and functional hybrid combination of actions A₁, A₂. Like A₁ then A₂ for transients, and like A₁ before A₂ for bindings.
  
  

  Actions| Yielders| Data

• There are no hybrid yielders.
  
  

  Actions| Yielders| Data

owner d | d [on d₁]

• owner d: an agent, where d is a cell or an indirection. The agent where it is located.
  
  
• d [on d₁]: a subsort of cell, where d₁ is a (sort of) agent, and d is a sort of cell. It includes only those cells in d whose owner is (of sort) d₁. Similarly when d is a (sort of) indirection.
  
  

  Actions| Yielders| Data