|Title:||A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling Notations
|Authors:||Daniel M. Berry and Matthias Weber
|Abstract:||In this report, we describe a pragmatic, rigorous integration of the mathematical specification language Z with well-known object modeling notations and an object-oriented variant of statecharts. The goal is to preserve the abstraction and flexibility of widely-used design notations while being able to embed the precision and rigor of mathematical specification at selected places. The integration between the notations is based on a mapping between entities of the three models.|
|Copyright||The above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information|
Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/1996/CS/CS0889), rather than to the URL of the PDF files directly. The latter URLs may change without notice.
To the list of the CS technical reports of 1996
To the main CS technical reports page
Computer science department, Technion