摘要 |
일반적이고, 융통성 있고, 확장 가능한 방식으로 프로세스들을 프로세스 네트워크들로 연결하기 위한 소스-타깃 패턴이라고 지칭되는 합성 모델이 제공된다. 상기 모델은 공통의 프로세스 대수 구조들이 데이터 흐름 네트워크들과 조합되어 프로세스 네트워크들을 형성하도록 허용한다. 프로세스 대수 연산들은 프로세스들 사이의 완전히 상호 운용 가능한 프로세스 대수 연산들을 제공하는 데이터 흐름 네트워크들을 형성하도록 상기 합성 모델에 의하여 표현될 수 있다. |