摘要：Las técnicas de Abstracción y Refinamiento aplicadas a los modelos conceptuales orientados a objetos, permiten a los ingenieros de software depurar los requisitos del interesado, de forma tal que puedan obtenerse productos válidos y óptimos, que garanticen la consistencia de la información en la etapa de desarrollo. En este artículo se propone un método que provee reglas de refinamiento expresadas en un lenguaje formal para ser empleadas entre las etapas de análisis y diseño del ciclo de vida del desarrollo de un sistema de información. Específicamente, estas reglas parten de casos de uso cuya funcionalidad se expresa mediante métodos y atributos derivados pertenecientes a clases relacionadas con el caso de uso.
其他摘要：Abstraction and Refinement techniques applied to Object - Oriented Conceptual Models, allows Software Engineers debugging stakeholders requirements, getting optimal and valid products that guarantee the information consistency at the development stage. In this paper, we propose a method that provides refinement rules, expressed in a formal language to be used in the transition between analysis and design stages of the Information Systems Life Cycle. Specifically, these rules are taken from use a case whose functionality is expressed by methods and derived attributes belonging to related classes to the use case.
关键词：Diagrama de Clases UML; Refinamiento; Métodos Formales; Atributos Derivados. UML Class Diagram; Refinement; Formal Methods; Derived Attributes.
