Object Modeling With the Ocl

by Clark, Tony; Warmer, Jos B.

• ISBN13: 9783540431695
• ISBN10: 3540431691
• Format: Paperback
• Copyright: 2002-02-01
• Publisher: Springer Verlag

Summary

This volume, dedicated to Bernd Silbermann on his sixtieth birthday, collects research articles on Toeplitz matrices and singular integral equations written by leading area experts. The subjects of the contributions include Banach algebraic methods, Toeplitz determinants and random matrix theory, Fredholm theory and numerical analysis for singular integral equations, and efficient algorithms for linear systems with structured matrices, and reflect Bernd Silbermann's broad spectrum of research interests. The volume also contains a biographical essay and a list of publications. The book is addressed to a wide audience in the mathematical and engineering sciences. The articles are carefully written and are accessible to motivated readers with basic knowledge in functional analysis and operator theory.

Table of Contents

Introduction	1	(3)
Bran Selic
A Meta-model Facility for a Family of UML Constraint Languages	4	(17)
Tony Clark
Andy Evans
Stuart Kent
A New Type Checking Approach for OCL Version 2.0?	21	(21)
Andy Schurr
OCL: Syntax, Semantics, and Tools	42	(27)
Mark Richters
Martin Gogolla
On the Precise Meaning of OCL Constraints	69	(16)
Rolf Hennicker
Heinrich Hussmann
Michel Bidoit
Expressing UML Class Diagrams Properties with OCL	85	(30)
Martin Gogolla
Mark Richters
The Amsterdam Manifesto on OCL	115	(35)
Steve Cook
Anneke Kleppe
Richard Mitchell
Bernhard Rumpe
Jos Warmer
Alan Wills
An OCL Extension for Real-Time Constraints	150	(22)
Stephan Flake
Wolfgang Mueller
Statistical Constraints and Verification	172	(17)
John Knapman
<<Java>> CL Based on New Presentation of the OCL-Syntax	189	(24)
Bernhard Rumpe
The Semantics of the OCL Action Clause	213	(15)
Anneke Kleppe
Jos Warmer
Constraint Trees	228	(22)
Stuart Kent
John Howse
Using OCL and UML to Specify System Behavior	250	(31)
Shane Sendall
Alfred Strohmeier
Author Index	281