Semantic Integration of Heterogeneous Software Specifications

Front Cover
Springer Science & Business Media, Dec 9, 2003 - Computers - 330 pages

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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
11 The Viewpoint Model of Software Systems Development
2
12 Integration of Specifications
5
121 Admissible Interpretations Correspondences and Consistency
10
122 Language and MethodIndependent Integration
13
13 Requirements of Reference Models and Their Usage
16
14 The Transformation Systems Reference Model
17
141 Transformation Systems
18
55 Compositionality of Properties
186
56 Compositionality of Developments
187
57 Morphisms of Transformation Systems with Distributed Data
195
58 Construction of General Compositions by Global Limits
202
59 Sequential Composition
213
510 Composition wrt Other Specification Frameworks
217
511 Discussion
224
Applications to UML Software Specifications
229

142 Development Operations and Relations
20
143 Composition
22
144 Granularity
25
15 Organisation of the Book
27
Transformation Systems
29
21 Transition Graphs and Data Spaces
30
22 Examples
38
23 Data Spaces from Other Specification Frameworks
49
24 Objects and Object References
52
25 Discussion
57
Specification of Properties
63
31 Data Space Specification
64
32 Control Flow Specification
71
33 Examples
78
34 Rewriting Algebras with Transformation Rules
85
35 Specification with Other Formulae
95
36 Discussion
99
Development of Transformation Systems
103
41 Development Operations
105
42 Extension and Reduction
112
43 Categorical Structure
119
44 Refinement and Implementation
122
45 Examples
132
46 Preservation of Properties
140
47 The Institution of Transformation Systems
144
48 Development wrt Other Specification Frameworks
146
49 Discussion
157
Composition of Transformation Systems
161
51 Binary Composition via Connection Relations
163
52 Categorical Structure
174
53 CompositionbyLimits
180
54 Compositional Semantics
184
61 Class Diagram Semantics
230
Class Graphs and Object Graphs
232
Class Signatures and Object States
236
613 Signature Diagrams and System States
238
614 A Language for Object Systems
242
615 Evaluation of Expressions
246
616 Further Static Features of Class Diagrams
249
617 State Transformations
250
62 State Machine Semantics
251
621 Control and Data States
252
622 Transitions and Transformations
254
63 Composition of State Machines
258
631 Asynchronous Communication
259
632 Synchronous Communication
261
64 Integration of Class Diagrams and State Machines
266
65 Sequence Diagram Semantics
268
66 Discussion
271
Conclusion
277
71 Summary
278
72 Further Developments and Applications
282
722 Integration Methods
285
723 Architecture Description
286
73 Related Approaches
287
732 Categorical Composition of Theories and Models
291
733 Consistency and Integration of Viewpoint Specifications
293
734 Semantic Unification of Programming Languages
294
74 Methodological Remarks
296
Partial Algebras and Their Specification
303
References
311
Index
325
Copyright

Other editions - View all

Common terms and phrases

Popular passages

Page 312 - H. Bowman and J. Derrick. A junction between state based and behavioural specification.
Page 316 - R. Eshuis and R. Wieringa. Requirements- level semantics for UML statecharts. In SF Smith and CL Talcott, editors, Proc. FMOODS 2000, pages 121-140. Kluwer Academic, Dordrecht, 2000.
Page 314 - LNCS 534(1991). [DHP91] C. Dimitrovici, U. Hummert, and L. Petrucci. Composition and net properties of algebraic high-level nets. In Advances of Petri Nets, volume 483 of Lecture Notes in Computer Science.
Page 312 - M. von der Beeck. A comparison of Statechart variants. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Third International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems (FTRTFT'94), pages 128-148.

About the author (2003)

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

Bibliographic information