Intelligent Distributed eLearning Architecture - Intelligent Systems - page 206

where is the list of formal parameters. A process call to this process abstraction has the
following syntax:
〈 ̃ 〉
where ̃ is the list of the actual parameters. This process call behaves exactly like the process
where each actual parameter in ̃ is substituted for each occurrence of the corresponding
formal parameter in . In the smart phone example presented above, switchto is a process
abstraction.
Suppose a software agent (here modelled as an ambient) is willing to edit a text file foo .
This is done by calling a process abstraction named edit say, as follows:
where the symbol ↑ indicates that the edit process called here is the one that is defined in the
parent ambient of the calling ambient agt . Now suppose agent agt has migrated to a
computing device win running Microsoft Windows operating system:
On this machine, the process abstraction edit is defined to launch the text editor notepad as
follows:
edit ⊳ (y).notepad 〈 〉 .0 .
So the request of the agent agt to edit the fille foo on this machine will open that file in
notepad according to the following reduction:
Note that the command notepad has replaced the command edit in the calling ambient
agt .
Now assume the agent agt first moved to a computer lin running linux operating system: