A Process Model for Specifying System Behaviour with UML

Sofhrare development projects g raw a reputation for poor quality" This situation is in part due to the Lack of appropriate mechanisms to identijy and express functz`onal requirements in a flexible yet rz"gorousfashion. LJML is a standard modeLling language that is able to speci!y applz.cations in dzerent levels of abstractions as it provides a wide range of notatz`ons. Among them, we have collaborations that serve to reaLise use cases, a powezfitl abstraction concept. The behaviour part of a collaboration is rendered usz"ng sequence or collaboration d!agralns. However, the lack of abstraction and refinement mechanisms compromz.ses the understandability and modular.zty of a specification. In general, we can say that abstraction and refznement mechanisms help obtaining a more maintainable system Our aim ts to provide abstraction and refinement mechanisms accomplished byproposz"ng a modelling process.