[Attempto] Attempto and building software applications

[Pierre-Alexandre Voye]

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.

2011/7/19 Jean-Marc Vanel <jeanmarc.vanel at gmail.com>

> 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
> http://jmvanel.free.fr/ - 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://irc.freenode.net#eulergui
>



-- 
---------------------
https://twitter.com/#!/ontologiae/
http://linuxfr.org/users/montaigne
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20110719/9c2d8462/attachment.html>