Download Semantic Integration of Heterogeneous Software by Martin Große-Rhode PDF

By Martin Große-Rhode

In a model-based improvement of software program structures diverse perspectives on a procedure are elaborated utilizing acceptable modeling languages and methods. as a result unavoidable heterogeneity of the perspective versions, a semantic integration is needed, to set up the correspondences of the types and make allowance checking in their relative consistency.

The integration method brought during this publication is predicated on a typical semantic area of summary structures, their composition and improvement. Its applicability is proven via semantic interpretations and compositional comparisons of other specification ways. those diversity from formal specification ideas like procedure calculi, Petri nets and rule-based formalisms to semiformal software program modeling languages like these within the UML family.

Show description

Read Online or Download Semantic Integration of Heterogeneous Software Specifications PDF

Similar programming: programming languages books

Webseitenlayout mit CSS

Keine Angst vor CSS! Auch in Zeiten von Joomla! und WordPress sorgen Cascading sort Sheets fur unverwechselbares Webseitendesign. Anhand von 23 Praxisbeispielen zeigt der erfahrene Webentwickler, Dozent und coach Clemens Gull, wie Sie CSS gezielt einsetzen und welche Designeffekte Sie damit erzielen konnen.

Web-Programmierung: Softwareentwicklung mit Internet-Technologien — Grundlagen, Auswahl, Einsatz — XHTML & HTML, CSS, XML, JavaScript, VBScript, PHP, ASP, Java

Endlich zuverlässiges Wissen zur Entwicklung von Internet-Anwendungen - alles in einem Buch. Das Buch eignet sich sowohl für den Einsatz in der Praxis wie auch als Lehrbuch. Orientierung für die Software-Entwicklung im web und Intranet kompakt und verständlich: Ab sofort müssen Sie das Wissen, das Sie benötigen, nicht mehr aus vielen Büchern zusammensuchen.

Additional resources for Semantic Integration of Heterogeneous Software Specifications

Sample text

From a less operational point of view development relations are more adequate than development operations. For this reason they are also provided in the reference model. Given two transformation systems it can be checked with these development relations if and how one of these systems can be seen as a development of the other one. Developments are so general as to indude refinements, implementations of one transformation system by another one, and interfaces as views as mentioned above. The development relations are a generalisation of the development operations in the sense that the application of a development operation always yields a system which is in development relation with the old one.

This means deZ E Ttr({s, e), (s', e') iff the fonowing conditions hold. • • s = start and s' = stop . ) = e(n) e'(a) = e(n) e'(n) = rightL[e1(e(n» e'(x) = e(x) • If e(a) i:- eU) and e(n) i:- 0 e' (sndl[e 1(e(p») e'(a) e'(n) e'(x) • If e(a) i:- eU) for an x E dom(e) - {f,a,n}. then e(n) e(n) rightL[e1(e( n» e(x) for an x E dom(e) - {sndl[e1(e(p»,a,n}. and e(n) = 0 then e'(sndl[e1(e(p))) = 0 e'(a) = 0 e'(x) = e(x) for an x E dom(e) - {sndl[e1(e(p», a} . • If e(a) = e(f) and e(n) = 0 then e'(x) = 0 for an xE dom(e) .

1 Transition Graphs and Data Spaces 37 3. Sets of actions have been interpreted as parallel occurrences of actions, with the empty set as an internal step corresponding to an invisible action. , there might be a transition labelled T U T' but no transition labelled T or T', or if there are such transitions, their underlying data states need not be correlated. 4. A syntactic representation of a tracking relation, which is more general than the identity on static data types contained in the data states as discussed above, can be obtained by designating a subsignature E o of the data state signature E and defining , "'t 8 for , E ICI and 8 E IDI if there is a term r E Term Eo such that , = r C and 8 = r D.

Download PDF sample

Rated 4.81 of 5 – based on 26 votes