Muutke küpsiste eelistusi

E-raamat: Semantic Integration of Heterogeneous Software Specifications

4.00/5 (2 hinnangut Goodreads-ist)
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 159,93 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Semantic Integration of Heterogeneous Software SpecificationsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency.The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Arvustused

From the reviews:









"This book targets an urgent need, to evolve methods that allow developers to integrate software specifications that are related . The book is well organized and neatly written . Examples, when provided are appropriate. The book will surely be a good reference book for researchers and practitioners of model-driven software development . The effort by the author to illustrate and extend the approach to UML is clearly a step in the right direction ." (Srini Ramaswamy, Computing Reviews, February, 2005)

Introduction
1(29)
The Viewpoint Model of Software Systems Development
2(3)
Integration of Specifications
5(11)
Admissible Interpretations, Correspondences, and Consistency
10(3)
Language- and Method-Independent Integration
13(3)
Requirements of Reference Models and Their Usage
16(1)
The Transformation Systems Reference Model
17(10)
Transformation Systems
18(2)
Development Operations and Relations
20(2)
Composition
22(3)
Granularity
25(2)
Organisation of the Book
27(2)
Transformation Systems
29(34)
Transition Graphs and Data Spaces
30(8)
Examples
38(11)
Data Spaces from Other Specification Frameworks
49(3)
Objects and Object References
52(5)
Discussion
57(6)
Specification of Properties
63(40)
Data Space Specification
64(7)
Control Flow Specification
71(7)
Examples
78(7)
Rewriting Algebras with Transformation Rules
85(10)
Specification with Other Formulae
95(4)
Discussion
99(4)
Development of Transformation Systems
103(58)
Development Operations
105(7)
Extension and Reduction
112(7)
Categorical Structure
119(3)
Refinement and Implementation
122(10)
Examples
132(8)
Preservation of Properties
140(4)
The Institution of Transformation Systems
144(2)
Development w.r.t. Other Specification Frameworks
146(11)
Discussion
157(4)
Composition of Transformation Systems
161(68)
Binary Composition via Connection Relations
163(11)
Categorical Structure
174(6)
Composition-by-Limits
180(4)
Compositional Semantics
184(2)
Compositionality of Properties
186(1)
Compositionality of Developments
187(8)
Morphisms of Transformation Systems with Distributed Data
195(7)
Construction of General Compositions by Global Limits
202(11)
Sequential Composition
213(4)
Composition w.r.t. Other Specification Frameworks
217(7)
Discussion
224(5)
Applications to UML Software Specifications
229(48)
Class Diagram Semantics
230(21)
Architecture: Class Graphs and Object Graphs
232(4)
Internal Structure: Class Signatures and Object States
236(2)
Signature Diagrams and System States
238(4)
A Language for Object Systems
242(4)
Evaluation of Expressions
246(3)
Further Static Features of Class Diagrams
249(1)
State Transformations
250(1)
State Machine Semantics
251(7)
Control and Data States
252(2)
Transitions and Transformations
254(4)
Composition of State Machines
258(8)
Asynchronous Communication
259(2)
Synchronous Communication
261(5)
Integration of Class Diagrams and State Machines
266(2)
Sequence Diagram Semantics
268(3)
Discussion
271(6)
Conclusion
277(26)
Summary
278(4)
Further Developments and Applications
282(5)
UML Integration
282(3)
Integration Methods
285(1)
Architecture Description
286(1)
Related Approaches
287(9)
Integration of Static States and Dynamic Changes
287(4)
Categorical Composition of Theories and Models
291(2)
Consistency and Integration of Viewpoint Specifications
293(1)
Semantic Unification of Programming Languages
294(2)
Methodological Remarks
296(7)
A Partial Algebras and Their Specification 303(8)
References 311(14)
Index 325
1988 Dipl. Math., TU Berlin



1994 Dr. rer.nat. (PhD) Computer Science, TU Berlin



1997/98 senior researcher in the European network GETGRATS, Università di Roma « La Sapienza », Rome, Italy and Università di Pisa, Pisa, Italy



1999 guest professor, Universitat de les Illes Balears (University of the Balearic Islands), Palma de Mallorca, Spain



2002 Habilitation, TU Berlin



since June 2002 senior researcher, Fraunhofer Institut Software- und Systemtechnik, Berlin
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836620985302e.html
Märksõnad: