valid element object element model facad state vertex element model facad concurr region element model facad element 