Parallel allocation of the distributed software using node label controlled graph grammars

• Autorzy: Kotulski L.

Warianty tytułu

PL

Równoległa kontrola alokacji za pomocą gramatyk grafowych typu NLC

• Języki publikacji: EN

Abstrakty

EN

Centralization of a graph's data is useful while we consider properties of some system specification but it seems to be not acceptable in the case of the support an efficient, high reliably system with a dynamic software allocation. In the paper, we introduce the aedNLC graph grammar, that has both polynomial computational complexity and enough descriptive power to coordinate parallel modification of a few local graphs (representing parts of the system), in such a way that the global consistency of the distributed system specification can be maintained.

PL

Rozważając własności specyfikacji systemów, utrzymujemy grafy w postaci scentralizowanej, ale dla efektywnego wspierania dynamicznej alokacji oprogramowania w środowisku rozproszonym, struktury grafowe powinny być również rozproszone. W artykule przedstawiamy gramatykę aedNLC, która zachowując wielomianową złożoność obliczeniową parsingu, ma wystarczającą moc opisową dla koordynacji równoległych modyfikacji lokalnych grafów (reprezentujących podsystemy) w taki sposób, że globalna spójność specyfikacji systemu rozproszonego będzie zachowana.

Słowa kluczowe

EN

graph transformation; distributed computing; allocation control

PL

przekształcenia grafowe; systemy rozproszone; alokacja programowa

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2008
• Tom: T. 12, z. 2
• Strony: 321--337
• Opis fizyczny: Bibliogr. 24 poz., rys., tab.

Twórcy

autor

Kotulski L.

• Institute of Automatics, AGH University of Science and Technology, Krakow

Bibliografia

• [1] APM 1991: ANSAware Release 3.0 Reference Manual Architecture Projects Management Ltd, Poseidon House, Castle Park, Cambridge 1991.
• [2] Baldan P., Corradini A., Ehrig H., Lówe M., Montanari U., Rossi F., Concurrent Semantics of Algebraic Graph Transformations. In: Ehrig, Kreowski, Montanari & Rozenberg (Eds), Hand-book of Graph Transformation, vol. 3, 1999, Word Scientific.
• [3] Bardohl R., Taentzer G., Minas M., Schurr A., Application of graph transformation to visual Language. In: Ehrig, Engels, Kreowski & Rozenberg (Eds), Handbook of Graph Transformation, vol. 2, 1999, Word Scientific.
• [4] Ehrig H., Heckel R., Korff M., Lowe M., Ribeiro R., Wagner A., Corrardini A., Algebraic Approaches to Graph Transformation II: Single Push out and Comparison with Double Push out Approach. In: G. Rozenberg (Eds), Handbook of Graph Transformation, vol. 1, 1997, Word Scientific.
• [5] Engelfriet J., Rozenberg G., Graph grammars based on node rewriting: an introduction to NLC graph grammars. LNCS, 532 (1991), 12-23.
• [6] Flasiński M., Characteristic of ed NLC-graph Grammars for Syntaetic Pattem Recognition. Computer Vision, Graphics and Image Processing, vol. 42, 1989, 1-21.
• [7] Flasiński M., On the Parsing of Deterministic Graph Languages for Syntaetic Pattem Recognition. Pattern Recognition, vol. 26, 1993, 16-93.
• [8] Flasiński M., Power Properties of NCL Graph Grammars with a Polynomial Membership Problem. Theoretical Computer Science, vol. 201, 1998, 189-231.
• [9] Heckel R., Kiister J., Taentzer G., Confluence of Typed Attributed Graph Transformation Systems. In: Corradini, Ehrih, Kreowski & Rozenberg (Eds.), lst Int. Conference, ICGT 2002, Barcelona, Spain, Springer LNCS 2505, 2002.
• [10] Janssens D., Rozenberg G., Verraedt R., On Seąuential and Parallel Node-rewriting Graph Grammars. Computer Graphics and Image Processing, vol. 18, 1982, 279-304.
• [11] Kotulski L., Flasiński M., On the Use of Graph Grammars for the Control of a Distributed Software Allocation. The Computer Journal, vol. 35 , 1992, A167-A175.
• [12] Kotulski L., Jurek J., Moczurad W., Object-Oriented Programming in the Large Using Group Concept. In: Computer Systems and Software Engineering - 6th Annual European Conference, Hague 1992, 510-514.
• [13] Kotulski L., Strug B., Distributed Adaptive Design with Hierarchical Autonomous Graph Transformation Systems. ICCS 2007, LNCS 4488, Beijing(China), 880-887.
• [14] Kotulski L., Supporting Software Agents by the Graph Transformation Systems. V.L. Alexandrow et al (eds), ICCS 2006, LNCS 3993, Reading (UK), 887-890.
• [15] Kotulski L., Model systemu wspomagania generacji oprogramowania współbieżnego w środowisku rozproszonym za pomocą gramatyk grafowych. Postdoctorals Lecturing Qualifications, Jagiellonian University Press, 2000, ISBN 83-233-1391-1.
• [16] Kreowski H.J., Busatto G., Kluske S., GRACE as a unifying approach to graph-transformation-based specification. Electronic Notes in Theoretical Computer science vol. 44, no 4, 2001.
• [17] Magee J., Kramer J., Sloman M., The Conic Support Environment for Distributed System. In: Distributed Operating System - Theory and Practice, 1989.
• [18] Microsoft, 1996. Distributed Component Object Model Protocol—DCOM/1.0 (MSDN Library, Specifications).
• [19] NATO ASI Series F, 28.
• [20] OMG 2004: Common Object Request Broker Architecture (CORBA/IIOP), 02-12-2002, version 3.0.
• [21] OMG 2007: Unified Modeling Language. v 2.1.1. www.omg.org.
• [22] Taentzer G., Koch M., Fisher I., Volle V., Attributed Graph Transformation with Application to Visual Design of Distributed Systems. In: Ehrig, Kreowski, Montanari & Rozenberg (Eds), Handbook of Graph Transformation, vol. 3, 1999a, Word Scientific.
• [23] Taentzer G., Distributed Graphs and Graph Transformation, Applied Categorical Structures. Special Issue on Graph Transformation, vol. 7, No. 4, 1999b.
• [24] Zambonelli F., How to achieve Modularity in Distributed Object Allocation. ACM SIGPLAN Notice, vol. 32(6), 1997, 75-82.