Designing Object Systems: Object-Oriented Modelling with Syntropy

This book presents a new approach to object-oriented analysis and design, a second-generation method which draws from the best of the first generation of object-oriented analysis and design methods. Called Syntropy, this method incorporates elements of formal methods within common graphical notations.
Syntropy is unique in that careful distinctions are drawn about what is being modelled and why, all of the notations can be precisely related to each other, a great deal of semantic reasoning and checking is possible, a full treatment of concurrency is provided, and techniques for partitioning models are described.
This book is for practising programmers, software analysts and designers, as well as researchers and teachers in the theory and practice of software construction. As well as presenting Syntropy, it aims to provide new perspectives on object-oriented software construction for software developers using any kind of analysis and design method.