Abstract
This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state space where OCL conditions are evaluated might be too large (or even infinite), the strategy of micromodels is applied in order to reduce the search space. The overall contribution is to propitiate the performing of verification activities during the model-driven development process.
Chapter PDF
Similar content being viewed by others
Keywords
- Refinement Condition
- Abstract Operation
- Concrete Operation
- Refinement Pattern
- Formal Specification Language
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
7. References
Astesiano E., Reggio G. An Algebraic Proposal for Handling UML Consistency”, Workshop on Consistency Problems in UML-based Software Development. UML Conference (2003).
Back, R. & von Wright, J. Refinement calculus: a systematic introduction, Graduate texts in computer science, Springer Verlag. (1998)
Boiten E.A. and Bujorianu M.C. Exploring UML refinement through unification. Proceedings of the UML’03 workshop on Critical Systems Development with UML, J. Jurjens, B. Rumpe, et al., editors-TUM-I0323, Technische Universitat Munchen. (2003).
Cavalcanti A. and Naumann D. Simulation and Class Refinement for Java. In proceedings of ECOOP 2000 Workshop on Formal Techniques for Java Programs. (2000).
Davies J. and Crichton C. Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science 70,3, Elsevier, 2002.
Derrick, J. and Boiten, E. Refinement in Z and Object-Z. Foundation and Advanced Applications. FACIT, Springer. (2001)
Engels G., Küster J., Heckel R. and Groenewegen L. A Methodology for Specifying and Analyzing Consistency of Object Oriented Behavioral Models. Procs. of the IEEE Int. Conference on Foundation of Software Engineering. Vienna. (2001).
Gogolla, Martin, Bohling, Jörn and Richters, Mark. Validation of UML and OCL Models by Automatic Snapshot Generation. In G. Booch, P. Stevens, and J. Whittle, editors, Proc. 6th Int. Conf. Unified Modeling Language (UML’2003). Springer, Berlin, LNCS 2863, (2003).
Jackson, Daniel, Shlyakhter, I. and Sridharan. A micromodularity Mechanism. In proceedings of the ACM Sigsoft Conference on the Foundation of Software Engineering FSE’01. (2001).
Kim, S. and Carrington, D., Formalizing the UML Class Diagrams using Object-Z, proceedings UML’99 Conference, Lecture Notes in Computer Sciencie 1723 (1999).
Lano, K. The B Language and Method. FACIT. Springer, (1996).
Lano, K., Biccaregui, J., Formalizing the UML in Structured Temporal Theories, 2nd. ECOOP Workshop on Precise Behavioral Semantics, TUM-I9813, Technische U. Munchen (1998).
Ledang, Hung and Souquieres, Jeanine. Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. Procs. of IEEE Asia-Pacific Software Engineering Conference 2002. December 4–6, (2002).
Liu, Z., Jifeng H., Li, X. Chen Y. Consistency and Refinement of UML Models. 3er Workshop on Consistency Problems in UML-based Software Development III, event of the UML Conference, (2004).
UML 2.0. The Unified Modeling Language Superstructure version 2.0–OMG Final Adopted Specification., http://www.omg.org. August 2003
OCL 2.0. OMG Final Adopted Specification. October 2003.
Pons C., Giandini R., Pérez G., et al. Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. In “UML Modeling Languages and Applications: Satellite Activities”. Lecture Notes in Computer Science 3297. Springer, (2004).
Pons Claudia. Heuristics on the Definition of UML Refinement Patterns. 32nd International Conference on Current Trends in Theory and Practice of Computer Science. SOFSEM (SOFtware SEMinar). January 21–27, 2006. Merin, Czech Republic. Published in the Springer LNCS (Lecture Notes in Computer Science) by Springer-Verlag. (2006)
Pons Claudia. On the definition of UML refinement patterns. Workshop MoDeVa at ACM/IEEE 8th Int. Conference on Model Driven Engineering Languages and Systems (MoDELS) Jamaica. October 2005.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Pons, C., Garcia, D. (2006). Practical Verification Strategy for Refinement Conditions in UML Models. In: Ochoa, S.F., Roman, GC. (eds) Advanced Software Engineering: Expanding the Frontiers of Software Technology. IFIP WCC TC2 2006. IFIP International Federation for Information Processing, vol 219. Springer, Boston, MA . https://doi.org/10.1007/978-0-387-34831-5_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-34831-5_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-34828-5
Online ISBN: 978-0-387-34831-5
eBook Packages: Computer ScienceComputer Science (R0)