Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Object-oriented modeling and design
Object-oriented modeling and design
Object solutions: managing the object-oriented project
Object solutions: managing the object-oriented project
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The unified software development process
The unified software development process
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
The cause-effect rules of ROSES
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Facilitating the definition of general constraints in UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Specifying the semantics of operation contracts in conceptual modeling
Journal on Data Semantics VII
Deriving operation contracts from UML class diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
A phenomenon that frequently appears when designers define analysis specifications is that of redundancy between models. A correct and deep understanding of this phenomenon is necessary to help the task of the designer. In this paper, we study the problem of redundancy in UML Models for Object-Oriented Analysis. In this context, we identify different kinds of redundancies that may arise. We evaluate the impact of redundancy in specifications from the point of view of their desirable properties. We also propose how to obtain a canonical analysis model, which does not include any of the identified redundancies, and we sketch the possibility of having redundant views of some aspects of the canonical model.