Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

• Autorzy: Winkowski J.
• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

distributed systems; states; process; structures; sequential composition; parallel composition; category; independence

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2005
• Tom: Vol. 68, nr 1/2
• Strony: 175--206
• Opis fizyczny: Bibliogr. 22 poz.

Twórcy

autor

Winkowski J.

• Institute of Computer Science, Polish Academy of Science, Ordona 21, 01-237 Warsaw, Poland,

Bibliografia

• [BBM 02] Baldan, P., Bruni, R., Montanari, U., Pre-nets, read arcs and unfolding: a functorial presentation, Proceedings of WADT’02, Wirsing, M., Pattison, D., Hennicker, R., (Eds.), Springer LNCS 2755 (2002) 145-164.
• [Bedn 88] Bednarczyk,M. A., Categories of Asynchronous Systems, PhD thesis in Computer Science, University of Sussex, Report no. 1/88 (1988).
• [BD 87] Best, E., Devillers, R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoret. Comput. Sci. 55 (1987) 87-136.
• [Bou 57] Bourbaki, N., Éléments de mathématique, Livre I (Théorie des ensembles), Chapitre 4 (Structures), Act. Sci. Ind. 1258, Hermann, Paris, 1957.
• [BuDe 68] Bucur, I., Deleanu, A., Introduction to the Theory of Categories and Functors, John Wiley and Sons Ltd., Lozanna, New York, Sydney, 1968.
• [Carn 58] Carnap, R., Introduction to Symbolic Logic and Its Applications, Chapter G: ASs of physics, Dover Publications, Inc., New York, 1958.
• [CMR 96] Corradini, A., Montanari, U., Rossi, F., Graph Processes, Fundamenta informaticae 26 (1996), 241-265.
• [DMM 89] Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185.
• [EK 76] 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.
• [Eng 91] Engelfriet, J., Branching Processes of Petri Nets, Acta Informatica 28 (1991) 575-591.
• [GP 95] Glabbeek, R., J., van, Plotkin, G., D., Configuration Structures, Proceedings of LICS’95, Kozen, D., (Ed.), IEEE Computer Society Press (1995) 199-209.
• [HR 91] Hoogeboom, H. J., Rozenberg, G., Diamond Properties of Elementary Net Systems, Fundamenta Informaticae 14 (1991) 287-300.
• [Maz 88] 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.
• [MMS 96] Meseguer, J., Montanari, U., Sassone, V., Process versus Unfolding semantics for Place/Transition Nets, Theoret. Comput. Sci. 153, n. 1-2 (1996) 171-210.
• [MR 95] Montanari, U., Rossi, F., Contextual Nets, Acta Informatica 32 (1995) 545-596.
• [Petri 77] Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77-5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977).
• [RT 86] 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.
• [Sh 85] Shields, E. W., Concurrent Machines, Computer Journal, vol. 28 (1985) 449-465.
• [Wink 80] Winkowski, J., Behaviours of Concurrent Systems, Theoret. Comput. Sci. 12 (1980) 39-60.
• [Wink 82] Winkowski, J., An Algebraic Description of System Behaviours, Theoret. Comput. Sci. 21 (1982) 315-340.
• [Wink 03] Winkowski, J., An Algebraic Characterization of Independence of Petri Net Processes, Information Processing Letters 88 (2003), 73-81.
• [WN 95] 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.