PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 16

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  sequential composition
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Towards a universal model of action
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2016
|
Nr 1035
1--32
EN
In the paper a model of action is described that is universal in the sense that it may serve to represent actions of any kind: discrete, continuous, or partially discrete and partially continuous. The model is founded on the assumption that an action is executed in a universe of objects. It describes how the possible executions change the situation of involved objects. It exploits the fact that executions are represented such that fragments of executions are represented such that their closed segments admit only trivial automorphisms. The model has an algebraic strucure and it is a directed complete partial order.
PL
Praca zawiera opis pewnego modelu akcji, który jest uniwersalny w tym sensie, że może służyć do reprezentowania akcji dowolnego rodzaju: dyskretnych, ciągłych, lub częściowo dyskretnych i częściowo ciągłych. Model ten opiera się na za lożeniu, że akcja jest wykonywana w pewnym środowisku obiektów. Opisuje jak możliwe wykonania akcji zmieniają sytuacje zaangażowanych obiektów. Wykorzystuje fakt, że fragmenty wykonań akcji są reprezentowane tak, że ich ograniczone segmenty mają jedynie trywialne automorfizmy. Model ma pewną strukturę algebraiczną i częściowy porządek przy którym podzbiory skierowane mają kresy górne.
2
Content available remote An algebraic framework for concurrent systems
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2012
|
Nr 1023
1-134
EN
The paper contributes with a concept of process viewed as a model of a run of a system (discrete, continuous, or of a mixed type), with operations allowing to define complex processes in terms of their components, and with the idea of using the formal tools thus obtained to define the behavionrs of concurrent systems.A process may have an initial state (a source), a final state (a target), or both. Processes of which one is a continuation of the other can be composed sequentially. Independent processes, ie. processes which do not disturb each other, can be composed in parallel. Processes may be prefixes, i.e. independent components of initial segments of other processes. Processes and operations on processes are represented by partially ordered multisets of a certain type and operations on such multisets.Processes in a universe of objects and the sequential composition of processes form a partial category, called a partial category of processes. Processes in a universe of objects and the operations of composing processes seąnentially and in parallel form a partial algebra, called an algebra of processes. Partial categories and algebras of processes belong to axiomatically defined classes of partial algebras, called behaviour-oriented partial categories and behaviour-oriented algebras. Some of behaviour-oriented partial categories and behaviour-oriented algebras can be represented as partial categories of proces es and algebras of processes. Partial categories and algebras of processes can be used to define behaviours of concurrent systems. Namely, the behaviour of a system can be defined as the set of possible processes of this system with a structure on this set. The stucture reflexes the prefix order and makes the set of possible processes a directed complete poset. Partial categories and algebras of processes can also be used to define behaviours with states and processes provided with specific structures, to define operations on behaviours similar to those in the existing calculi of behaviours, and to define random behaviours.
PL
W pracy sformułowano pojęcie procesu rozumianego jako model przebiegu pewnego systemu (dyskretnego, ciągłego, lub mieszanego typu), wprowadzono operacje pozwalające wyrażać procesy złożone przez ich składowe, oraz przedstawiono ideę użycia tych środków do definiowania zachowań systemów współbieżnych. Proces może mieć stan początkowy, stan końcowy, lub oba te stany. Procesy z których jeden jest kontynuacją innego mogą być złożone szeregowo. Procesy niezależne, tzn. takie, które sobie nie przeszkadzają, mogą być złożone równolegle. Procesy mogą być prefiksami, tzn. niezależnymi składowymi segmentów początkowych innych procesów. Procesy w pewnym uniwersum obiektów i szeregowe składanie procesów tworzą kategorię częściową zwaną częściową kategorią procesów. Procesy w pewnym uniwersum obiektów i operacje szeregowego i równoległego składania procesów tworzą algebrę częściową, zwaną algebrą procesów. Częściowe kategorie i algebry procesów należą do aksjomatycznie definiowalnych klas algebr częściowych zwanych zachowaniowo-zorientowanymi kategoriami częściowymi i zachowaniowo-zorientowanymi algebrami. Pewne zachowaniowo-zorientowane kategorie częściowe i zachowaniowo-zorientowane algebry mogą być reprezetowane jako kategorie częściowe procesów i algebry procesów. Kategorie częściowe i algebry procesów mogą służyć do definiowania zachowań systemów współbieżnych. Mianowicie, zachowanie systemu można definiować jako zbiór możliwych procesów tego systemu z pewną strukturą. Struktura ta odzwierciedla porządek prefiksowy procesów i czyni zbiór możliwych procesów zbiorem prefiksowo-zamkniętym i zawierającym kresy górne podzbiorów skierowanych. Kategorie częściowe procesów i algebry procesów mogą służyć m.in. do definiowania zachowań o stanach i procesach ze specyficznymi strukturami wewnętrznymi, do defniowania operacji na zachowaniach, podobnych do operacji w znanych rachunkach zachowań, oraz do definiowania zachowań losowych.
3
Content available remote An Algebraic Framework for Defining Behaviours of Concurrent System
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2009
|
Nr 1014
1-125
EN
The paper contributes with a concept of process viewed as a model of a run of a phenomenon (discrete, continuous, or of a mixed type), with operations allowing to define complex processes in terms of their components, and with the idea of using the formal tools thus obtained to define the behaviours of concurrent systems. A process may have an initial state (a source), a final state (a target), or both. Processes of which one is a continuation of the other can be composed sequentially. Independent processes, i.e. processes which do not disturb each other, can be composed in parallel. Processes may be prefixes, i.e. independent components of initial segments of other processes. Processes in a universe of objects and operations on such processes form a partial algebra, called algebra of processes. Algebras of processes belong to an axiomatically defined class of partial algebras, called behaviour-oriented algebras. Formally, members of this class are partial categories with respect to the sequential composition, and partial monoids with respect to the parallel composition. Moreover, members of a subclass of this class can be represented as algebras of processes. Algebras of processes and behaviour-oriented algebras can be used to define behaviours of concurrent systems. Namely, the behaviour of a system can be defined as the set of possible processes of this system with a structure on this set. Such a set is prefix-closed. The structure on this set reflects how processes compose, the prefix order, and possibly specific features of the behaviour like observability, the relation to flow of real time, etc. Algebras of processes can also be used to define behaviours with states and processes provided with specific structures, to define operations on behaviours similar to those in the existing calculi of behaviours, and to define random behaviours.
PL
W pracy sformułowano pojęcie procesu rozumianego jako model przebiegu pewnego zjawiska (dyskretnego, ciągłego, lub mieszanego typu), wprowadzono operacje pozwalające wyrażać procesy złożone przez ich składowe, oraz przedstawiono ideę użycia tych środków do definiowania zachowań systemów współbieżnych. Proces może mieć stan początkowy, stan końcowy, lub oba te stany. Procesy z których jeden jest kontynuacją innego mogą być złożone szeregowo. Procesy niezależne, tzn. takie, które sobie nie przeszkadzają, mogą być złożone równolegle. Procesy mogą być prefiksami, tzn. niezależnymi składowymi segmentów początkowych innych procesów. Procesy w pewnym uniwersum obiektów i operacje na takich procesach tworzą algebrę częściową, zwaną algebrą procesów. Algebry procesów należą do aksjomatycznie definiowalnej klasy algebr częściowych zwanych algebrami zachowaniowo-zorientowanymi. Formalnie są to kategorie częściowe ze względu na składanie szeregowe i monoidy częściowe ze względu na składanie równoległe. Ponad to, algebry pewnej podklasy tej klasy mogą być reprezentowane jako podalgebry algebr procesów. Algebry procesów i algebry zachowaniowo-zorientowane mogą służyć do definiowania zachowań systemów współbieżnych. Mianowicie, zachowanie systemu można definiować jako zbiór możliwych procesów tego systemu. Taki zbiór jest prefiksowo-zamknięty. Jego struktura opisuje jak procesy się składają, ich porządek prefiksowy, oraz ewentualnie specyficzne cechy zachowania takie jak obserwowalność, upływ czasu itp. Algebry procesów i algebry zachowaniowo-zorientowane mogą służyć m.in. do definiowania zachowań o stanach i procesach ze specyficznymi strukturami wewnętrznymi, do definiowania operacji na zachowaniach, podobnych do operacji w znanych rachunkach zachowań, oraz do definiowania zachowań losowych.
4
Content available remote An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation
Winkowski J.
Fundamenta Informaticae
|
2009
|
Vol. 97, nr 4
439-470
EN
The paper is the second part of two-part paper that contributeswith a concept of a process, with operations allowing to define complex processes in terms of their components, with the respective algebras, and with the idea of using the formal tools thus obtained to describe the behaviours of concurrent systems. In the first part a universal model of a process have been introduced and operations on processes have been defined. A process is viewed as a model of a run of a system (discrete, continuous, or of a mixed type). A process may have an initial state (a source), a final state (a target), or both. A process can be represented by a partially ordered multiset. Processes of which one is a continuation of the other can be composed sequentially. Independent processes, can be composed in parallel. Processes may be prefixes, i.e. independent components of initial segments of other processes. It has been shown that processes in a universe of objects and operations on such processes form a partial algebra, called algebra of processes, that is a specific partial category with respect to the sequential composition, and a specific partial monoid with respect to the parallel composition. In the second part the properties of algebras of processes described in the first part are regarded as axioms defining a class of abstract partial algebras, called behaviour-oriented algebras, and properties of such algebras are investigated. In particular, it is shown how some of the behaviour-oriented algebras can be represented as algebras of processes, and how to use them to describe phenomena with states and processes provided with specific structures.
5
Content available remote An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
Winkowski J.
Fundamenta Informaticae
|
2009
|
Vol. 97, nr 1/2
235-273
EN
The paper is the first part of a two-part paper that contributes with a concept of a process viewed as a model of a run of a phenomenon (discrete, continuous, or of a mixed type), with operations allowing to define complex processes in terms of their components, with the respective algebras, and with the idea of using the formal tools thus obtained to describe the behaviours of concurrent systems. A process may have an initial state (a source), a final state (a target), or both. A process can be represented by a partially ordered multiset. Processes of which one can be a continuation of the other can be composed sequentially. Independent processes, i.e. processes which do not disturb each other, can be composed in parallel. Processes may be prefixes, i.e. independent components of initial segments of other processes. Processes in a universe of objects and operations on such processes form a partial algebra, called algebra of processes. Algebras of processes are partial categories with respect to the sequential composition, and partial monoids with respect to the parallel composition. Algebras of processes can be used to define behaviours of concurrent systems. The behaviour of a system can be defined as the set of possible processes of this system with a structure on this set. Such a set is prefix-closed. The structure on this set reflects the prefix order and, possibly, specific features of the behaviour like observability, the relation to flow of real time, etc. Algebras of processes can also be used to define behaviours, to define operations on behaviours similar to those in the existing calculi of behaviours, and to define random behaviours. The first part of the whole paper investigates algebras of processes and their applications to describing behaviours of systems. In the second part the properties of algebras of processes described in the first part are regarded as axioms defining a class of abstract partial algebras, called behaviouroriented algebras, and they initiate a theory of such algebras.
6
Content available remote An Algebraic Framework for Defining Random Concurrent Behaviours
Winkowski J.
Fundamenta Informaticae
|
2008
|
Vol. 85, nr 1-4
481-496
EN
The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing sequentially and in parallel other processes.
7
Content available remote Towards a Framework for Modelling Behaviours of Hybrid Systems
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2007
|
Nr 1002
1-31
EN
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing seąuentially and in parallel other processes.
PL
Praca dotyczy opisywania systemów hybrydowych poprzez definiowanie przebiegów ich działania zwanych procesami, gdzie procesy są reprezentowane strukturami częściowo uporządkowanymi i mog^ być definiowane przez szeregowe i równoległe składanie wcześniej zdefiniowanych procesów.
8
Content available remote Towards a Framework for Modelling Behaviours of Hybrid Systems
Winkowski J.
Fundamenta Informaticae
|
2007
|
Vol. 80, nr 1-3
311-332
EN
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global time independent way and can possibly be obtained by composing sequentially and in parallel other processes.
9
Content available remote Behaviour Algebras
Winkowski J.
Fundamenta Informaticae
|
2007
|
Vol. 75, nr 1-4
537-560
EN
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with respect to a partial binary operation called sequential composition, and they are partial monoids with respect to a partial binary operation called parallel composition. They are characterized by axioms such that their elements and operations can be represented by labelled posets and operations on such posets. The respective representation is obtained without assuming a discrete nature of represented elements. In particular, it remains true for behaviour algebras with infinitely divisible elements, and thus also with elements which can represent continuous and partially continuous processes. An important consequence of the representation of elements of behaviour algebras by labelled posets is that elements of some subalgebras of behaviour algebras can be endowed in a consistent way with structures such as a graph structure etc.
10
Content available remote Behaviour algebras
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2006
|
Nr 992
1-36
EN
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with respect to a partial binary operation called seąuential composition, and they arę partial monoids with respect to a partial binary operation called parallel composition. They are characterized by axioms such that their elements and operations can be represented as specific pomsets and specific operations on such pomsets. The respective representation theorem is universal in the sense that it is obtained without assuming a discrete nature of represented elements. In particular, it remains true for behaviour algebras with infinitely divisible elements, and thus also with elements which can represent continuous processes. An important consequence of the representation theorem is that elements of some subalgebras of behaviour algebras can be endowed in a consistent way with structures such as a graph structure etc.
PL
Praca dotyczy algebr częściowych, których elementy mogą służyć do reprezentowania procesów, tzn. przebiegów zachowania się systemów. Algebry te, zwane algebrami zachowań, są kategoriami ze względu na częściową operację binarną składania szeregowego, oraz są monoidami częściowymi ze względu na częściową operację binarną składania równoległego. Zostały one scharakteryzowane aksjomatycznie tak, że ich elementy i operacje można reprezentować klasami izomorficznych poetykietowanych zbiorów częściowo uporządkowanych i operacjami na takich klasach. Orzekające o tym twierdzenie o reprezentacji jest uniwersalne w tym sensie, że zostało uzyskane bez zakładania dyskretnej natury reprezentowanych elementów. W szczególności pozostaje prawdziwe dla algebr zachowań z nieskończenie podzielnymi elementami, które mogą reprezentować procesy ciągłe. Ważną konsekwencją tego twierdzenia jest też to, że elementy pewnych podalgebr algebr zachowań można wyposażać sensownie w struktury takie jak struktury grafowe itp.
11
Content available remote An Axiomatic Characterization of Algebras of Processes of Petri Nets
Winkowski J.
Fundamenta Informaticae
|
2006
|
Vol. 72, nr 1-3
407-420
EN
The paper is concerned with algebras which can be obtained by endowing sets of processes of Petri nets with a sequential and a parallel composition. The considered algebras are categories with additional structures and special properties. It is shown that all structures which enjoy such properties can be represented as algebras of processes of Petri nets.
12
Content available remote An axiomatic characterization of algebras of processes of Petri Nets
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
2005
|
Nr 987
1-19
PL
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.
13
Content available remote Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
Winkowski J.
Fundamenta Informaticae
|
2005
|
Vol. 68, nr 1/2
175--206
EN
The paper is concerned with modelling distributed systems by specifying their states and processes. Processes are defined as activities in a universe of objects, each object with a set of possible internal states, each activity changing states of some objects and establishing or destroying relations among objects. Partial operations of composing processes sequenially and in parallel are defined. It is shown that certain sets of processes form together with these operations categories with additional structures and special properties, that processes of a system can be represented as morphisms of such categories, and that independence of processes can be characterized in a natural, purely algebraic way.
14
Content available remote 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
EN
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.
PL
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.
15
Content available remote Process of contextual nets and their characteristics
Winkowski J.
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
|
1998
|
nr 847
3-37
PL
Rozważane są uogólnione sieci Petriego zwane sieciami kontekstowymi i procesy takich sieci. Procesy sieci kontekstowych są definiowane jako porządki częściowe z pewna dodatkową strukturą. Definiuje się operacje składania procesów tak, że każdy proces sieci kontekstowej można otrzymać składając procesy odpowiadające miejscom i tranzycjom tej sieci. Definiuje się podobne do macierzy i zwane tablicami charakterystyki procesów i operacje składania tych charakterystyk tak, że odpowiedniość między procesami i charakterystykami jest homomorfizmem.
EN
Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.
16
Content available remote Processes of contextual nets and their characteristics
Winkowski J.
Fundamenta Informaticae
|
1998
|
Vol. 36, nr 1
71-101
EN
Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.