(This call is posted to multiple mailing lists) (We apologize if you are receiving multiple copies)

++++++++++++++++++++++++ C A L L F O R P A P E R S +++++++++++++++++++++++

ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL) http://www.issre.org/2004/workshop.php 02 Nov 2004: IRISA, Rennes, France

ISSRE is a yearly conference organized by the IEEE. WITUL is one of several workshops attached to ISSRE 2004. The great need for reliability and wide use of the system design languages such as UML, SDL, TTCN, MSC and ASN.1 in the last few years has emphasised the need for integration. The recent version of UML (UML 2.0) integrates languages such as MSC and SDL which had been developed by ITU-T into UML. The future perspective is that for real time systems the distinction between UML and use of the ITU languages will disappear. Although UML2.0 is approved, the envisaged evolution is not yet complete and work continues on profiles for various notations (to be published in ITU) and on Model Driven Architecture (MDA) in OMG.

The ITU-T has a work plan for standardisation of UML profiles for ASN.1, SDL, MSC and TTCN and a project on language co-ordination. The ISSRE04 conference takes place between the last meeting of the ITU study group for languages in one period and the first meeting in the next period. It is therefore an ideal time to critically review the future of UML 2.0 and the ITU-T languages.

The objective of this short workshop is therefore: 1. To consider further evolution of the ITU-T languages, in particular taking into account reliability issues; 2. To allow ISSRE participants to learn more about the ITU-T languages; An indicative collaborative paper is to be produced (post event) that will be contributed to main bodies interested in the language standards (ITU, ETSI, and the SDL Forum Society).

The format for the day will be to start with some overview papers on the languages, followed by papers making proposals for evolution of languages or related standards (such as UML, or MDA), and conclude with a discussion as input to the indicative paper. The actual format will depend on contributions, which are invited on the following or related topics: . The vision for the future evolution and use of formal techniques in general (including - but not limited to - the ITU languages, B, VDM, Z) for protocols, web services, software components, and software-on-chip; . Methodology, Model Driven techniques, and Reference Modelling related to ITU-T languages and/or UML in telecommunications particularly with respect to reliability; . Simplicity versus Complexity (ease of use, power of expression, number of languages & tools needed for engineering .). . Integration of ITU-T languages with each other and with UML - the latter both as a set of notations and a framework for the ITU-T languages especially with respect to reliability improvement; . Techniques for specifying and implementing formal languages (graphical syntax specification, meta-grammars and modelling, definition of behaviour, language reference models); . Engineering needs not covered by current ITU-T languages (requirements capture, goal evaluation, performance estimation, proof obligations...); . Tutorial overview papers that emphasise reliability issues in relation to ITU-T languages;

The "ITU-T languages" are: ASN.1 Abstract Syntax Notation One ITU X.680 - X.689; SDL Specification and Description Language ITU Z.100 - Z.109; MSC Message Sequence Chart ITU Z.120 - Z.129; eODL extended Object Description Language ITU Z.130 - Z.129; TTCN Test and Test Control Notation ITU Z.140 - Z.149; URN User Requirements Notation ITU Z.150 - Z.159.

Papers should preferably be unpublished work, so that they can be considered for post event publication. It is being proposed to publish a selection of papers and the results of the workshop in a Special Issue of Computer Networks (ISSN 1389-1286) after the event. Submissions should not exceed 16 pages (A4 paper, 12pt Times or similar). Electronic file submission via http://sdl-forum.org/issre04-witul/submit.html is mandatory. The preferred formats are PDF or Postscript (compressed) and Authors should ensure information (such as fonts) is embedded in the files, so that they can be printed world-wide. It is anticipated that the final papers will be processed in LaTeX format, so authors may wish to take this into account in submissions, but MS Word is also a good choice for initial work.

It is anticipated that between 8 - 14 papers will be selected and the workshop will be divided into 4 sessions. As the intention is to promote discussion at the workshop, for non-tutorial papers it should be anticipated that at most 15-20 minutes is allowed for presentation (excluding questions). However, it is intended to Web publish material in the week before the event, so that participants have an opportunity to review material before the work shop. The objective is to minimise presentation time and maximise discussion time. Selection of papers will be on the contribution made to the work shop objectives above.

Dates (tentative) Fri 13 Aug 2004 Submission of title, authors, abstract Fri 27 Aug 2004 Submission of full paper to be presented Fri 17 Sep 2004 Notification of acceptance Mon 18 Oct 2004 Submission of material for WWW publication Mon 25 Oct 2004 Final date for delegate's copy material Tue 02 Nov 2004 ISSRE04 Workshop Using ITU-T languages for reliability Mon 29 Nov 2004 Revised paper for publication

Organising Committee Dieter Hogrefe - Institute for Informatics, University of Goettingen (Chair) Rick Reed - SDL Forum Society Constantin Werner - Institute for Informatics, University of Goettingen

Programme Committee Fabrice Dubois, France Telecom R&D Anders Ek, Telelogic, Sweden Jens Grabowski, University of Goettingen Clive Jervis, Motorola USA Qing Li, University of Ottawa Eric Wong, University of Texas Arve Meisingset, Telenor, Norway Ana Cavalli, INT, France Steve Randall, PQM, UK Lisa Ritchie, Solinet, Germany Amardeo Sarma, NEC, Germany Umit Uyar, City University of New York, USA

++++++++++++++++ END CALL FOR PAPERS ++++++++++++++++++