행위자 모델

칼 휴이트에 따르면, 이전의 연산 모델과는 달리, 행위자 모델은 일반 상대성이론, 양자역학을 포함한 물리학에 의해 착안되었다. 또, 리스프, 시뮬라, 초기 버전의 스몰토크, 역량 기반 시스템, 패킷 교환을 통해서도 영향을 받았다.

행위자 모델은 모든 것이 행위자라는 철학을 채택한다. 이는 일부 객체 지향 프로그래밍 언어에서 사용된 "모든 것이 객체"라는 철학과 비슷하다.

행위자는 받은 메시지에 대해 응하는 연산의 실체로서 다음을 병행 처리할 수 있다:

• 유한한 수의 메시지를 다른 행위자에게 보낸다.
• 유한한 수의 새로운 행위자를 만든다.
• 앞으로 받을 다음 메시지에 사용할 행위를 지정한다.

해가 지남에 따라 각기 다른 정규 시스템들이 개발되어 행위자 모델의 시스템에 대한 추론을 가능케 한다. 여기에는 다음을 포함한다:

• 운용 의미론
• 행위자 시스템을 위한 법률
• 표시적 의미론
• 변이 의미론