RE: SDL-News: Specifying capacities of queues, ...


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