On the practical applicability of current techniques for reasoning on the structural schema

Abstract

There has been plenty of promising results for providing automated reasoning on the structural part of the conceptual schema and several prototype tools have been developed with this purpose. However, most of these results have remained at the academical level and the industry is not aware of them or it does not consider them relevant enough since it is not using them in software development. With the aim of reducing the gap between academy and industry, the discussion of the participants in this group was aimed at providing an answer to the following questions: 1. What do we need to convince the industry that this technology is useful? 2. Can we come up with a common vocabulary for the various research disciplines that work on this topic? 3. Can we come up with a research agenda of the problems we have to solve?