Towards a universal model of action

• Autorzy: Winkowski J.

Warianty tytułu

PL

Pewna propozycja uniwersalnego modelu akcji

• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

action; object; object instance; occurrence of object instance; execution; execution segment; execution fragment; execution structure; lposet; pomset; sequential composition; parallel composition; independent component; prefix order

PL

akcja; obiekt; instancja obiektu; wystąpienie instancji obiektu; wykonanie; segment wykonania; fragment wykonania; struktura wykonań; poset; pomset; złożenie szeregowe; złożenie równoległe; niezależna składowa; porządek prefiksowy

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2016
• Tom: Nr 1035
• Strony: 1--32
• Opis fizyczny: Bibliogr. 25 poz., rys.

Twórcy

autor

Winkowski J.

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

Bibliografia

• [1] M. Alvarez-Manilla, A. Edalat, N. Saheb-Djahromi, An Extension Result for Continuous Valuations, J. London math. Soc. (2) 61 (2000) 629-640
• [2] R. David, Modeling of Dynamic Systems by Petri Nets, Proc. of ECC 91, European Control Conference, Grenoble, France, July 2-5, 1991, 136-147
• [3] M. Droste, R. M. Shortt, Continuous Petri Nets and Transition Systems, H. Ehrig et al. (Eds.): Unifying Petri Nets, Springer LNCS 2128, 2001, 457-484
• [4] J. Engelfriet, Branching Processes of Petri Nets, Acta Informatica 28 (1991) 575-591
• [5] J. Esparza, Model Checking Using Net Unfoldings, Science of Computer Programming 23 (1994), 151-195
• [6] R. van Glabbeek, U. Goltz, Equivalence Notions for Concurrent Systems and Refinement of Actions, Acta Informatica, Vol. 37, 2001, 229-327
• [7] R. van Glabbeek, G. D. Plotkin, Configuration Structures, Proceedings of LICS’95, Kozen, D., (Ed.), IEEE Computer Society Press (1995) 199-209
• [8] T. Henzinger, The Theory of Hybrid Automata, Proc. of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96), 278-292
• [9] A. Joyal, M. Nielsen, G. Winskel, Bisimulation from Open Maps, Proceedings of LICS 93, 1993, 418-427
• [10] R. E. Kalman, P. L. Falb, M. A. Arbib, Topics in Mathematical System Theory, Mc Graw-Hill Book Company, New York, San Francisco, St. Louis, Toronto, London, Sydney, 1969
• [11] Padmanabhan Krishnan, Hybrid Event Structures, Proc. Of Computing: The Australasian Theory Symposium, Melbourne, Australia, January 29-January 30 1996
• [12] N. Lynch, R. Segala, F. Vaandrager, Observing Branching Structure Through Probabilistic Contexts, Siam Journal on Computing 37 (4), 977-1013, September 2007
• [13] S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag New York Heidelberg Berlin 1971
• [14] R. Milner, Synthesis of Communicating Behaviour, Proc. of MFCS’78, J. Winkowski (Ed.), Springer LNCS 64 (1978) 71-83
• [15] R. Milner, A Calculus of Communicating Systems, Springer LNCS 92 (1980)
• [16] S. Mitra, N. Lynch, Trace-based Semantics for Probabilistic Timed I/O Automata, Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, April 3-5, 2007, Springer LNCS 4416, Full version: http://theory.lcs.mit.edu/∼mitras/research/PTIOA-066-full.pdf (1980)
• [17] Anil Nerode, Wolf Kohn, Models for Hybrid Systems: Automata, Topologies, Controllability, Observability, Springer LNCS 736, 1993, 317-357
• [18] M. Nielsen, G. D. Plotkin, G. Winskel, Petri Nets, Event Structures and Domains, Part I, Theoretical Computer Science, Vol. 13, No. 1 (1981), 85-108
• [19] C. A. Petri, Introduction to General Net Theory, in W. Brauer (Ed.): Net Theory and Applications, Springer LNCS 84 (1980) 1-19
• [20] G. Rozenberg, P. S. Thiagarajan, Petri Nets: Basic Notions, Structure, Behaviour, in J. W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.), Current Trends in Concurrency, Springer LNCS 224 (1986) 585-668
• [21] D. Varacca, H. V¨olzer, G. Winskel, Probabilistic Event Structures and Domains, in P. Gardner and N. Yoshida (eds.), CONCUR 2004, Springer LNCS 3170 (2004), 497-511
• [22] J. Winkowski, A. Maggiolo-Schettini, An Algebra of Processes, Journal of Comp. and System Sciences, Vol. 35, No. 2, October 1987, 206-228
• [23] J. Winkowski, An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation,Fundamenta Informaticae 97 (2009), 235-273
• [24] G. Winskel, Event Structure Semantics for CCS and Related Languages, in M. Nielsen and E. M. Schmidt (Eds.): Springer LNCS 140 (1982), 561-567
• [25] G. Winskel, M. Nielsen, 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

Uwagi

PL

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę (zadania 2017).