Partially Ordered Domains for Representing Activities

• Autorzy: Winkowski J.

Warianty tytułu

PL

Częściowo uporządkowane dziedziny do reprezentowania działalności

• Języki publikacji: EN

Abstrakty

EN

The paper describes structures which can be used to represent activities of broad class. The concept of event structure is generalized to represent activities which may be discrete, continuous, or of mixed nature. Configuration structures of the more general event structures are used to deńe axiomatically configuration domains. Elements of such domains are abstract representants of runs of represented activities. The partial order of elements reects how each run extends to longer runs. It is shown that configuration domains deńe event structures which can be interpreted as interactions of sets of objects.

PL

Praca opisuje struktury, których można użyć do reprezentowania szeroko rozumianych działalności. Uogólnia struktury zdarzeń tak, by mogły reprezentować działalności dyskretne, ciągłe i mieszanej natury. Konfiguracje tak uogólnionych struktur zdarzeń zostały użyte do aksjomatycznej definicji dziedzin konfiguracji. Elementy takich dziedzin są abstrakcyjnymi reprezentantami przebiegów reprezentowanych działalności. Pokazano, że dziedziny konfiguracji definiują struktury zdarzeń, które można interpretować jako współdziałania pewnych zbiorów obiektów.

Słowa kluczowe

EN

activity; run; event; causal dependency relation; conflict relation; event structure; configuration; configuration structure; partially ordered set; directed complete partially ordered set; configuration domain; transition; region

PL

działalność; przebieg; zdarzenie; relacja zależności przyczynowej; relacja konfliktu; struktura zdarzeń; konfiguracja; struktura konfiguracji; zbiór częściowo uporządkowany; skierowany zupełny zbiór częściowo uporządkowany; dziedzina konfiguracji; tranzycja; region

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2015
• Tom: Nr 1033
• Strony: 1--15
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Winkowski J.

• Instytut Podstaw Informatyki PAN, ul. Jana Kazimierza 5, 01-248 Warszawa, Polska

Bibliografia

• [1] Ehrenfeucht, A., Rozenberg, G., Partial 2-structures, Acta Informatica 27 (1990) 315-368
• [2] Ehrig, H., Kreowski, H. -J., Parallelism of Manipulations in Multidimensional Information Structures, in A. Mazurkiewicz (Ed.): Proc. of MFCS’76, Springer LNCS 45 (1976) 284-293
• [3] Glabbeek, R., J., van, Plotkin, G., D., Configuration Structures, Proceedings of LICS’95, Kozen, D., (Ed.), IEEE Computer Society Press (1995) 199-209
• [4] Lynch, N., Segala, R., Vaandrager, F., Hybrid I/O Automata, Information and Computation 185(1), 2003,105-157
• [5] Winkowski, J., An Algebraic Framework for Concurrent Systems, Monograph 2 in Monograph Series of the Institute of Computer Science of the Polish Academy of Sciences(2014)
• [6] Winskel, G., Nielsen, M., Models for Concurrency, in S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum (Eds.): Handbook of Logic in Computer Science 4 (1995), 1-148