Subject: RE: SDL-News: Specifying capacities of queues, ...
From: Philippe Leblanc (leblanc#tlse.verilog.fr)
Date: Wed May 27 1998 - 14:05:00 GMT
The originator of this message is responsible for its content.
-----From Philippe Leblanc <leblanc#tlse.verilog.fr> to sdlnews -----
Bernd,
In the ObjectGEODE toolset, the limitation of queue sizes or process instance creations is not specified in the SDL model but by means of filtering commands in the Simulator-Validator.
For example to limit to 5 the maximum number of messages stored in the queue of the 2nd instance of process p1, you must enter the following command:
filter length (p1(2)!queue) > 5
To prohibit the creation of the 6th instance of process p2, you must enter:
filter create p2(6)
Therefore, you can easily change your constraints and observe the resulting model behavior (which is strictly a subset of the unconstrained model behavior, filtering does not change the model semantics), without modifying the model itself.
Regards,
Philippe Leblanc
-- Tel.: +33 (0)5 61 19 29 33 Switchboard: +33 (0)5 61 19 29 39 Fax: +33 (0)5 61 40 84 52 Email: leblanc#verilog.fr VERILOG S.A. BP 1310 F-31106 Toulouse Cedex - France http://www.verilogusa.com---------- De: Bernd Grahlmann[SMTP:bernd#informatik.uni-hildesheim.de] Date d'envoi: mardi 26 mai 1998 14:53 A: sdlnews#sdl-forum.org Objet: SDL-news: Specifying capacities of queues, ...
The originator of this message is responsible for its content. -----From bernd#informatik.uni-hildesheim.de (Bernd Grahlmann) to sdlnews -----
Dear SDL users and tool builders,
we are currently integrating SDL support into our verification tool `PEP'. As far as verification is concerned, it makes sense to restrict the capacity of channels and input queues, as well as the maximal number of instances of a procedure which may be concurrently active. In order to be compatible with other (existing) tools, I would like to know `if' and `how' these bounds can be (explicitly) specified in the phrase representation (PR) within other tools.
Any hints are much appreciated.
Cheers, Bernd
********************************************************************* Bernd Grahlmann Universit"at Hildesheim Dipl. Inform. Institut f"ur Informatik Telefon (+49) 05121 / 883 -760 /-740 Samelsonplatz 1 Telefax (+49) 05121 / 860 475 D-31141 Hildesheim
bernd#informatik.uni-hildesheim.de http://www.informatik.uni-hildesheim.de/~bernd/HomePage.html *********************************************************************
-----End text from bernd#informatik.uni-hildesheim.de (Bernd Grahlmann) to sdlnews ----- For help, email "majordomo#sdl-forum.org" with the body of your email as: help or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org
-----End text from Philippe Leblanc <leblanc#tlse.verilog.fr> to sdlnews ----- For help, email "majordomo#sdl-forum.org" with the body of your email as: help or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org
This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT