Applications of Graph Transformations with Industrial - download pdf or read online

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.

Show description

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

Download e-book for iPad: Advances in Artificial Intelligence – IBERAMIA 2004: 9th by Rubén Fuentes, Jorge J. Gómez-Sanz, Juan Pavón (auth.),

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.

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) ...

Download PDF sample