Analysis and Correctness of Algebraic Graph and Model by Ulrike Golas PDF

By Ulrike Golas

ISBN-10: 3834814938

ISBN-13: 9783834814937

Graph and version variations play a principal position for visible modeling and model-driven software program improvement. in the final decade, a mathematical idea of algebraic graph and version differences has been built for modeling, research, and to teach the correctness of differences. Ulrike Golas extends this idea for extra subtle functions just like the specification of syntax, semantics, and version ameliorations of complicated versions. in line with M-adhesive transformation platforms, version changes are effectively analyzed relating to syntactical correctness, completeness, practical habit, and semantical simulation and correctness. The built tools and effects are utilized to the non-trivial challenge of the specification of syntax and operational semantics for UML statecharts and a version transformation from statecharts to Petri nets conserving the semantics.

Show description

Read Online or Download Analysis and Correctness of Algebraic Graph and Model Transformations PDF

Similar computer science books

Dick Grune, Ceriel J. H. Jacobs's Parsing Techniques: A Practical Guide (Monographs in PDF

This moment version of Grune and Jacobs’ impressive paintings provides new advancements and discoveries which have been made within the box. Parsing, also known as syntax research, has been and remains to be an important a part of desktop technological know-how and linguistics. Parsing thoughts have grown significantly in value, either in desktop technology, ie.

New PDF release: Lessons Learned in Software Testing: A Context-Driven

The world's prime software program checking out specialists lend you their knowledge and years of expertise that will help you steer clear of the commonest error in trying out software program. every one lesson is an statement relating to software program checking out, via a proof or instance that exhibits you the how, while, and why of the checking out lesson.

Read e-book online Too Soon to Tell: Essays for the End of the Computer PDF

In line with writer David A. Grier's column "In Our Time," which runs per thirty days in desktop journal, Too quickly to inform offers a suite of essays skillfully written in regards to the laptop age, an period that begun February 1946. reading principles which are either modern and undying, those chronological essays learn the progressive nature of the pc, the relation among machines and human associations, and the connections among fathers and sons to supply normal readers with an image of a selected know-how that tried to rebuild human associations in its personal photo.

New PDF release: Service-Oriented Computing and Web Software Integration:

Ripped from VitaBook. Sorry if now not transparent, yet many desktop technology scholars want this.

Additional info for Analysis and Correctness of Algebraic Graph and Model Transformations

Example text

The compatibility with the opFi (dk ) Gi (d ) i i erations. For all i ∈ I we Fi (nk ) Gi (n ) opL i i i Fi (Lki ) Gi (L i ) have that Gi (m i ) ◦ opL i ◦ Fi (dki ) = opC Fi (mk ) Gi (m ) i ◦ Fi (mki ) ◦ i i Fi (dki ) = opC i ◦ Fi (nki ) = K Fi (Cki ) Gi (C i ) Gi (n i ) ◦ opi = Gi (m i ) ◦ opC i Gi (d i ) ◦ opK i , and since K Gi (m i ) is an isomorphism it follows that opL i ◦ Fi (dki ) = Gi (d i ) ◦ opi , i. e. d ∈ G. 2. This is obvious. 3. This follows directly from Item 1, since any comma category is an instantiation of a general comma categories.

But the knowledge of the domain-specific nature of the models may help to perform verification with reasonable effort. In [Erm09], a conceptual overview on model transformations based on graph transformations is given, especially regarding research activities and future work for the analysis and verification of model transformations. For the verification of model transformations, some results for syntactical correctness are available. Using the above mechanism, the correct typing of the target model is implied by the graph transformation approach.

Moreover, only a short outline of the theory of Madhesive transformation systems is given here. For the entire theory with all definitions, theorems, proofs, and examples see [EEPT06, EP06, PE07]. U. 1 Graphs, Typed Graphs, and Typed Attributed Graphs Graphs and graph-like structures are the main basis for (visual) models. Basically, a graph consists of nodes, also called vertices, and edges, which link two nodes. Here, we consider graphs which may have parallel edges as well as loops. A graph morphism then maps the nodes and edges of the domain graph to these of the codomain graph such that the source and target nodes of each edge are preserved by the mapping.

Download PDF sample

Analysis and Correctness of Algebraic Graph and Model Transformations by Ulrike Golas

by Robert

Rated 4.39 of 5 – based on 27 votes