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

• Autorzy: Winkowski J.

Warianty tytułu

PL

Zarys formalizmu do modelowania systemów o bogatych strukturach wewnętrznych stanów i procesów

• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

distributed systems; object-oriented systems; processes; sequential composition; parallel composition; category; independence

PL

systemy rozproszone; systemy obiektowo zorientowane; procesy; składanie sekwencyjne; składanie równoległe; kategoria; niezależność

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2004
• Tom: Nr 973
• Strony: 1--36

Twórcy

autor

Winkowski J.

• Józef Winkowski, Instytut podstaw Informatyki PAN, 01-237 Warszawa, Ordona 21,

Bibliografia

• Bednarczyk, M. A., Categories of Asynchronous Systems, PhD thesis in Computer Science, University of Sussex, Report no. 1/88(1988)
• Bourbaki, N., Eléments de mathématique, Livre I (Théorie des ensembles), Chapitre 4, (Structures), Act. Sci. Ind. 1258, Hermann, Paris, 1957
• Carnap, R., Introduction to Symbolic Logic and Its Applications, Chapter G: ASs of physics, Dover Publications, Inc., New York, 1958
• Corradini, A., Montanari, U., Rossi, F., Graph Processes, Fundamenta informaticae 26 (1996), 241-265
• Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4 th LICS Symposium, IEEE (1989) 175-185
• Ehrig, II., Kreowski, H. -J., Parallelism of Manipulations in Multidimensional Information Structures, in A. Mazurkiewicz (Ed.): Proc. of MFCS’76, Springer LNCS 45 (1976), 284-293
• Hoogeboom, H. J., Rozenberg, G., Diamond Properties of Elementary Net Systems, Fundamenta Fnformaticae 14 (1991) 287- 300
• Mazurkiewicz, A., Basic Notions of Trace Theory, in J. W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Springer LNCS 354 (1988) 285-363
• Montanari, U., Rossi, F., Contextual Nets, Acta Informatica 32 (1995) 545-596
• Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77- 5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977)
• Rozenberg, G., Thiagarajan, P. S., 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
• Shields, E. W., Concurrent Machines, Computer Journal, vol. 28 (1985) 449-465
• Winkowski, J., Behaviours of Concurrent Systems, Theoret. Comput. Sci. 12 (1980) 39-60
• Winkowski, J., An Algebraic Description of System Behaviours, Theoret. Comput. Sci. 21 (1982) 315-340
• Winkowski, J., An Algebraic Characterization of Independence of Petri Net Processes, Information Processing Letters 88 (2003), 73-81
• 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