An ontology-supported transaction formalism protocol in infrastructure management