Operation process of algebra.

Constructed the formulas describing operations of processes including parallel composition of processes.

Processes are described by terms (expressions), everyone represents process of

Therefore, the set of processes has algebraic structure, processes can be considered as elements of some Algebra of processes

Main objective of algebra is a check of equivalence: whether, for example, results will be equivalent at all a and b

Formulas of logic of Hennessi-Milner (HML) over the final dictionary A are under construction according to the following rules:

So, HML is a usual propositional logic in which only one design is added: <a>ф

In pi calculation in addition to the elementary CCS, it is possible to create new names of channels and to transfer them to other processes in this connection it is possible to describe mobile processes, processes with reconfiguration, etc.

pi calculation now is intensively investigated. The set of expansions, for example, a formalism of the specification and analysis of cryptographic protocols is based on it

Give an example of Bounded buffer. Vending machine. Examples of behavior trajectory. Description agents

The behavior is a turn of FIFO

the First basic operation – (взаимо) action.

The second basic operation – the sum (alternative)‘ +’

P+Q behaves as P or as Q

Some alternatives can be forbidden

If both alternatives are possible, the choice isn't determined

Examples of behavior trajectory

Processes of P and Q can provzaimodeystvovat on port and if they are ready to it

Description agents

Object (agent) – we describe dynamics of his behavior. The agent is, actually, possible behavior of the process which is now in a concrete state

Parallel composition of agents of

S: = CM | | CS"

Composition is commutative and associative CS’

Agents can independently work and interact through complementary ports

Date: 2016-01-03; view: 1002