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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Derrick, J., Boiten, E.: Refinement in Z and Object-Z. In: Foundation and Advanced Applications. FACIT. Springer, Heidelberg (2001)
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
IBM, The Eclipse Project. Home Page. Copyright IBM Corp. and others (2000-2004), http://www.eclipse.org/
Lano, K.: The B Language and Method. In: FACIT. Springer, Heidelberg (1996)
OMG. The Unified Modeling Language Specification – Version 1.5, UML Specification, revised by the OMG (March 2003), http://www.omg.org
Pons, C., Pérez, G., Giandini, R., Kutsche, R.-D.: Understanding Refinement and Specialization in the UML. In: 2nd International Workshop on MAnaging SPEcialization/Generalization Hierarchies (MASPEGHI) IEEE ASE 2003, Canada (2003)
Pons, C., Pérez, G., Kutsche, R.-D.: Traceability across refinement steps in UML Modeling. In: Workshop in Software Model Engineering, 7th International Conference on the UML, Lisbon, Portugal, October 11 (2004)
Mark, R., Martin, G.: Validating UML Models and OCL Constraints. Springer, Heidelberg (2000), http://www.db.informatik.uni-remen.de/projects/USE
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pons, C. et al. (2005). PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds) UML Modeling Languages and Applications. UML 2004. Lecture Notes in Computer Science, vol 3297. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31797-5_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-31797-5_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25081-4
Online ISBN: 978-3-540-31797-5
eBook Packages: Computer ScienceComputer Science (R0)