
By Rinus Plasmeijer, Marko van Eekelen (auth.), Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
ISBN-10: 3540676589
ISBN-13: 9783540676584
This publication constitutes the completely refereed post-proceedings of the overseas Workshop on Graph Transformation with commercial Relevance, AGTIVE'99, held in Kerkrade, The Netherlands, in June 1999.
The 28 revised complete papers provided went via an iterated strategy of reviewing and revision. additionally incorporated are 3 invited papers, 10 device demonstrations, a precis of a panel dialogue, and lists of graph transformation structures and books on graph changes. The papers are prepared in sections on modularization recommendations, dispensed platforms modeling, software program structure: evolution and reengineering, visible graph transformation languages, visible language modeling and power improvement, wisdom modeling, photograph attractiveness and constraint fixing, strategy modeling and consider integration, and visualization and animation tools.
Read or Download Applications of Graph Transformations with Industrial Relevance: International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings PDF
Best international conferences and symposiums books
This ebook constitutes the refereed court cases of the ninth Ibero-American convention on synthetic Intelligence, IBERAMIA 2004, held in Puebla, Mexico in November 2004. The ninety seven revised complete papers awarded have been rigorously reviewed and chosen from 304 submissions. The papers are prepared in topical sections on dispensed AI and multi-agent structures, wisdom engineering and case-based reasoning, making plans and scheduling, computing device studying and information acquisition, traditional language processing, wisdom illustration and reasoning, wisdom discovery and information mining, robotics, desktop imaginative and prescient, uncertainty and fuzzy structures, genetic algorithms and neural networks, AI in schooling, and miscellaneous subject matters.
Get Integration of AI and OR Techniques in Constraint PDF
This ebook constitutes the refereed lawsuits of the 1st foreign convention on Integration of AI and OR concepts in Constraint Programming for Combinatorial Optimization difficulties, CPAIOR 2004, held in great, France in April 2004. The 23 revised complete papers and seven revised brief papers awarded including an invited speak have been rigorously reviewed and chosen from fifty six submissions.
Read e-book online Algorithmic Number Theory: Second International Symposium, PDF
This publication constitutes the refereed post-conference complaints of the second one overseas Algorithmic quantity thought Symposium, ANTS-II, held in Talence, France in could 1996. The 35 revised complete papers integrated within the booklet have been chosen from various submissions. They conceal a extensive spectrum of subject matters and document cutting-edge learn leads to computational quantity conception and complexity idea.
Read e-book online E-Commerce and Web Technologies: 6th International PDF
We welcome you to the sixth foreign convention on E-Commerce and net expertise (EC-Web 2005) held in Copenhagen, Denmark. It was once held along with DEXA 2005. This convention was once prepared for the 1st time in Greenwich, united kingdom, in 2000, and it's been capable of allure a growing number of contributors and curiosity, reflecting the development made within the box.
- Advances in Databases: 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 12–14, 1995 Proceedings
- Visual Content Processing and Representation: 9th International Workshop, VLBV 2005, Sardinia, Italy, September 15-16, 2005, Revised Selected Papers
- Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers
- Information Security: 8th International Conference, ISC 2005, Singapore, September 20-23, 2005. Proceedings
- Radiation Health Risk Sciences: Proceedings of the First International Symposium of the Nagasaki University Global COE Program ''Global Strategic Center for Radiation Health Risk Control''
- Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers (Lecture ... Applications, incl. Internet/Web, and HCI)
Additional resources for Applications of Graph Transformations with Industrial Relevance: International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings
Example text
C Springer-Verlag Berlin Heidelberg 2000 32 M. Große-Rhode et al. Ò ÑÓ Ð Ý Ö Ô ×Û Ö ×Ø ÝÒ Ñ Ú ÓÖ × × Ö Ý Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒº ÌÓ Ñ Ò Ø ÓÑÔÐ Ü ØÝ Ó ×ØÖ ÙØ ×Ýר Ñ× Ø Ö Ù× Ó ×Ô ¬ Ø ÓÒ× Ò ×Ó ØÛ Ö × ÑÔÓÖØ ÒØº Ù ØÓ Ø × ÔÓ ÒØ¸ ÑÓ Ð Ò Ø Ò ÕÙ × × ÓÙÐ Ó ¹ Ö Ò Ô×ÙÐ Ø ÓÒ Ò Ö ¬Ò Ñ ÒØ ÓÒ ÔØ× ØÓ ×ÙÔÔÓÖØ Ø Ô ÖØ Ø ÓÒ Ò Ó ×Ý×¹ Ø Ñ ÒØÓ ÓÒ ÙÖÖ ÒØ¸ ÓÑÑÙÒ Ø Ò ×Ù ×Ýר Ñ׺ Ë Ú Ö Ð ÔÔÖÓ × ØÓ ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ Ú Ò ÓÒ× Ö ´× À Ì ÓÖ Ò ÓÚ ÖÚ Û ÓÒ × Ú Ö Ð ÑÓ ÙÐ ÓÒ ÔØ× Ò ÐÙ Ò Ø Ó× ÓÖ Ê Ò ÈÊÇ Ê Ëµ¸ Ñ ÒÐÝ Û Ø Ò Ò ÙÒ ×ØÖ ÙØ × ØØ Ò º Ï Ø Ò Ø × Ô Ô Ö¸ Û ÓÒ× Ö ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ Û Ø ×ØÖ ÙØ × Ñ ÒØ ׺ ÓÑÔ Ö Ò ÓÙÖ ÔÔÖÓ ÛØ ÔÖ Ú ÓÙ× ÓÒ ¸ ÐÐ Á Ç ×Ýר Ñ× ÌË ¸ ÑÓ ÙÐ ÓÒ ÔØ ÓÖ × ÑÔÐ Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ Ð×Ó ÓÑ Ò ÐÓÒ Û Ø ×ØÖ ÙØ × Ñ ÒØ ׸ ÓÙÖ ÑÔ × × ÒÓÛ Ð × ÓÒ ÑÓ ÙÐ × ÓÖ ØØÖ ÙØ Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ Û Ø ÔÔÐ Ø ÓÒ ÓÒ¹ ØÖÓк Ì Ö Ô Ð ÒÓØ Ø ÓÒ Ó Ø ÑÓ ÙÐ × ÓÐÐÓÛ× Ø ÍÅĹÒÓØ Ø ÓÒ × Ö × ÔÓ×× Ð ¸ º º Û Ö Ú Ö ÓÖÖ ×ÔÓÒ Ò ÑÓ Ð Ò Ð Ñ ÒØ× Ö Ù× º ÑÓ ÙÐ ÓÒØ Ò× ØÝÔ Ö Ô ØÓ ÑÓ Ð Ø Ó Ø ×ØÖÙ ØÙÖ × Û Ö ÔÓ×× Ð Ò ÔÖ Ò ÔÐ º È ÖØ× Ó ØÝÔ Ö Ô ´Û Ñ Ý ÓÚ ÖÐ Ôµ Ò Ð Ö × ÜÔÓÖØ ÒØ Ö ×º Ì × Ù Ö ÒØ × ×ÓÑ Ò ÓÖÑ Ø ÓÒ Ò Ò × ÑÙÐØ Ò ¹ ÓÙ×ÐÝ ÐÐÓÛ× Ö Ø ÜÔÓÖØ Ó ÖØ Ò Ó Ø ×ØÖÙ ØÙÖ ×º ÅÓÖ ÓÚ Ö¸ Ô ÖØ× Ó ØÝÔ Ö Ô Ø Ø Ö Ö ÕÙ Ö ÖÓÑ Ø ÒÚ ÖÓÒÑ ÒØ Ñ Ý Ñ Ö × ÑÔÓÖØ ÒØ Ö¹ ׺ Ì Ö Ô Ð ÒÓØ Ø ÓÒ Ó ØÝÔ Ö Ô × ÓÐÐÓÛ× Ø Ø Ó ÍÅÄ Ð ×× Ö Ñ׺ Ì ÝÒ Ñ Ú ÓÖ Ò Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ÑÓ ÙÐ × × Ö Ý Ñ Ø Ó ×º × ÓÔ Ö Ø ÓÒ × ÑÓ Ð Ý Ùר ÓÒ Ö Ô ÖÙÐ º ÓÑÔÐ Ü Ø ÓÒ× Ö ×Ô ¬ Ý ÖÙÐ ÜÔÖ ×× ÓÒ× Û ÓÒØ Ò Ø ÓÒØÖÓÐ ÓÛ Ó ÖØ Ò ÖÙÐ ÔÔÐ Ø ÓÒ׺ ÊÙÐ ÜÔÖ ×× ÓÒ× Ö Ö Ô ÐÐÝ Ö ÔÖ × ÒØ Ý Ö ×ØÖ Ø Ø Ú ØÝ Ö Ñ× Ò ¸ Ø Ù׸ Ö × Ñ Ð ×ØÓÖÝ Ö Ñ× Â º Ý ÜÔÓÖØ Ò Ñ Ø Ó ÒÓØ ÓÒÐÝ Ø× Ò Ñ Ò Ô Ö Ñ Ø Ö× Ö ÔÙ Ð × ¸ ÙØ Ð×Ó ÖÙÐ Û × Ö ×Ø « Ø Ó Ø Ñ Ø Ó ÓÒ Ø ÜÔÓÖØ Ð ØÝÔ ×º ×Ù × Ø Ó ÑÓ ÙÐ ³× ÖÙÐ × Ñ Ý Ð Ö × ÑÔÓÖØ ÖÙР׺ Ì ÑÔÓÖØ ÖÙÐ × ×Ø Ø Û Ø × Ò ÝØ Ó Ý Ñ Ø Ó × ØÓ Ô Ö ÓÖÑ Ò Ò Ù× ØÓ × Ö ÓÖ Ø Ö Ø ÜÔÓÖØ× Û Ø Ò Ò ØÛÓÖ º Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ÑÓ ÙÐ × ÓÑÑÙÒ Ø Ý ÓÒÒ Ø Ò Ò ÑÔÓÖØ Ó ÓÒ ÑÓ ÙÐ ØÓ Ò ÜÔÓÖØ Ó ÒÓØ Öº Ì × ÓÒÒ Ø ÓÒ× ÓÒ ÖÒ Ø ØÝÔ Ö Ô × × Û ÐÐ × Ø Ñ Ø Ó × × Ð Ø Ø Ó× Ô ÖØ× Ó Ø ÜÔÓÖØ ÒØ Ö ×Ø Ò ÓÖ Ø ÓÒÒ Ø ÑÔÓÖØº Ë Ò ÑÓ ÙÐ × Ñ Ý ×ØÖ ÙØ ÓÚ Ö × Ú Ö Ð × Ø ×¸ Ö ÑÓØ ÒØ Ö Ø ÓÒ Ø × ÔÐ Û Ò Ú Ö ×Ù Ò ÑÔÓÖØ¹ ÜÔÓÖØ ÓÒÒ Ø ÓÒ × Ù× º Ë Ñ ÒØ ÐÐÝ ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ × ÓÒ× Ö ØÛ ¬Öר Û Ò¹ Ú ×Ø Ø Ø Ú ÓÖ Ö Ð Ø ÓÒ× ØÛ Ò « Ö ÒØ ÑÓ ÙÐ ÓÑÔÓÒ ÒØ×º Ì Ö ¹ Ð Ø ÓÒ× ØÛ Ò Ó Ý¸ ÜÔÓÖØ Ò ÑÔÓÖØ ÒØ Ö × Ñ Ý Ð×Ó Ù× ÓÑÔÓ× ÖÙÐ ÔÔÐ Ø ÓÒ׸ ÓÖÖ ×ÔÓÒ Ò ØÓ ÓÑÔÓ× Ö Ú Ø ÓÒ׺ Ì ÑÔÓÖØ ÒØ × Ñ ÒØ ÔÖÓÔ ÖØÝ Ó ×Ù Ö Ð Ø ÓÒ × Ø ÔÖ × ÖÚ Ø ÓÒ Ó Ú ÓÖ Ò ×ØÖÓÒ Ö ÓÖ Û Ö × Ò× Ú Ò ÒÝ Ö Ú Ø ÓÒ Ó º º Ò ÜÔÓÖØ ÒØ Ö ¸ Ø Ö × ÓÖ¹ Ö ×ÔÓÒ Ò Ö Ú Ø ÓÒ Ò Ø Ö Ð Ø ÓÑÔÓÒ ÒØ ´ Ó Ýµ¸ ×Ù Ø Ø Ø Ú × Ð Ô ÖØ Ó Ø × Ö Ú Ø ÓÒ Ó Ò × Û Ø Ø ÜÔÓÖØ Ö Ú Ø ÓÒ ´×ØÖÓÒ ÔÖ × ÖÚ ¹ Ø ÓÒµ¸ ÓÖ Ø ÓÖÖ ×ÔÓÒ Ò Ö Ú Ø ÓÒ ´ Ò Ø Ó Ýµ Ð× Ò Ñ Ý ×Ù ×ÙÑ ÒÓØ Modeling Distributed Systems by Modular Graph Transformation 33 ÓÒÐÝ Ø ÒØ Ö Ö Ú Ø ÓÒ ÙØ Ð×Ó ÙÖØ Ö Ø ÓÒ× ´Û ÔÖ × ÖÚ Ø ÓÒµº Ì Û ÔÖ × ÖÚ Ø ÓÒ Ù Ö ÒØ × Ø Ð ×Ø¸ Ø Ø ÒÓØ Ò ÛÖÓÒ ÔÔ Ò× Ø Ñ Ø ¸ ÓÛ Ú Ö¸ Ø Ø ÒÓØ Ò Ø ÐÐ ÔÔ Ò׺ ÙÖØ ÖÑÓÖ ¸ Û Ø ÑÓÖ Ò Ö Ð ÔÓ ÒØ Ó Ú Û × Ò ÓÙÖ Ó Ð × ØÓ Ù× ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ØÓ ×Ô Ý ×ØÖ ÙØ ×Ýר Ñ׸ Û ÒØÖÓ Ù ÑÓÖ ÓÚ Ö × Ñ ÒØ × × ÓÒ ×ØÖ ÙØ ØÝÔ Ö Ô Ö ÑÑ Ö׺ Ì ÖÓÙ ÓÙØ Ø × Ô Ô Ö¸ ÐÐ ÓÒ ÔØ× Ö ÒØÖÓ Ù ÐÓÒ ÖÙÒÒ Ò Ü ÑÔÐ Û × ´× ÑÔÐ µ ×ØÖ ÙØ ¬Ð Ñ Ò Öº Ï ÓÒ× Ö Ð ÒØ¹× ÖÚ Ö ×Ýר Ñ ÒÛ Ø Ð ÒØ Ñ Ý Ö ÔÐ Ø ¬Ð × ÖÓÑ Ø × ÖÚ Ö³× × Ø º Ì ÜÔÓÖØ Ó Ø × ÖÚ Ö ÓÒØ Ò× Ö ÔÐ Ð ¬Ð ׸ ÙØ Ù×Ù ÐÐÝ Ø Ð ÒØ Ùר Ò × ×Ñ ÐÐ ÑÓÙÒØ Ó ÜÔÓÖØ ¬Ð × Ò Ö ÔÐ Ø × ÓÒÐÝ Ø Ó× º ¾ ÓÒØÖÓÐÐ Ò ÊÙÐ ÔÔÐ Ø ÓÒ Ý Ø Ú ØÝ Ö Ñ× Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ×Ô ¬ Ø ÓÒ ÓÒ× ×Ø× Ó ØÝÔ Ö Ô ¸ ר ÖØ Ö Ô Ò ¬Ò Ø × Ø Ó Ñ Ø Ó ×º ÌÝÔ Ö Ô × × Ö Ø ×Ø Ø ×ØÖÙ ØÙÖ ×¸ º º Ó Ø ØÝÔ × Ò Ø ØÝÔ × Ó Ø Ö ØØÖ ÙØ × × Û ÐÐ × Ö Ð Ø ÓÒ׺ Ñ Ø Ó × ÓÒ× ×Ø Ò Ó Ò Ñ Ò Ô Ö Ñ Ø Ö Ð ×Ø¸ Ò Ó Ýº Ì Ó ÝÑ Ý ÖÙÐ ÓÖ Ò Ø Ú ØÝ Ö ÑÛ Ñ Ý ØÖ Ö ÖÙÐ ÔÔÐ Ø ÓÒ׺ Ø Ú ØÝ Ö Ñ× Ö Û Ðй ÒÓÛÒ ×Ù Ð Ò Ù Ó Ø ÑÓ Ð Ò Ð Ò Ù ÍÅÄ ÍÅÄ º × Ò Ü ÑÔÐ ¸ Û ÓÒ× Ö ¬Ð Ñ Ò Ö Û Ø Ø× ØÝÔ Ð Ñ Ø Ó × ×Ù × Ö Ø Ò Ò Û ¬Ð ¸ ÙÔ Ø Ò ¸ ÓÔÝ Ò Ò Ö Ò Ñ Ò Ø Ò ÔÓ×× ÐÝ ×ØÖÓÝ Ò Øº ÁÒ ÙÖ ½ Ø ØÝÔ Ö Ô × Û ÐÐ × Ø Ñ Ø Ó × Ö × ÓÛÒº Ì ×Ø ÖØ Ö Ô × ÑÔØÝº Ì Ó × Ó Ø ÙÔ Ø Ñ Ø Ó × Ö Ô Ø Ò ÙÖ ¿º Ì ÓØ Ö Ñ Ø Ó Ó × Ö ÒÓØ ÔÖ × ÒØ ¸ ÙØ × ÓÙÐ Ñ Ò ÐºÌ Ñ Ø Ó × Ñ ÒØ ÓÒ Ö Ùר ×Ù × Ø Ó Ñ Ø Ó × Û × ÓÙÐ ×ÙÔÔÓÖØ Ý ¬Ð Ñ Ò Öº Ä Ø Ö ÓÒ Ø ÓÒ Ð Ñ Ø Ó × Ö ÒØÖÓ Ù ÐÒ ÛØ Ø Ö ÔÐ Ø ÓÒ Ó ¬Ð × Ò ×ØÖ ÙØ ÒÚ ÖÓÒÑ ÒØº Server (File Manager) types: TmpFile File String fname String fcont Date lm String fcont Date lm String mode Update String fcont Date lm º ½º × ÑÔÐ Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ×Ô methods: newFile (String fn) localUpdate (String fn, String c, Date d) copy (String fn1, String fn2) rename(String fn1, String fn2) destroyFile(String fn) newLocalUpdate (String fn, String c, Date d) repeatedLocalUpdate (String fn, String c, Date d) ...
Modeling Distributed Systems by Modular Graph Transformation 33 ÓÒÐÝ Ø ÒØ Ö Ö Ú Ø ÓÒ ÙØ Ð×Ó ÙÖØ Ö Ø ÓÒ× ´Û ÔÖ × ÖÚ Ø ÓÒµº Ì Û ÔÖ × ÖÚ Ø ÓÒ Ù Ö ÒØ × Ø Ð ×Ø¸ Ø Ø ÒÓØ Ò ÛÖÓÒ ÔÔ Ò× Ø Ñ Ø ¸ ÓÛ Ú Ö¸ Ø Ø ÒÓØ Ò Ø ÐÐ ÔÔ Ò׺ ÙÖØ ÖÑÓÖ ¸ Û Ø ÑÓÖ Ò Ö Ð ÔÓ ÒØ Ó Ú Û × Ò ÓÙÖ Ó Ð × ØÓ Ù× ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ØÓ ×Ô Ý ×ØÖ ÙØ ×Ýר Ñ׸ Û ÒØÖÓ Ù ÑÓÖ ÓÚ Ö × Ñ ÒØ × × ÓÒ ×ØÖ ÙØ ØÝÔ Ö Ô Ö ÑÑ Ö׺ Ì ÖÓÙ ÓÙØ Ø × Ô Ô Ö¸ ÐÐ ÓÒ ÔØ× Ö ÒØÖÓ Ù ÐÓÒ ÖÙÒÒ Ò Ü ÑÔÐ Û × ´× ÑÔÐ µ ×ØÖ ÙØ ¬Ð Ñ Ò Öº Ï ÓÒ× Ö Ð ÒØ¹× ÖÚ Ö ×Ýר Ñ ÒÛ Ø Ð ÒØ Ñ Ý Ö ÔÐ Ø ¬Ð × ÖÓÑ Ø × ÖÚ Ö³× × Ø º Ì ÜÔÓÖØ Ó Ø × ÖÚ Ö ÓÒØ Ò× Ö ÔÐ Ð ¬Ð ׸ ÙØ Ù×Ù ÐÐÝ Ø Ð ÒØ Ùר Ò × ×Ñ ÐÐ ÑÓÙÒØ Ó ÜÔÓÖØ ¬Ð × Ò Ö ÔÐ Ø × ÓÒÐÝ Ø Ó× º ¾ ÓÒØÖÓÐÐ Ò ÊÙÐ ÔÔÐ Ø ÓÒ Ý Ø Ú ØÝ Ö Ñ× Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ×Ô ¬ Ø ÓÒ ÓÒ× ×Ø× Ó ØÝÔ Ö Ô ¸ ר ÖØ Ö Ô Ò ¬Ò Ø × Ø Ó Ñ Ø Ó ×º ÌÝÔ Ö Ô × × Ö Ø ×Ø Ø ×ØÖÙ ØÙÖ ×¸ º º Ó Ø ØÝÔ × Ò Ø ØÝÔ × Ó Ø Ö ØØÖ ÙØ × × Û ÐÐ × Ö Ð Ø ÓÒ׺ Ñ Ø Ó × ÓÒ× ×Ø Ò Ó Ò Ñ Ò Ô Ö Ñ Ø Ö Ð ×Ø¸ Ò Ó Ýº Ì Ó ÝÑ Ý ÖÙÐ ÓÖ Ò Ø Ú ØÝ Ö ÑÛ Ñ Ý ØÖ Ö ÖÙÐ ÔÔÐ Ø ÓÒ׺ Ø Ú ØÝ Ö Ñ× Ö Û Ðй ÒÓÛÒ ×Ù Ð Ò Ù Ó Ø ÑÓ Ð Ò Ð Ò Ù ÍÅÄ ÍÅÄ º × Ò Ü ÑÔÐ ¸ Û ÓÒ× Ö ¬Ð Ñ Ò Ö Û Ø Ø× ØÝÔ Ð Ñ Ø Ó × ×Ù × Ö Ø Ò Ò Û ¬Ð ¸ ÙÔ Ø Ò ¸ ÓÔÝ Ò Ò Ö Ò Ñ Ò Ø Ò ÔÓ×× ÐÝ ×ØÖÓÝ Ò Øº ÁÒ ÙÖ ½ Ø ØÝÔ Ö Ô × Û ÐÐ × Ø Ñ Ø Ó × Ö × ÓÛÒº Ì ×Ø ÖØ Ö Ô × ÑÔØÝº Ì Ó × Ó Ø ÙÔ Ø Ñ Ø Ó × Ö Ô Ø Ò ÙÖ ¿º Ì ÓØ Ö Ñ Ø Ó Ó × Ö ÒÓØ ÔÖ × ÒØ ¸ ÙØ × ÓÙÐ Ñ Ò ÐºÌ Ñ Ø Ó × Ñ ÒØ ÓÒ Ö Ùר ×Ù × Ø Ó Ñ Ø Ó × Û × ÓÙÐ ×ÙÔÔÓÖØ Ý ¬Ð Ñ Ò Öº Ä Ø Ö ÓÒ Ø ÓÒ Ð Ñ Ø Ó × Ö ÒØÖÓ Ù ÐÒ ÛØ Ø Ö ÔÐ Ø ÓÒ Ó ¬Ð × Ò ×ØÖ ÙØ ÒÚ ÖÓÒÑ ÒØº Server (File Manager) types: TmpFile File String fname String fcont Date lm String fcont Date lm String mode Update String fcont Date lm º ½º × ÑÔÐ Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ×Ô methods: newFile (String fn) localUpdate (String fn, String c, Date d) copy (String fn1, String fn2) rename(String fn1, String fn2) destroyFile(String fn) newLocalUpdate (String fn, String c, Date d) repeatedLocalUpdate (String fn, String c, Date d) ...
Sch¨urr, and M. ): AGTIVE’99, LNCS 1779, pp. 31-45, 2000. c Springer-Verlag Berlin Heidelberg 2000 32 M. Große-Rhode et al. Ò ÑÓ Ð Ý Ö Ô ×Û Ö ×Ø ÝÒ Ñ Ú ÓÖ × × Ö Ý Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒº ÌÓ Ñ Ò Ø ÓÑÔÐ Ü ØÝ Ó ×ØÖ ÙØ ×Ýר Ñ× Ø Ö Ù× Ó ×Ô ¬ Ø ÓÒ× Ò ×Ó ØÛ Ö × ÑÔÓÖØ ÒØº Ù ØÓ Ø × ÔÓ ÒØ¸ ÑÓ Ð Ò Ø Ò ÕÙ × × ÓÙÐ Ó ¹ Ö Ò Ô×ÙÐ Ø ÓÒ Ò Ö ¬Ò Ñ ÒØ ÓÒ ÔØ× ØÓ ×ÙÔÔÓÖØ Ø Ô ÖØ Ø ÓÒ Ò Ó ×Ý×¹ Ø Ñ ÒØÓ ÓÒ ÙÖÖ ÒØ¸ ÓÑÑÙÒ Ø Ò ×Ù ×Ýר Ñ׺ Ë Ú Ö Ð ÔÔÖÓ × ØÓ ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ Ú Ò ÓÒ× Ö ´× À Ì ÓÖ Ò ÓÚ ÖÚ Û ÓÒ × Ú Ö Ð ÑÓ ÙÐ ÓÒ ÔØ× Ò ÐÙ Ò Ø Ó× ÓÖ Ê Ò ÈÊÇ Ê Ëµ¸ Ñ ÒÐÝ Û Ø Ò Ò ÙÒ ×ØÖ ÙØ × ØØ Ò º Ï Ø Ò Ø × Ô Ô Ö¸ Û ÓÒ× Ö ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ Û Ø ×ØÖ ÙØ × Ñ ÒØ ׺ ÓÑÔ Ö Ò ÓÙÖ ÔÔÖÓ ÛØ ÔÖ Ú ÓÙ× ÓÒ ¸ ÐÐ Á Ç ×Ýר Ñ× ÌË ¸ ÑÓ ÙÐ ÓÒ ÔØ ÓÖ × ÑÔÐ Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ Ð×Ó ÓÑ Ò ÐÓÒ Û Ø ×ØÖ ÙØ × Ñ ÒØ ׸ ÓÙÖ ÑÔ × × ÒÓÛ Ð × ÓÒ ÑÓ ÙÐ × ÓÖ ØØÖ ÙØ Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ Û Ø ÔÔÐ Ø ÓÒ ÓÒ¹ ØÖÓк Ì Ö Ô Ð ÒÓØ Ø ÓÒ Ó Ø ÑÓ ÙÐ × ÓÐÐÓÛ× Ø ÍÅĹÒÓØ Ø ÓÒ × Ö × ÔÓ×× Ð ¸ º º Û Ö Ú Ö ÓÖÖ ×ÔÓÒ Ò ÑÓ Ð Ò Ð Ñ ÒØ× Ö Ù× º ÑÓ ÙÐ ÓÒØ Ò× ØÝÔ Ö Ô ØÓ ÑÓ Ð Ø Ó Ø ×ØÖÙ ØÙÖ × Û Ö ÔÓ×× Ð Ò ÔÖ Ò ÔÐ º È ÖØ× Ó ØÝÔ Ö Ô ´Û Ñ Ý ÓÚ ÖÐ Ôµ Ò Ð Ö × ÜÔÓÖØ ÒØ Ö ×º Ì × Ù Ö ÒØ × ×ÓÑ Ò ÓÖÑ Ø ÓÒ Ò Ò × ÑÙÐØ Ò ¹ ÓÙ×ÐÝ ÐÐÓÛ× Ö Ø ÜÔÓÖØ Ó ÖØ Ò Ó Ø ×ØÖÙ ØÙÖ ×º ÅÓÖ ÓÚ Ö¸ Ô ÖØ× Ó ØÝÔ Ö Ô Ø Ø Ö Ö ÕÙ Ö ÖÓÑ Ø ÒÚ ÖÓÒÑ ÒØ Ñ Ý Ñ Ö × ÑÔÓÖØ ÒØ Ö¹ ׺ Ì Ö Ô Ð ÒÓØ Ø ÓÒ Ó ØÝÔ Ö Ô × ÓÐÐÓÛ× Ø Ø Ó ÍÅÄ Ð ×× Ö Ñ׺ Ì ÝÒ Ñ Ú ÓÖ Ò Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ÑÓ ÙÐ × × Ö Ý Ñ Ø Ó ×º × ÓÔ Ö Ø ÓÒ × ÑÓ Ð Ý Ùר ÓÒ Ö Ô ÖÙÐ º ÓÑÔÐ Ü Ø ÓÒ× Ö ×Ô ¬ Ý ÖÙÐ ÜÔÖ ×× ÓÒ× Û ÓÒØ Ò Ø ÓÒØÖÓÐ ÓÛ Ó ÖØ Ò ÖÙÐ ÔÔÐ Ø ÓÒ׺ ÊÙÐ ÜÔÖ ×× ÓÒ× Ö Ö Ô ÐÐÝ Ö ÔÖ × ÒØ Ý Ö ×ØÖ Ø Ø Ú ØÝ Ö Ñ× Ò ¸ Ø Ù׸ Ö × Ñ Ð ×ØÓÖÝ Ö Ñ× Â º Ý ÜÔÓÖØ Ò Ñ Ø Ó ÒÓØ ÓÒÐÝ Ø× Ò Ñ Ò Ô Ö Ñ Ø Ö× Ö ÔÙ Ð × ¸ ÙØ Ð×Ó ÖÙÐ Û × Ö ×Ø « Ø Ó Ø Ñ Ø Ó ÓÒ Ø ÜÔÓÖØ Ð ØÝÔ ×º ×Ù × Ø Ó ÑÓ ÙÐ ³× ÖÙÐ × Ñ Ý Ð Ö × ÑÔÓÖØ ÖÙР׺ Ì ÑÔÓÖØ ÖÙÐ × ×Ø Ø Û Ø × Ò ÝØ Ó Ý Ñ Ø Ó × ØÓ Ô Ö ÓÖÑ Ò Ò Ù× ØÓ × Ö ÓÖ Ø Ö Ø ÜÔÓÖØ× Û Ø Ò Ò ØÛÓÖ º Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ÑÓ ÙÐ × ÓÑÑÙÒ Ø Ý ÓÒÒ Ø Ò Ò ÑÔÓÖØ Ó ÓÒ ÑÓ ÙÐ ØÓ Ò ÜÔÓÖØ Ó ÒÓØ Öº Ì × ÓÒÒ Ø ÓÒ× ÓÒ ÖÒ Ø ØÝÔ Ö Ô × × Û ÐÐ × Ø Ñ Ø Ó × × Ð Ø Ø Ó× Ô ÖØ× Ó Ø ÜÔÓÖØ ÒØ Ö ×Ø Ò ÓÖ Ø ÓÒÒ Ø ÑÔÓÖØº Ë Ò ÑÓ ÙÐ × Ñ Ý ×ØÖ ÙØ ÓÚ Ö × Ú Ö Ð × Ø ×¸ Ö ÑÓØ ÒØ Ö Ø ÓÒ Ø × ÔÐ Û Ò Ú Ö ×Ù Ò ÑÔÓÖØ¹ ÜÔÓÖØ ÓÒÒ Ø ÓÒ × Ù× º Ë Ñ ÒØ ÐÐÝ ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ × ÓÒ× Ö ØÛ ¬Öר Û Ò¹ Ú ×Ø Ø Ø Ú ÓÖ Ö Ð Ø ÓÒ× ØÛ Ò « Ö ÒØ ÑÓ ÙÐ ÓÑÔÓÒ ÒØ×º Ì Ö ¹ Ð Ø ÓÒ× ØÛ Ò Ó Ý¸ ÜÔÓÖØ Ò ÑÔÓÖØ ÒØ Ö × Ñ Ý Ð×Ó Ù× ÓÑÔÓ× ÖÙÐ ÔÔÐ Ø ÓÒ׸ ÓÖÖ ×ÔÓÒ Ò ØÓ ÓÑÔÓ× Ö Ú Ø ÓÒ׺ Ì ÑÔÓÖØ ÒØ × Ñ ÒØ ÔÖÓÔ ÖØÝ Ó ×Ù Ö Ð Ø ÓÒ × Ø ÔÖ × ÖÚ Ø ÓÒ Ó Ú ÓÖ Ò ×ØÖÓÒ Ö ÓÖ Û Ö × Ò× Ú Ò ÒÝ Ö Ú Ø ÓÒ Ó º º Ò ÜÔÓÖØ ÒØ Ö ¸ Ø Ö × ÓÖ¹ Ö ×ÔÓÒ Ò Ö Ú Ø ÓÒ Ò Ø Ö Ð Ø ÓÑÔÓÒ ÒØ ´ Ó Ýµ¸ ×Ù Ø Ø Ø Ú × Ð Ô ÖØ Ó Ø × Ö Ú Ø ÓÒ Ó Ò × Û Ø Ø ÜÔÓÖØ Ö Ú Ø ÓÒ ´×ØÖÓÒ ÔÖ × ÖÚ ¹ Ø ÓÒµ¸ ÓÖ Ø ÓÖÖ ×ÔÓÒ Ò Ö Ú Ø ÓÒ ´ Ò Ø Ó Ýµ Ð× Ò Ñ Ý ×Ù ×ÙÑ ÒÓØ Modeling Distributed Systems by Modular Graph Transformation 33 ÓÒÐÝ Ø ÒØ Ö Ö Ú Ø ÓÒ ÙØ Ð×Ó ÙÖØ Ö Ø ÓÒ× ´Û ÔÖ × ÖÚ Ø ÓÒµº Ì Û ÔÖ × ÖÚ Ø ÓÒ Ù Ö ÒØ × Ø Ð ×Ø¸ Ø Ø ÒÓØ Ò ÛÖÓÒ ÔÔ Ò× Ø Ñ Ø ¸ ÓÛ Ú Ö¸ Ø Ø ÒÓØ Ò Ø ÐÐ ÔÔ Ò׺ ÙÖØ ÖÑÓÖ ¸ Û Ø ÑÓÖ Ò Ö Ð ÔÓ ÒØ Ó Ú Û × Ò ÓÙÖ Ó Ð × ØÓ Ù× ÑÓ ÙÐ Ö Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ØÓ ×Ô Ý ×ØÖ ÙØ ×Ýר Ñ׸ Û ÒØÖÓ Ù ÑÓÖ ÓÚ Ö × Ñ ÒØ × × ÓÒ ×ØÖ ÙØ ØÝÔ Ö Ô Ö ÑÑ Ö׺ Ì ÖÓÙ ÓÙØ Ø × Ô Ô Ö¸ ÐÐ ÓÒ ÔØ× Ö ÒØÖÓ Ù ÐÓÒ ÖÙÒÒ Ò Ü ÑÔÐ Û × ´× ÑÔÐ µ ×ØÖ ÙØ ¬Ð Ñ Ò Öº Ï ÓÒ× Ö Ð ÒØ¹× ÖÚ Ö ×Ýר Ñ ÒÛ Ø Ð ÒØ Ñ Ý Ö ÔÐ Ø ¬Ð × ÖÓÑ Ø × ÖÚ Ö³× × Ø º Ì ÜÔÓÖØ Ó Ø × ÖÚ Ö ÓÒØ Ò× Ö ÔÐ Ð ¬Ð ׸ ÙØ Ù×Ù ÐÐÝ Ø Ð ÒØ Ùר Ò × ×Ñ ÐÐ ÑÓÙÒØ Ó ÜÔÓÖØ ¬Ð × Ò Ö ÔÐ Ø × ÓÒÐÝ Ø Ó× º ¾ ÓÒØÖÓÐÐ Ò ÊÙÐ ÔÔÐ Ø ÓÒ Ý Ø Ú ØÝ Ö Ñ× Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ×Ô ¬ Ø ÓÒ ÓÒ× ×Ø× Ó ØÝÔ Ö Ô ¸ ר ÖØ Ö Ô Ò ¬Ò Ø × Ø Ó Ñ Ø Ó ×º ÌÝÔ Ö Ô × × Ö Ø ×Ø Ø ×ØÖÙ ØÙÖ ×¸ º º Ó Ø ØÝÔ × Ò Ø ØÝÔ × Ó Ø Ö ØØÖ ÙØ × × Û ÐÐ × Ö Ð Ø ÓÒ׺ Ñ Ø Ó × ÓÒ× ×Ø Ò Ó Ò Ñ Ò Ô Ö Ñ Ø Ö Ð ×Ø¸ Ò Ó Ýº Ì Ó ÝÑ Ý ÖÙÐ ÓÖ Ò Ø Ú ØÝ Ö ÑÛ Ñ Ý ØÖ Ö ÖÙÐ ÔÔÐ Ø ÓÒ׺ Ø Ú ØÝ Ö Ñ× Ö Û Ðй ÒÓÛÒ ×Ù Ð Ò Ù Ó Ø ÑÓ Ð Ò Ð Ò Ù ÍÅÄ ÍÅÄ º × Ò Ü ÑÔÐ ¸ Û ÓÒ× Ö ¬Ð Ñ Ò Ö Û Ø Ø× ØÝÔ Ð Ñ Ø Ó × ×Ù × Ö Ø Ò Ò Û ¬Ð ¸ ÙÔ Ø Ò ¸ ÓÔÝ Ò Ò Ö Ò Ñ Ò Ø Ò ÔÓ×× ÐÝ ×ØÖÓÝ Ò Øº ÁÒ ÙÖ ½ Ø ØÝÔ Ö Ô × Û ÐÐ × Ø Ñ Ø Ó × Ö × ÓÛÒº Ì ×Ø ÖØ Ö Ô × ÑÔØÝº Ì Ó × Ó Ø ÙÔ Ø Ñ Ø Ó × Ö Ô Ø Ò ÙÖ ¿º Ì ÓØ Ö Ñ Ø Ó Ó × Ö ÒÓØ ÔÖ × ÒØ ¸ ÙØ × ÓÙÐ Ñ Ò ÐºÌ Ñ Ø Ó × Ñ ÒØ ÓÒ Ö Ùר ×Ù × Ø Ó Ñ Ø Ó × Û × ÓÙÐ ×ÙÔÔÓÖØ Ý ¬Ð Ñ Ò Öº Ä Ø Ö ÓÒ Ø ÓÒ Ð Ñ Ø Ó × Ö ÒØÖÓ Ù ÐÒ ÛØ Ø Ö ÔÐ Ø ÓÒ Ó ¬Ð × Ò ×ØÖ ÙØ ÒÚ ÖÓÒÑ ÒØº Server (File Manager) types: TmpFile File String fname String fcont Date lm String fcont Date lm String mode Update String fcont Date lm º ½º × ÑÔÐ Ö Ô ØÖ Ò× ÓÖÑ Ø ÓÒ ×Ô methods: newFile (String fn) localUpdate (String fn, String c, Date d) copy (String fn1, String fn2) rename(String fn1, String fn2) destroyFile(String fn) newLocalUpdate (String fn, String c, Date d) repeatedLocalUpdate (String fn, String c, Date d) ...
Applications of Graph Transformations with Industrial Relevance: International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings by Rinus Plasmeijer, Marko van Eekelen (auth.), Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
by Thomas
4.5