2. A method of representing software, comprising the steps of: defining a meta-model of software to be validated comprising abstract semantic concerns and abstract semantic inter-relationships among the abstract semantic concerns; automatically, using a computing device, defining actual semantic concerns relating to the software; constructing a plurality of models representing respective ones of the actual semantic concerns and actual semantic inter-relationships therebetween, wherein the models have model elements comprising semantic elements and conform to the meta-model, and wherein the actual semantic concerns comprise dynamic actual semantic concerns that are subject to updating, and an n-ary relationship exists between at least one group of the model elements that comprises a set of the actual semantic concerns; executing a graphic interface on the computing device to display a graphic representation of the models; constructing semantic queries to validate the models; detecting a re-evaluation event; responsively to the re-evaluation event making a revision of the graphic representation to conform the dynamic actual semantic concerns to the re-evaluation event; automatically or semi-automatically, using the computing device, conforming the models with the revision of the graphic representation, updating the semantic queries in compliance with the conformed models; and executing the updated semantic queries to determine whether the software violates a predetermined validation rule.
2. A method of representing software, comprising the steps of: defining a meta-model of software to be validated comprising abstract semantic concerns and abstract semantic inter-relationships among the abstract semantic concerns; automatically, using a computing device, defining actual semantic concerns relating to the software; constructing a plurality of models representing respective ones of the actual semantic concerns and actual semantic inter-relationships therebetween, wherein the models have model elements comprising semantic elements and conform to the meta-model, and wherein the actual semantic concerns comprise dynamic actual semantic concerns that are subject to updating, and an n-ary relationship exists between at least one group of the model elements that comprises a set of the actual semantic concerns; executing a graphic interface on the computing device to display a graphic representation of the models; constructing semantic queries to validate the models; detecting a re-evaluation event; responsively to the re-evaluation event making a revision of the graphic representation to conform the dynamic actual semantic concerns to the re-evaluation event; automatically or semi-automatically, using the computing device, conforming the models with the revision of the graphic representation, updating the semantic queries in compliance with the conformed models; and executing the updated semantic queries to determine whether the software violates a predetermined validation rule. 3. The method according to claim 2 , wherein the re-evaluation event comprises an alteration in one of the models.