OSMOSE WP2 - behavior framework (fwd)

[Jiri Adamek <adamek@xxxxxxxxxxxxxxxxxxxx>]

This mail was sent to potential partners in behavior framework.
-------------- FORWARDED MESSAGE ------------------------------

Dear OSMOSE WP2 participants,

as Charles University has become the leader of the Behavior framework of 
OSMOSE WP2, we are now searching for interested partners. The main topic 
for the framework will be applications of formal methods within the 
OSMOSE project. As we assume formal methods are in the scope of your 
interest, we would like to invite you to participate in the framework.

Here is our vision of what should be done within the behavior framework:
- to define behavior specification mechanism suitable for describing
   (middleware) components
- to embed the mechanism within the component model developed in the
   component framework of WP2 (Fractal is assumed to be the reference
   model here)
- to implement tools for checking properties of the
   behavior specifications( in particular of those you would consider 
important in your application area)

We will try to use our behavior protocols as a basis for the new
specification mechanism. Naturally, this is an intial proposition, not 
to interpreted as we are not open to other ideas (suggestions are welcome).

More info on our behavior protocols can be found on

http://nenya.ms.mff.cuni.cz/projects/sofa/tools/doc/compmodel.html#N2740

and published papers:

http://nenya.ms.mff.cuni.cz/publications/tse2002.pdf
http://nenya.ms.mff.cuni.cz/publications/adamek_plasil_jsme2003.pdf
http://nenya.ms.mff.cuni.cz/publications/tools.pdf
http://nenya.ms.mff.cuni.cz/publications/AdamekPlasil-USE2003.pdf

If you are interested in a participation in the behavior framework,
please, write Jiri Adamek an e-mail with your intentions and plans so 
that we will be able to embed them in some kind of position statement 
Jiri is preparing and which is going to be published on the behavior
working group forum at

http://www.objectweb.org/phorum/list.php?f=47

Best regards.

Frantisek and Jiri