Abstract
The Model Driven Architecture’s key principle is that of the mapping. An algorithmic or otherwise mechanical way of generating new more platform specific models from platform independent models with respect to some platform. These mappings are always presented as devices driving the software development. However it is clear that there are a number of uses for mappings and that the idea can be extended to take into consideration not only software development but transformation between differing underlying representations.
Mappings also have a key rôle in the methodology and in the way tests are conducted. Development is coupled with the notion of refinement - that is a mathematically strict way of ensuring certain (critical) properties from the abstract to concrete models. To fully understand and utilise the mappings it is necessary to construct and formalise a framework for these mappings and their meanings (particularly in testing with refinement).
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
Abrial, J-R (1995). The B-Book-Assigning programs to Meanings. Cambridge University Press. 0-521-49619-5.
Alanen, Marcus and Porres, Ivan (2003). Difference and union of models. In Lecture Notes in Computer Science 2863: «UML» 2003 Conference. Springer. October 20–24.
Ambler, Scott W. (2003). The right tool for the job. Software Development, 11(12):50–52.
Back, Ralph (1998). Refinement Calculus: a Systematic Introduction. Springer-Verlag. 0387984178.
Back, Ralph-Johan (2002). SFI: A refinement based layered software architecture. In George, C and Miao, H, editors, Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25. Lecture Notes in Computer Science 2495. Springer.
Back, Ralph-Johan (2003). Software construction by stepwise feature introduction. In Bert, D., Bowen, J.P., Henson, M.C., and Robinson, K., editors, ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23–25. Lectures Notes in Computer Science 2272. Springer.
Barr, Michael and Wells, Charles (1990). Category Theory for Computing Science. International Series in Computer Science. Prentice Hall. 0-13-120486-6.
Binder, Robert V (2000). Testing Object-Oriented Systems-Models, Patters and Tools. Addison-Wesley. 0-201-80938-9.
Boulet, P., Cuccuru, A., Dekeyser, J.-L., Dumoulin, C., Marquet, Ph., Samyn, M., Simone, R. De, Siegel, G., and Saunier, Th. (2004). MDA for SoC design: UML to SystemC experiment. In Müller, Wolfgang and Martin, Grant, editors, Proceedings of UML-SoC 2004, DAC2004, San Diego, California, June 6.
Elrad, Tzilla, Aldawud, Omar, and Bader, Atef (2002). Aspect-oriented modeling: Bridging the gap between implementation and design. In Batory, D, Consel, C, and Taha, W, editors, Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6–8, 2002. Lectures Notes in Computer Science 2487, pages 189–201. Springer.
Fowler, Martin (1999). Refactoring: Improving the Design of Existing Code. Addison Wesley. 0201485672.
Hallerstede, Stefan (2003). Parallel hardware design in B. In Bert, Didier, Bowen, Jonathan P, King, Steve, and Waldén, Marin, editors, Proceedings of ZB2003: Formal Specification and Development in Z and B. Lecture Notes in Computer Science 2651. Third International Conference of B and Z Users, Turku, Finland, June 2003, pages 101–102. Springer.
Klein, Mark H., Ralya, Thomas, Pollak, Bill, Obenza, Ray, and Harbour, Michael González (1993). A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers.
Marchetti, Michele and Oliver, Ian (2003). Towards a conceptual framework for UML to hardware description language mappings. In Proceedings of FDL03, Frankfurt, Germany, Sept 2002.
Morgan, Carroll (1990). Programming from Specifications. Prentice-Hall.
Offutt, Jeff and Abdurazik, Aynur (1999). Generating tests from UML specifications. In The Second International Conference on The Unified Modeling Language, Fort Collins, Colorado, USA, October 28–30. Springer.
Oliver, Ian (2002a). Experiences of model driven architecture in real-time embedded systems. In Proceedings of FDL02, Marseille, France, Sept 2002.
Oliver, Ian (2002b). Model driven embedded systems. In Lilius, Johan, Balarin, Felice, and Machado, Ricardo J., editors, Proceedings of Third International Conference on Application of Concurrency to System Design ACSD2003, Guimarães, Portugal. IEEE Computer Society.
Oliver, Ian (2003). A UML profile for real-time system modelling with rate monotonic analysis. In Villar, Eugenio and Mermet, Jean, editors, System Specification and Design Languages. Kluwer Academic Publishers. 1-4020-7414-X.
OMG (2002a). Response to the OMG RFP for Schedulability, Performance and Time. Object Management Group, revised submission edition.
OMG (2002b). Unified Modelling Language Specification). Object Management Group, version 1.5 edition. OMG Document Number ad/02-09-02.
Poppleton, Michael and Banach, Richard (2002). Controlling control systems: an application of evolving retrenchment. In Lecture Notes in Computer Science 2272. Springer-Verlag.
Poppleton, Michael and Groves, Lindsay (2003). Software evolution with refinement and retrenchment. In Refinement of Critical Systems Workshop, RCS03. Department of Computer Science, Åbo Akademi University, Turku, Finland.
Popplpeton, M R and Banach, R N (2004). Requirements validation by lifting retrenchments in B. In Proceedings of ICECCS2004: IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy.
Ruf, J. (2001). RAVEN: Real-Time Analyzing and Verification Environment. Journal of Universal Computer Science, 7(1):89–104.
Siikarla, Mika, Koskimies, Kai, and Systä, Tarja (2004). Open MDA using transformational patterns. In Model Driven Architecture: Foundations and Applications MDAFA 2004, June 10–11 Linköping, Sweden.
Snook, Colin, Butler, Michael, and Oliver, Ian (2003). Towards a UML profile for UML-B. Technical Report 8351, University of Southampton.
Stroustrup, Bjarne (2000). The C++ Programming Language-Special Edition. Addison-Wesley. 0-201-70073-5.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
Oliver, I. (2005). Model Based Testing and Refinement in MDA Based Development. In: Boulet, P. (eds) Advances in Design and Specification Languages for SoCs. Springer, Boston, MA. https://doi.org/10.1007/0-387-26151-6_9
Download citation
DOI: https://doi.org/10.1007/0-387-26151-6_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-26149-2
Online ISBN: 978-0-387-26151-5
eBook Packages: EngineeringEngineering (R0)