First Name Natalia Last Name Ioustinova Adress Universität Rostock Fachbereich Informatik Institut für Technische Informatik Lehrstuhl für Informations- und Kommunikationsdienste Albert Einstein Strasse 21 D-18059 Rostock Deutschland Phone Number +49-(0)381-498/3375 Fax +49-(0)381-498/3440 Email ustin@informatik.uni-rostock.de Home Page http://www.tec.informatik.uni-ostock.de/(en)/IuK/staff/ustin.html

Research Topics

Specification and modelling of distributed systems

Title:

Specification of Distributed Systems with Algebraic and Transitional Techniques

Abstract:

There exist several formal approaches to specification. A technique for the specification of distributed systems should cover both data and behavioural aspects of the specified system. The algebraic approach is a well-elaborated one with regard to the specification of data aspects. To adequately represent behavioural aspects of distributed systems, this approach should be extended by a model able to deal with parallelism and non-determinism. The goal of the presented research is to develop a specification language for distributed systems that incorporates algebraic data types and defines distributed systems in terms of states and transitions.