Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology