|
Józef Winkowski
Towards a Framework for Modelling Systems with Rich Internal
Structures of States and Processes
973
Abstract
The paper is concerned with modelling object-oriented distributed
computational systems. Systems are modelled by specifying their states
and processes. Processes of a system are defined as activities in
a universe of objects, each object with a set of possible states,
each activity changing states of some objects and establishing or
destroying relations among objects. Partial operations on processes
of a system are defined, including an operation that allows one to
compose processes
whenever one process is a continuation of another. It is shown that the
set of processes of a system form together with these operations a
category with an additional structure and special properties.
In particular, independence of processes can
be characterized in a natural, purely algebraic way.
Keywords: Distributed systems, object-oriented systems, processes,
sequential composition, parallel composition, category, independence.
|
|
 |
 |
