Hey Paul What is MSC (SAM) ? Sorry I missed that one... Regards
Steen Oluf Karlsen Soholtvej 6 Vester Vandet DK-7700 Thisted Danmark email [EMAIL PROTECTED] Tel +45 97 97 72 72 -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]On Behalf Of Paul Thorpe Sent: 22. november 2001 02:04 To: [EMAIL PROTECTED] Subject: [ASN.1] SAM03: Call for Papers (fwd) ---------- Forwarded message ---------- Date: Wed, 21 Nov 2001 21:50:55 +0000 From: Jeanne Reed <[EMAIL PROTECTED]> To: [EMAIL PROTECTED], [EMAIL PROTECTED] Subject: SAM03: Call for Papers 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]
