[Date Prev][Date Next][Date Index]
Einladung zum Vortrag Dines Bjorner
Einladung zum Vortrag
Prof. Dr. Dines Bjørner
Technische Universität Dänemark
UML"-ising Formal Techniques
Mittwoch, 2. Juni 2004, 17h s.t.
Hörsaal EI8, 1040 Wien, Gußhausstraße 25-29, Stiege 1, Erdgeschoss
In this talk we present a number of correlated specifications of example
railway system problems. They use a variety of partially or fully
integrated formal specification. The talk thus represents a mere repository
of what we consider interesting case studies.
The existence of the Unified Modeling Language has caused, for one reason
or another, the research community to try formalise one or another facet of
UML. In this paper we report on another way to achieve what UML attempts to
achieve: Broadness of application, convenience of notation, and
multiplicity of views. Whether these different UML views are unified,
integrated, correlated or merely co--located is for others to dispute. We
also seek to support multiple views, but are also in no doubt that there
must be sound, well defined relations between such views.
We thus report on ways and means of integrating formal techniques such as
RAISE (RSL), Petri Nets Message and Live Sequence Charts, Statecharts RAISE
with Timing (TRSL) and TRSL with Duration Calculus.
In this way one achieves a firm foundation for combined uses of these
formal development techniques, one that can be believably deployed for as
wide a spectrum, or even a wider spectrum of software (and hardware)
development, as, respectively than UML.