Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2 Winkowski J.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: składanie sekwencyjne

Sortuj według:

Ogranicz wyniki do:

An axiomatic characterization of algebras of processes of Petri Nets

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2005

Nr 987

1-19

Praca dotyczy algebr, które można otrzymać przez wyposażenie zbiorów procesów sieci Petriego w składanie sekwencyjne i równoległe. Rozważane algebry są kategoriami z dodatkową strukturą i z dodatkowymi własnościami. Dowodzi się, że wszystkie struktury algebraiczne o takich własnościach dają się przedstawiać jako algebry procesów sieci Petriego.

Towards a framework for modelling systems with rich internal structures of states and processes

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2004

Nr 973

1-36

The paper is concerned with modelling object-oriented distributed computational systems. Systems are modeled 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 from 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.

Praca dotyczy modelowania obiektowo zorientowanych rozproszonych systemów komputerowych. Systemy są modelowane przez specyfikowanie ich stanów i procesów. Procesy systemu są definiowane jako działania w pewnym uniwersum obiektów, gdzie każdy obiekt ma zbiór możliwych stanów a każda działalność zmienia stany niektórych obiektów i tworzy lub likwiduje relacje między obiektami. Zdefiniowano operacje na procesach systemu, w tym operację pozwalającą składać procesy z których jeden jest kontynuacją drugiego. Pokazano, że zbiór procesów systemu wyposażony w te operacje jest kategorią z dodatkową strukturą i specyficznymi własnościami. W szczególności, niezależność procesów daje się scharakteryzować algebraicznie.