added two functions to region and process state specs added