Erlang and Mozart-Oz

[Alex Peake]

The context of this question is we are currently writing a large system in Erlang. I have been studying Mozart-Oz, on and off for some time, and it appears to have much in common, and much beyond Erlang.

So I ask "could this system we are building have benfited from being implemented in Mozart-Oz?" (To see what we do visit www.schoolmessenger.com)

I have been reading about the Fault module and comparing it with the OTP aspect of Erlang (gen_server and the supervisory structure). It appears that the Mozart-Oz "could" do this, but you would have to write the pieces yourself. Is this a fair assessment?

Another aspect we find invaluable is Erlang Mnesia -- as a distributed fault-tolerant data store. How would you address this in the Mozart-Oz world?

As a final question -- if we implement in Erlang, and would want to make use of the power of Mozart-Oz (for contraint programming for example), is a C++ interface our only hope of reasonable interaction? Or maybe raw TCP/IP between processes?

Thanks for any insight

Alex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/attachments/20060107/696c7d8e/attachment.html