I think the main feature which miss is the support of temporal logic. In fact, with the support of Can/Must/May we have a deontic logic support. It is perfectly sufficient. Temporal logic is the last angle of first order logic which would permit to express, for instance, Agent Belief-Desire-Intention Agent oriented language. The actual state, in which, we have to use expression between quote, is not usable. I think the project would also have a lot to gain by opening itself, in a standard repository like google code or github, and permitting people to access test code, etc.. The project could grow and in the same time to continue to be controlled by its creator at Zurich's university. <div class="gmail_quote">2011/7/19 Jean-Marc Vanel <<a href="mailto:jeanmarc.vanel@gmail.com">jeanmarc.vanel@gmail.com</a>> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> Hi As I have been very busy in the last months on other tools (in the same tool chain), I want to restate my involvement in Attempto as a tool for real software projects. I ask all people in this list intending to, or having used, Attempto for entering business models, or specifications or business rules, for software applications, to manifest themselves. Although Attempto is usable by trained users in its present version, there are several features missing for usage in the large. I invite you to comment and state your priorities. I'll do so in coming posts. -- Jean-Marc Vanel Déductions SARL - Consulting, services, training, Rule-based programming, Semantic Web <a href="http://jmvanel.free.fr/" target="_blank">http://jmvanel.free.fr/</a> - EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java bytecode +33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16 chat : irc://<a href="http://irc.freenode.net#eulergui" target="_blank">irc.freenode.net#eulergui</a> </blockquote></div> -- --------------------- <a href="https://twitter.com/#%21/ontologiae/" target="_blank">https://twitter.com/#!/ontologiae/</a> <a href="http://linuxfr.org/users/montaigne" target="_blank">http://linuxfr.org/users/montaigne</a>