Evolution of object-orientedsoftware involves addition, deletion, and replacement of classes. Maintenance of classes requires detect and resolve inconsistency between classes. The Unified Modeling Language (UML) is b...
详细信息
ISBN:
(纸本)0769501796
Evolution of object-orientedsoftware involves addition, deletion, and replacement of classes. Maintenance of classes requires detect and resolve inconsistency between classes. The Unified Modeling Language (UML) is becoming the defacto standard modeling language. Here, we present a UML-based model of class interrelations for evolvingobject-orientedsoftware. The model is based on notions contract and protocol. A contract can be used by a class designer to express services and requirments of the class, a protocol to register cooperations between classes. Founded on the UML extension mechanisms, we present an infrastructure for class designers to express contracts and register protocols. The infrastructure lays the foundation for class designers, implementers, and maintainers to validate class changes in software evolution. It makes automated validation possible.
暂无评论