PAMPERO: precise assistant for the modeling process in an environment with refinement orientation

  • Authors:

  • Claudia Pons;Roxana Giandini;Gabriela Pérez;Pablo Pesce;Valeria Becker;Jorge Longinotti;Javier Cengia

  • Affiliations:

  • LIFIA – Facultad de Informática, Universidad Nacional de La Plata, La Plata, Buenos Aires, CP, Argentina;LIFIA – Facultad de Informática, Universidad Nacional de La Plata, La Plata, Buenos Aires, CP, Argentina;LIFIA – Facultad de Informática, Universidad Nacional de La Plata, La Plata, Buenos Aires, CP, Argentina;LIFIA – Facultad de Informática, Universidad Nacional de La Plata, La Plata, Buenos Aires, CP, Argentina;LIFIA – Facultad de Informática, Universidad Nacional de La Plata, La Plata, Buenos Aires, CP, Argentina;LIFIA – Facultad de Informática, Universidad Nacional de La Plata, La Plata, Buenos Aires, CP, Argentina;LIFIA – Facultad de Informática, Universidad Nacional de La Plata, La Plata, Buenos Aires, CP, Argentina

  • Venue:
  • UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Abstraction [2] facilitates the understanding of complex systems by dealing with the major issues before getting involved in the detail. Apart from enabling for complexity management, the inverse of abstraction, refinement, captures the essential relationship between specification and implementation. Refinement relationship makes it possible to understand how each business goal relates to each system requirement and how each requirement relates to each facet of the design and ultimately to each line of the code. Documenting the refinement relationship between these layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model’s vocabulary by translating them to the concrete model’s vocabulary.