given state machin namespac guarante non result param machin given state machin state machin except best possibl namespac deduct object namespac machin object machin model facad state machin machin illeg state except state machin given creat statechart diagram object ns model facad namespac machin ns ns object context model facad context machin model facad classifi context ns context model facad behavior featur context ns model facad namespac just owner model facad owner context ns ns project root iter ns model facad namespac ns illeg state except deduc namespac state machin ns 