Question about choice projection Hi, I'm working on encoding some behaviour which, abstracted, takes the following form: global protocol ChoiceProjectionTest(role A, role B, role C) { rec Rec { Msg1() from A to... 
Question about Parallel Scopes Hi, Firstly, thanks for the creating a great tool I'm currently in the process of reimplementing the Scribble monitoring runtime (in a different language) for a project I'm working on. This got me thinkin... Questions about the Scribble tools The ABCD group in Glasgow have started trying the Scribble tools. I have a couple of questions based on this example: module TwoBuyerGlobal; type <java> "java.lang.String" from "rt.jar" as String; ... 
Version 0.3.0.Final Released Version 0.3.0.Final of the Java tools for the Scribble.org project have been released. The final release has removed the prototype trace file editor introduced in M6, as after further consideration a form base... 
Version 0.3.0 Milestone 6 Released Hi Milestone 6 of version 0.3.0 is now available from the Java tooling section of the scribble.org website: http://scribble.github.io/scribble-java.html This release includes a new Eclipse based editor ... Tracing parallel events We're having difficulty with a core feature of monitors for scribble. Sequential protocols can be monitored correctly. However, we can't seam to monitor protocols with parallel composition. The following simpl... 
Version 0.3.0 Milestone 5 Released Hi Milestone 5 of version 0.3.0 is now available from the Java tooling section of the scribble.org website: http://scribble.github.io/scribble-java.html This release includes some bug fixes, a n... Error creating new protocol With the eclipse plugin I get an error when I try to create a new protocol: The selected wizard could not be started. Plug-in org.scribble.editor.tools was unable to load class org.scribble.editor.tools.editor.... Protocol validation on compilation time using scribble Hello, I would like to know if I can use existing Scribble tools to check if a Java code respects the given protocol at compilation time. 
Simple question Hello, I am confused about how to access the protocols from Java code. I just want to be able to access the roles, the protocol and write them down in the console. What I wrote so far: public class M... 
Error starting the parser Hello, When I try to run the sample, I get the following error: c:\Users\okta\Downloads\scribble-tools-cli-2.0.0.Final\bin>parse.bat Purchasing.spr ERROR: Error starting file:/c:/Users/okta/Downloa... 
Reinventing the wheel. Hi, I am interested to know the reason for starting this project. Considering there is the existing formal verification tools already used in academia and industry such as SPIN http://spinroot.com ... 
Protocol fork/join notation https://issues.jboss.org/browse/SCRIBBLE-137 This is the discussion thread for the proposed fork/join notation for the scribble protocol language. Any suggestions please comment in this thread, and once consen... Scribble protocol language extensions Version 2.0.0.Final of the Scribble Java tools has now been released, and implements version 1 of the Scribble Protocol Notation. Subsequent versions of the language will look at further language extensions, t... Eclipse tools not available Hey When going to http://www.jboss.org/scribble/downloads it says that to download the Eclipse tools you should go to http://downloads.jboss.org/scribble/releases/updates/2.x - where I get a "Forbidden". ... 
Assertions in the protocol guide? The latest Protocol Guide (in scribble-2.0.0.20110303-M4), talks about assertions. Yet there is no further information for assertions. How do I use assertions? 
Scribble 2.0.0.M3 released Hi Version 2.0.0.M3 of the tools has been released which now (hopefully) include all of the changes to the protocol notation, as discussed in the development thread: http://community.jboss.org/message/573251#5...
Log in to follow, share, and participate in this community.