[e-lang] SCOLLAR online : first alfa release

[Fred Spiessens]

Dear E-lang mailing list,

I have just released a first alfa online version of SCOLLAR: a tool  
for "Analyzing Safety in Patterns of Collaborating Entities".
SCOLLAR was designed to analyze boundaries on the propagation of  
authority in capability patterns such as the caretaker, gloves, etc.
SCOLLAR is versatile, and can also be used to analyze take - grant  
patterns, and much more.

BUT... USING IT IS NOT SIMPLE !

if you want to try it, please feel free, but I suggest your read and  
understand the documentation first.
In fact, I encourage you to mail the description of your patterns to  
me, so that I can model it for you or help you with it, and add them  
to my thesis as examples, that is if you agree.

For now there are only 4 very simple examples online. One of them is  
the caretaker and uses a simplified model for capabilities (no  
creation, no parenthood, no endowment).  That does not mean that  
SCOLLAR cannot handle this, I'll make a more complete example soon.
You can make your own trials if you enable cookies.
Please warn me if you find any anomalies, the tool is not very robust  
yet. Expect the tool to be down regularly for maintenance.

This is the documentation page, you can click through to SCOLLAR from  
there:
http://www.info.ucl.ac.be/~fsp/scollardoc.html

Currently 3 servers will take turns to analyze your patterns, each  
calculating solutions with a fixed time-out of 30 seconds.
I appreciate all comments and suggestions on any aspect of the website.
I will soon add visualization support, to allow you to inspect the  
access graphs corresponding to the solutions.
For now, you get the result in the form of a list of tables (when you  
click on the corresponding solution button).
Its all in the documentation, and if it is not, mail me, I will add it.

cheers,
Fred.