Conf. Registration
Exhib. Registration
Hotel/Travel Info
Invited Speakers
Industry Track
Posters & Demos
PhD Symposium
Tool Exhibit
Important Dates
Previous Editions


Tutorial 1

[ Presenter | Abstract | Context | Teaching Objectives | TOC | Method | Presenter Biography ]

7th International Conference on the
Unified Modeling Language

<<UML>> 2004

October 10, 2004

Constructing Tool-Support for Sophisticated Analysis of UML Models: A Hands-On Introduction

Presenter: Jan Jurjens
Software and Systems Engineering
TU Munich
Boltzmannstr. 3
85748 Munchen/Garching Germany
E-mail: juerjens[at]in[dot]tum[dot]de
Duration: Half Day
Date: Sunday October 10, 2004 - morning (9:00 - 12:30)


UML is now widely used as a notation to support informal discussions between customers and developers, and among developers, and for basic tasks such as generating class definitions. There is, however, a potential for a more far-reaching use of UML within model-based development that could increase efficiency and quality. This potential can be realized by making a tool-supported use of the UML models for

  • mechanical analysis of (potentially complicated) system requirements on the model level (for example by tool-bindings to model-checkers, constraint solvers, automated theorem provers), consistency checks etc.
  • generation of behavioral code from the models
  • generation of test-sequences for conformance testing
  • mechanical analysis of system configurations against UML models

The tutorial aims to give a hands-on introduction to developing advanced tool-support for model-based development with UML.
Participants will learn to create their own small analysis application during the tutorial.


The tutorial is a continuation of a series of about 30 tutorials at international conferences (see http://www4.in.tum.de/~juerjens/csdumltut; note that the proposed tutorial is not concerned with critical systems development).

It also builds on the following material by the presenter (see http://www4.in.tum.de/~juerjens/publications.html):

  • a book on Secure Systems Development with UML (Springer-Verlag, due 2003)
  • four invited talks
  • three invited graduate courses
  • about 30 articles at international conferences

It also includes experiences from the development of the AutoFocus tool-set (http://autofocus.in.tum.de/index-e.html), which is a CASE-tool with a UML-like notation providing the features mentioned in the abstract which is currently used in industrial projects, and from the development of similar tool-support for UML in student projects involving about 30 students.

Teaching Objectives

By the end of the tutorial, the participants will have knowledge on issues and problems in tool-supported model-based development with UML. They will be able to make use of this knowledge when developing or analyzing software-based systems. Participants will learn to create their own small analysis application during the tutorial. They will have an idea what changes are to be expected from UML 2.0 in this respect.

Table of contents

The tutorial presents the current academic research and industrial best practice by addressing the following seven main subtopics (of each about 20-30 min. duration):

1. Background

1.1. Introduction
1.2. Previous Experiences from AutoFocus

2. Using UML

2.1. Introduction to tool-support for UML
2.2. Realising advanced tool-support for UML
2.3. Tool demos
2.4. Participants create their own small analysis application during the tutorial.
2.5. Discussion on the role of advanced tool-support for model-based development with UML
2.6. Outlook


Teaching Method

Interactive lecture with hands-on exercises. Generous time for question and answers will be provided. Participants create their own small analysis application during the tutorial (in group work). Discussion on requirements on advanced tool-support for UML.

Speaker Biography

(see also http://www4.in.tum.de/~juerjens )

Jan Jurjens leads the Competence Center for IT-security within the Software & Systems Engineering chair at TU Munich (Germany). He is the author of a book on Secure Systems Development with UML (Springer-Verlag, 2004) and about 30 papers in international refereed books, journals, and conferences, mostly on computer security and safety and software engineering, and has given several invited talks at international conferences. He has created and lectured a course on secure systems development at the University of Oxford, several invited summer school courses and about 30 tutorials at international conferences. He is the initiator and current chair of the working group on Formal Methods and Software Engineering for Safety and Security (FoMSESS) within the German Society for Informatics (GI). He is a member of the executive board of the Division of Safety and Security (Fachbereich Sicherheit) within the GI, the executive boad of the committee on Modeling (QFA Modellierung) of the GI, the advisory board of the Bavarian Competence Center for Safety and Security (KoSiB), the working group on e-Security of the Bavarian regional government, and the IFIP Working Group 1.7 "Theoretical Foundations of Security Analysis and Design". He has been leading various security-related projects with industry and has acted as a reviewer for EU research projects.

Received awards include a scholarship from the German National Merit Foundation (Studienstiftung des deutschen Volkes) and a best student paper award. He has studied Mathematics and Computer Science at the Univ. of Bremen (Germany) and the Univ. of Cambridge (GB) and received a M.Sc. degree from the Univ. of Bremen. He has done research towards a PhD at the Univ. of Edinburgh (GB), Bell Laboratories (Palo Alto, USA), and the Univ. of Oxford (GB) and received a DPhil (Doctor of Philosophy) in Computing from the Univ. of Oxford.




Last Update: October 7, 2004