Call for Papers

2nd Workshop of the SDL Forum Society on SDL and MSC

SAM2000

June, 26-28, 2000 - GRENOBLE, France

The SDL & MSC workshop will provide an open discussion platform between SDL forums. It addresses topics related to both description and specification techniques. The intended audience ranges from SDL Forum members, tool vendors over researchers and users to standardizers and will be limited to about 100 persons. Being a less formal event than the biennial SDL Forum, the workshop is expected to be a place for intensive discussions enabling the unfolding of ideas for the future development and application of SDL and MSC. The workshop will consist of a set of invited presentations and topic centered breakout sessions. Potential participants of the sessions are also encouraged to submit and present papers reflecting their work. Following the presentations, plenty of time will be made available for in-depth discussions.

Research papers, industrial usage reports, poster displays and tool demonstrations are welcome, particularly in the following areas:

SDL and MSC applications to the development cycle of network protocols and distributed systems engineering:

Requirements capture, specification and verification/validation
Simulation, implementation, debugging and tuning
Testing, test selection, test generation and test coverage
Performance analysis and modeling
Quality of Service modeling and verification
Real time and probability modeling and verification
Integration of SDL and MSC and development methodologies
Case studies

SDL and MSC applications in the areas of:

Multicast and multimedia protocols
Distributed platforms and middleware protocols
Internet protocols
High speed protocols
Mobile communication
Network security protocols
Medium access control protocols, local loop protocols
Factory communication protocols
Field Bus protocols
Case studies

SDL and MSC applications to telecommunication services and distributed applications:

Architectures for telecommunication services (Intelligent Network architecture, TINA, object based architectures, CORBA, COM-DCOM, ActiveX, internet,...)
Service creation, service composition, service and feature interaction
Reusable components architectures
Workflow and Groupware
Case studies

Development of SDL and MSC methods and tools:

Semantic foundations
Formal support to object modeling
Extensions of SDL and MSC
Real-time and probability aspects
Consistency and refinement relations
Practical algorithms and tool support
Case studies

Industrial and business focus:

Corporate strategic and financial consequences of SDL and MSC use
Corporate experiences in SDL and MSC based developments
Tools and training cases for protocols teaching
Case studies

Important Dates

Deadline for submissions	17th April 2000
Notification of acceptance	10th May 2000
Final versions due	10th June 2000
Conference dates	26th - 28th June 2000

Program Co-Chairs:

Yair Lahav - SDL Forum society	Yair.Lahav@sdl-forum.org
Susanne Graf - VERIMAG	Susanne.Graf@imag.fr
Claude Jard - IRISA / CNRS	Claude.Jard@irisa.fr

Submission policy:

Full original research papers and industrial usage reports should be up to 16 pages, 12 point, single-spaced, including an informative abstract as well as names and affiliations of all authors, and a list of keywords facilitating the assignment of papers to referees. For industrial usage reports, short papers up to 8 pages are also welcome. Authors should indicate a contact author (including postal and E-mail address) and the preferred category (research paper or industrial usage report) in which the paper should be considered. Authors are strongly encouraged to use A4 size papers and to make sure that their submissions are easy to print on a variety of postscript printers (e.g. by using standard fonts). Authors are required not to submit papers that have been submitted to another conference or a journal.
The submitted paper format can be PostScript, PDF or MS word for windows.
Authors are encouraged to submit their full original research papers and industrial usage reports electronically. Submissions should be made to the following address: Sam2000@sdl-forum.org

WEB:

More information on SAM2000 can be found at the following URL:

http://www.irisa.fr/manifestations/2000/sam2000/