Lecture Notes in Computer Science

Meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings

By: Rick Reed (Editor), Jeanne Reed (Editor)

Write A Review

Paperback | 18 June 2001

At a Glance

Paperback
456 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

Tools
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems	p. 1
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems	p. 19
2001 and Beyond: Language Evolution
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams	p. 38
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems	p. 52
Combined SDL and UML
Collaboration-Based Design of SDL Systems	p. 72
Using UML for Implementation Design of SDL Systems	p. 90
Deployment of SDL Systems Using UML	p. 107
Unified Testing
Invited Presentation: ETSI Testing Activities and the Use of TTCN-3	p. 123
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing	p. 129
Graphical Test Specification - The Graphical Format of TTCN-3	p. 148
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation	p. 168
Timing
Verification of Quantitative Temporal Properties of SDL Specifications	p. 182
A General Approach for the Specification of Real-Time Systems with SDL	p. 203
Timed Extensions for SDL	p. 223
UUnified ITU-T Language
ASN.1 Is Reaching Out!	p. 241
Distributed Systems: From Models to Components	p. 250
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications	p. 268
SDL Application
An SDL Implementation Framework for Third Generation Mobile Communications System	p. 288
OSPF Efficient LSA Refreshment Function in SDL	p. 300
Using SDL in a Stateless Environment	p. 316
MSC
An MSC Based Representation of DiCons	p. 328
Some Pathological Message Sequence Charts, and How to Detect Them	p. 348
An Execution Semantics for MSC-2000	p. 365
Test and Verification
Comparing TorX, Autolink, TGV and UIO Test Algorithms	p. 379
Verifying Large SDL-Specifications Using Model Checking	p. 403
Applying SDL Specifications and Tools to the Verification of Procedures	p. 421
Author Index	p. 439
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

Meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Expert Systems & Knowledge-Based Systems

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Non-prioritized Belief Change

Foundations, Theory, and Algorithms

Advances in Computational Intelligence. MICAI 2025 International Workshops

HIS 2025, CIAPP 2025, WILE 2025, CHARAL 2025, ECSI 2025 Workshops, Guanajuato, Mexico, November 3â"7, 2025, Proceedings, Part I

Artificial Intelligence in Cybersecurity

Use AI to Protect Your Organization

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Agentic AI For Dummies

For Dummies (Computer/Tech)

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Scaling Responsible AI

From Enthusiasm to Execution

Autonomous Minds

How Agentic AI Predicts and Learns to Enable Productivity and Empowerment

SECRETS OF MACHINE LEARNING

How It Works and What It Means for You

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

Artificial Intelligence For Dummies

For Dummies (Computer/Tech)

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

Next-Generation Smart Cities

The Integration of AI, Blockchain, IoT and Emergent Networks

Next-Generation Smart Cities

The Integration of AI, Blockchain, IoT and Emergent Networks

Pioneers in AI

OpenAI and the Builders of Artificial Intelligence

Agentic AI for Healthcare

Building Scalable Models for Production

Intelligent and Sustainable Systems

AI, Green IoT, and Adaptive Automation in Electrical and Communication Technologies

AI for the Ordinary

A Non-Technical Playbook for Citizens, Students, and Managers

AI for the Ordinary

A Non-Technical Playbook for Citizens, Students, and Managers

AI for Marketing

The Consumer Perspective

AI for a Just World

Power, Liberation, and the People Left Behind

This product is categorised by