Model now updated to scribble_spec_002 The model and parser have now been updated to incorporate all the notation described in the scribble_spec_002 version, with the exception of: (1) The 'unordered' infix '&' notation (2) The import s... 
Validation mechanism updated Validation mechanism has now been updated. The org.scribble.protocol.validation.ProtocolValidationManager is the overall manager component, responsible for performing the validation task on a protocol model. I...
Log in to follow, share, and participate in this community.