A computational model for supporting conceptual design of automatic systems