Analysis and Correctness of Algebraic Graph and Model Transformations
Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to sho
- PDF / 2,028,384 Bytes
- 239 Pages / 419.528 x 595.276 pts Page_size
- 56 Downloads / 160 Views
VIEWEG+TEUBNER RESEARCH
Ulrike Golas
Analysis and Correctness of Algebraic Graph and Model Transformations With a foreword by Prof. Dr. Hartmut Ehrig
VIEWEG+TEUBNER RESEARCH
Bibliographic information published by the Deutsche Nationalbibliothek The Deutsche Nationalbibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data are available in the Internet at http://dnb.d-nb.de.
Dissertation Technische Universität Berlin, 2010 D 83
1st Edition 2011 All rights reserved © Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH 2011 Editorial Office: Ute Wrasmann | Anita Wilke Vieweg+Teubner Verlag is a brand of Springer Fachmedien. Springer Fachmedien is part of Springer Science+Business Media. www.viewegteubner.de No part of this publication may be reproduced, stored in a retrieval system or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the copyright holder. Registered and/or industrial names, trade names, trade descriptions etc. cited in this publication are part of the law for trade-mark protection and may not be used free in any form or by any means even if this is not specifically marked. Cover design: KünkelLopka Medienentwicklung, Heidelberg Printing company: STRAUSS GMBH, Mörlenbach Printed on acid-free paper Printed in Germany ISBN 978-3-8348-1493-7
Foreword The area of web grammars and graph transformations was created about 40 years ago. 10 years later, the algebraic approach of graph grammars was well established as a concrete theory of graph languages. This was the time when also Ulrike Prange was born. Both of them had a smooth childhood for a period of about 20 years. This smooth period was continued by a highly active one: Computing by graph transformation was adopted as an EC-child leading to the grownup international conference on graph transformation ICGT, when Ulrike started to study computer science and mathematics. In her master’s thesis, she successfully transformed the LS-baby “adhesive category” into the TFSchild “adhesive HLR category”, which was educated in functional behavior. Meanwhile she transformed herself from Ulrike Prange to Ulrike Golas. The final step is now done in her PhD thesis on two levels: On the abstract level, from adhesive HLR systems to M-adhesive systems with general application conditions, and on the concrete level as a model transformation between different visual languages like statecharts and Petri nets. Altogether, she has successfully established a bidirectional transformation between categorical and graph transformation techniques as well as between mathematics and computer science concerning her professional degrees. This is an excellent basis for a promising scientific career.
Hartmut Ehrig Technische Universit¨at Berlin
Abstract Graph and model transformations play a central role for visual modeling and model-driven software development. It is important to note that the concepts of graphs and their rule-based mod
Data Loading...
