Integrating Non-Functional Properties in Model Driven Development: A Stepwise Refinement View

Автор: Maryam Nooraei Abade, Zeinab Rajabi

Журнал: International Journal of Information Technology and Computer Science(IJITCS) @ijitcs

Статья в выпуске: 9 Vol. 4, 2012 года.

Бесплатный доступ

Most of the refinement approach is about functional property of systems. Non-functional properties are as important as functional one. Without an accurate approach for specifying and refining their behaviors, software models will be regarded as imperfect and imprecise, and as a result, software systems cannot be generated correctly. Therefore, how to model such behaviors and how to stepwise refine these behaviors automatically, have become two critical problems in Model Driven Development. In this paper we present an approach for Non-functional refinement in model driven development using high order transformation languages and traceability property of them. We extend the idea of model refinement to non-functional properties of software and propose a stepwise refinement framework with conformance checking between abstract and concrete descriptions of system model using model transformation. The approach is extendable to all quantitative and quantitative non-functional properties.

Еще

Model Driven Development, Non-Functional Property, Refinement, Platform Independent Model, P Specific Model

Короткий адрес: https://sciup.org/15011754

IDR: 15011754

Список литературы Integrating Non-Functional Properties in Model Driven Development: A Stepwise Refinement View

  • Wada, H., Suzuki, J., and Oba, K. A Model-Driven Development Framework for Non-functional Aspects in Service Oriented Architecture. Int. J. of Web Services research, 2008, 5(4):1-31.
  • Zhu, L., and Liu, Y., Model Driven Development with Non-Functional Aspects. EA @ ICSE, 2009.
  • OMG. UML 1.4 Specification, OMG Document formal/04-07-02, 2002.
  • Straeten, R.V.D., Jonckers, V., and Mens, T. A formal approach to model refactoring and model refinement. Software and System Modeling, 2007, 6 (2) 139–162.
  • Kugele, S., Haberl, W., Tautschnig, M., and Wechs. M. ,Optimizing Automatic Deployment Using Non-functional Requirement Annotation”. ISoLA, 2008.
  • Ramljak, D., Puksec, J., Huljenic, D., Koncar, M. and Simic, D. ,Building enterprise information system using model driven architecture on J2EE platform. In: Proceedings of the 7th international conference on telecommunications, ConTEL, 2003.
  • Thomas, D. , MDA: Revenge of the modelers or UML utopia? IEEE Software, 2004, 21 (3) 15–17.
  • Back, R.J., Correctness Preserving Program Refinements: Proof Theory and Applications, Mathematical Center Tracts 131, Mathematical Centre, Amsterdam, The Netherlands, 1980.
  • Röttger, S., and Zschaler, S. Model-Driven Development for Nonfunctional Properties: Refinement through Model Transformation., 2004.
  • Röttger, S., Zschaler, S. ,Tool support for refinement of non-functional specification. Software and System Modeling, 2007, 6 (2): 185–204.
  • Fatwanto, A., and Boughton, C., Analysis, Specification and Modeling of Non-Functional Requirements for Translative Model-Driven Development. ICCIS, 2008.
  • The OMG. UML Profile for MARTE, Beta 2, 2008.
  • Gallotti, S., Ghezzi, C., Mirandola, R., and Tamburrelli, G.2008. Quality Prediction of Service Compositions through Probabilistic Model Checking. QoSA, 2008.
  • Solberg, A., Oldevik, J., and Aagedal, J., A Framework for QoS-aware Model Transformation using a Pattern-based Approach. DOA, 2004.
  • Gogolla, M., Büttner, F., and Richters, M. USE: a UML-based specification environment for validating UML and OCL. Science of Computer Programming, 2007, 69 (1–3): 27–34.
  • Hoare, C.A.R., An axiomatic basis for computer programming, Communications of the ACM 12 1969, (10): 576–583.
  • Dijkstra, E. ,A Discipline of Programming, Prentice Hall,1976.
  • Woodcock, J., and Davies, J. Using Z: Specification, Refinement and Proof, Prentice Hall, 1996.
  • Abrial, J. ,The B-Book – Assigning Programs to Meanings, Cambridge University Press, 1996.
  • Abrial, J.R., Cansell, D., and Méry, D. Refinement and reachability in Event_B, in: Proceedings of the 2005 Formal Specification and Development in Z and B (ZB), Springer-Verlag, 2005, pp. 222–241.
  • Borger, E. ,The ASM refinement method. Formal Aspects of Computing, 2003,15 (2): 237–257.
  • Morgan, C., and Robinson, K., Specification statements and refinement. IBM Journal of Research and Development, 1987, 31 (5): 546–555.
  • Morgan, C., and Vickers, T. On the Refinement Calculus, Springer-Verlag, 1993.
  • Morris, J.M., A theoretical basis for stepwise refinement and the programming calculus, Science of Computer Programming, 1987, 9 (3): 287–306.
  • Sterritt, A., and Cahill, V. Customisable Model Transformations based on Non-functional Requirements. IEEE Congress on Services, 2008.
  • Ardagna, D., Ghezzi, C., and Mirandola, R. Rethinking the use of Models in Software Architecture. QoSA , 2008.
  • Rodrigues, G., Rosenblum, D., and Uchitel, S. 2005. Reliability Prediction in Model-driven Development. MoDELS.
  • Cortellessa, V., Marco, A. Di., and Inverardi, P. Non-Functional Modeling and Validation in Model-Driven Architecture. WICSA , 2007.
  • Ameller, D., Dealing with Non-Functional Requirements in Model-Driven Development. Requirements Engineering Conference (RE), 18th IEEE International, 2010.
  • Monperrus, M., equel, J.-M. J´ ez´., Baudry, B., Champeau,J., and Hoeltzener, B. ,Model-driven generative development of measurement software. Software and Systems Modeling (SoSyM), 2010.
  • Kazman, R., Klein, M., Barbacci, M., Longstaff, T., Lipson, H., and Carriere, S., The Architecture Tradeoff Analysis Method. Proc. 4th IEEE International Conference on Engineering of Complex Computer Systems, pp. 68-78, 1998.
  • B´ezivin, J. From object-composition to model-transformation with the MDA. In Proceedings of TOOLS-USA , 2001.
  • Becker, S., Koziolek, H., and Reussner, R. The Palladio component model for model-driven performance prediction, Journal of Systems and Software 82 pp. 3–22, 2009.
Еще
Статья научная