CSP CCS LOTOS
목적 분산 및 병렬 시스템 모델링 분산 시스템 모델링 및 통신 기반 시스템 시스템 명세와 형식적인 분석
중점 병렬성, 통신, 및 병행성 프로세스 간 통신과 상호 작용 시간 및 동시성 모델링
모델링 방식 이벤트 기반 동작 계산 이벤트 시퀀스
응용 분야 분산 시스템, 병행 프로그래밍 통신 프로토콜, 분산 시스템 통신 프로토콜, 분산 시스템
Z VDM (Vienna Development Method) Petri-Net
목적 소프트웨어 명세, 형식적 분석 소프트웨어 명세, 설계, 검증 병렬 및 분산 시스템 모델링
중점 수학적 명세, 명확한 사양 함수형 및 객체 지향 프로그래밍 상태 및 이벤트 기반 모델링
모델링 방식 수학적 명세 기반 고수준 프로그래밍 언어 그래픽 네트워크
응용 분야 형식적 소프트웨어 개발, 요구 사항 분석 소프트웨어 개발 및 검증 제조 및 공정 시스템, 프로세스 모델링