This email is being sent to several lists: you may receive it more than
once.
**********************************************************
*** 3rd Workshop on SDL and MSC ***
*** Telecommunication and beyond: ***
*** The broader applicability of SDL and MSC ***
*** SAM 2002 ***
*** Aberystwyth, Wales June, 24-26 2002 ***
**********************************************************
Co-organised by the SDL Forum Society
University of Wales, Aberystwyth
Complete and up to date information can be found at:
http://www.sdl-forum.org/Events/SAM03.htm
http:/www.sdl-forum.org/Events/SAM03Contest.htm
C A L L F O R P A P E R S
----------------------------
The SDL and MSC (SAM) workshop provides an open discussion arena in the year
between SDL Forums, which are held every two years.
It addresses topics related to both description and specification techniques
for distributed (real-time) systems. The intended audience ranges from SDL
Forum members, tool vendors through researchers and users to standardisers
and industrial users. Being a less formal event than the biennial SDL Forum,
the SAM workshop is a place for intensive discussions enabling the unfolding
of ideas for the future development and application of SDL and MSC. To
facilitate such discussion, participation in the 2002 event will be limited
to about 100 persons, and the fees will be set at the economical level
(around 250 Euros for Society members excluding VAT). The workshop will
consist of a set of invited presentations and topic-centred breakout
sessions. Following the presentations, plenty of time will be made available
for in-depth discussions. The workshop will also host the SDL-2000 Design
Contest (see http:/www.sdl-forum.org/Events/SAM03Contest.htm).
Research papers, poster displays and tool demonstrations are welcome,
particularly in (but not restricted to) the following areas:
* SDL and MSC applications in the areas of:
- Requirements capture, specification and verification/validation
- Simulation, implementation, debugging and tuning
- Testing, test selection, test generation and test coverage
- Performance analysis and modelling
- Quality of Service modelling and verification
- Real-time and probability modelling and verification
- Integration of SDL and MSC and development methodologies
- Reverse engineering and re-engineering
- Protocols
- Telecommunication services
- Component architectures
- Distributed applications
* Development of SDL and MSC methods and tools:
- Semantic foundations
- Formal support to object modelling
- Using MSCs to synthesize state machines
- Pattern-based design
- Extensions of SDL and MSC
- Generation of SDL and MSC from other models
- 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
Contributions that cover SDL-2000 and MSC-2000 are especially welcome.
Important Dates
Deadline for submissions: 8th February 2002
Notification of acceptance: 8th April 2002
Final versions due : 10th June 2002
Design Contest submissions: 12th May 2002
Conference Dates : 24-26th June 2002
Programme committee:
Andreas Prinz, Rick Reed, Uwe Glaesser, Edel Mary Sherrat, Chris Loftus,
Reinhard Gotzhein, Joachim Fischer, Dieter Hogrefe, Ekkart Rudolph, Rolv
Braek, Susanne Graf, Sjouke Mauw, Nikolai Mansurov, Clive Jervis, Daniel
Amyot, Thomas Weigert, Bob Probert.
Submission policy:
-----------------
Research papers may be of any length that captures the issues to be
presented and discussed, but publication of papers longer than 16 pages (A4
- preferred, single spaced, 12 point font) will be considered on merit.
Paper proposals shall include an informative abstract and the paper content.
Shorter contributions (less than 8 pages) shall indicate whether they are
intended to be considered as papers for presentation, or for "posters".
Submissions need not contain final results. All contributions shall include
a list of keywords: these enable classification and the selection of
appropriate reviewers. Authors shall indicate if the contribution (or a
similar contribution) has been submitted for publication in another
conference or in a journal, and shall name any such conference or journal.
The contact author shall be clearly indicated and the postal and email
address given for the contact. The names and affiliation of all authors
shall be given.
The submission format should be PDF - preferred, Postscript, MS Word or
LaTeX. The final submission format will be notified later. Submissions
should be sent to the following email address:
[EMAIL PROTECTED]
Submissions will normally be acknowledged within one week.
Accepted papers will be published in a BCS series of publications after the
SAM event. At the workshop there will be a CD-ROM and delegates handouts.
------------
The details of the Design Contest can be found on the WWW page, and on a
different email.
--
[EMAIL PROTECTED]
