E-Book Overview
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi?cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni?ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation. The SDL Forum is held every two years and has become the most imp- tant event in the calendar for anyone involved in SDL and related languages and technology. The SDL Forum Society that runs the Forum is a non-pro?t organization whose aim it is to promote and develop these languages.
E-Book Content
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 2078 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Rick Reed Jeanne Reed (Eds.) SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 Proceedings 13 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Rick Reed Jeanne Reed Telecommunications Software Engineering Ltd. 13 Weston House, 18-22 Church Street Lutterworth, Leicestershire, LE17 4AW, UK E-mail: {rickreed/jeanne}@tseng.co.uk Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Meeting UML ; proceedings / SDL 2001, 10th International SDL Forum, Copenhagen, Denmark, June 27 - 29, 2001. Rick Reed ; Jeanne Reed (ed.). Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2001 (Lecture notes in computer science ; Vol. 2078) ISBN 3-540-42281-1 CR Subject Classification (1998): C.2, D.2, D.3, F.3, C.3, H.4 ISSN 0302-9743 ISBN 3-540-42281-1 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2001 Printed in Germany Typesetting: Camera-ready by author, data conversion by Steingräber Satztechnik GmbH, Heidelberg Printed on acid-free paper SPIN: 10781828 06/3142 543210 Preface This volume contains the papers presented at the Tenth SDL Forum, Copenhagen. SDL is the Specification and Description Language first standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved significantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of unified modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and T