Re: [architecture] Behavior framework proposal

["Mickael Remond" <mickael.remond@xxxxxxxxxxxxx>]

On Tue, 30 Mar 2004 10:53:47 +0200, Julie Marguerite  
<Julie.Marguerite@xxxxxxxxxxxx> wrote:

> All,
>
> Please find attached the first version of the behavior framework.
> The purpose is to extend the Fractal component model with behavior
> specifications of components.
>
> You can provide feedback on the behavior mailing list at
> behavior@xxxxxxxxxxxxx

Hello,

I have read your document and it is interesting.

I think you should check previous work done by Joe Armstrong in UBF  
(http://www.sics.se/~joe/ubf/site/home.html). UBF is originally a language  
for transporting and describing complex data structures across a network.  
But it also provide a contract checker, that is aware of the state of the  
client and the server dialog and ensure that both act in conformance to  
the protocol finite state machine definition. It also check types.

This development is very interesting because it has been proven to help  
determine who from the client or the server has broken the protocole. This  
is really usefull both for production applications, where you do not know  
the client who will be using your interface, but also for debugging  
clients and servers.

UBF is not tied to a specific language or platform. The initial  
implementation is in Erlang, but a Java implementation has also been made  
to validate the concept. I do not think that the contract checker is  
available in Java, however.

Please, do not hesitate to contact me if you need further informations or  
want to now more about the possible integration in the Fractal Objectweb  
framework.

I hope this helps.

--
Mickaël Rémond
 http://www.erlang-projects.org/