1) 추상화된 데이터형(ADT - abstract data type)

monitor monitor name
{
	/* shared variable declarations */
	function P1(...){
	}
	function P2(...){
	}
	function P3(...){
	}
	function P4(...){
	}
	function P5(...){
	}
	initialize_code(...){}
}