|
|
 |
7th
International Conference on the
Unified Modeling Language
<<UML>>
2004
October
10, 2004
Lisbon, PORTUGAL
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
http://www4.in.tum.de/~juerjens/
|
| Duration:
|
Half
Day |
| Date:
|
Sunday
October 10, 2004 - morning (9:00 - 12:30)
|
|
|
Abstract
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.
|
Context
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.
|
|
|
