On the practical applicability of current techniques for reasoning on the structural schema
Document typeConference report
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Rights accessOpen Access
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?
CitationTeniente, E. On the practical applicability of current techniques for reasoning on the structural schema. A: Automated Reasoning on Conceptual Schemas - Dagstuhl Seminar 13211. "Report from Dagstuhl Seminar 13211: Automated Reasoning on Conceptual Schemas". Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2013, p. 66-69.