Hybrid Actions

allocate d | receive Y | subordinate Y | A1 and then moreover A2 | A1 then moreover A2 | A1 thence A2 | A1then beforeA2


   
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 Y1] [containing Y2], where Y1, Y2 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.
   OBS:This action is not implemented by the action interpreter.

    
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.
   OBS:This action is not implemented by the action interpreter.

    
A1 and then moreover A2: a basic and declarative hybrid combination of actions A1, A2. Like A1 and then A2 for control and transients, and like A1 moreover A2 for bindings.
   OBS:This action is not implemented by the action interpreter.

    
A1 then moreover A2: a declarative and functional hybrid combination of actions A 1, A2. Like A1 then A2 for control and transients, and like A1 moreover A2 for bindings.
   OBS:This action is not implemented by the action interpreter.

    
A1 thence A2: a declarative and functional hybrid combination of actions A1, A2. Like A1 then A2 for control and transients, and like A1 hence A2 for bindings.
   OBS:This action is not implemented by the action interpreter.

    
A1 then before A2: a declarative and functional hybrid combination of actions A1, A2. Like A1 then A2 for transients, and like A1 before A2 for bindings.
   OBS:This action is not implemented by the action interpreter.


    Hybrid Notation Index | Hybrid Actions | Hybrid Yielders | Hybrid Data