Submission:

Title:

Specification of Distributed Systems with Algebraic and Transitional Techniques

Author:

Natalia Ioustinova

Address:

Rostock University, Germany

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.