An ontology based approach for formal modeling of structural design patterns | IEEE Conference Publication | IEEE Xplore