Model-driven Development of Complex Software: A Research Roadmap

ABSTRACT

The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations. In this paper we give an overview of current research in MDE and discuss some of the major challenges that must be tackled in order to realize the MDE vision of software development. We argue that full realizations of the MDE vision may not be possible in the near to medium-term primarily because of the wicked problems involved. On the other hand, attempting to realize the vision will provide insights that can be used to significantly reduce the gap between evolving software complexity and the technologies used to manage complexity.

REFERENCES

• 1: [1] Early Aspects Portal. URL http://www.early-aspects.net, 2006.
• 2: [2] J.-R. Abrial. B-Tool Reference Manual. B-Core (UK) Ltd, Oxford OX4 4GA, 1991.
• 3: [3] A. Andrews, R. France, S. Ghosh, and G. Craig. Test adequacy criteria for uml design models. Technical report, Computer Science Department, Colorado State University (for a copy contact [e-mail], February 2002.
• 4: [4] G. Arango, E. Schoen, and R. Pettengill. Design as evolution and reuse. In Advances in Software Reuse. IEEE Computer Society Press, March 1993.
• 5: Elisa Baniassad , Siobhan Clarke, Theme: An Approach for Aspect-Oriented Analysis and Design, Proceedings of the 26th International Conference on Software Engineering, p.158-167, May 23-28, 2004
• 6: V. R. Basili , H. D. Rombach, Support for comprehensive reuse, University of Maryland at College Park, College Park, MD, 1991
• 7: Friedrich Ludwig Bauer , Bernhard Möller , Helmut Partsch , Peter Pepper, Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming, IEEE Transactions on Software Engineering, v.15 n.2, p.165-180, February 1989 [doi>10.1109/32.21743]
• 8: [8] N. Bencomo, G. Blair, and R. France. Summary of the Workshop [e-mail] at MoDELS 2006. In Lecture Notes in Computer Science, Satellite Events at the MoDELS 2006 Conference, LNCS, pages 226-230. Springer-Verlag, Oct 2006.
• 9: [9] J. Bezivin, F. Jouault, and P. Valduriez. On the need for megamodels. In OOPSLA/GPCE 2004 Workshop, 2004.
• 10: Lionel C. Briand , Yvan Labiche, A UML-Based Approach to System Testing, Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, p.194-208, October 01-05, 2001
• 11: [11] E. J. Cameron and H. Velthuijsen. Feature interactions in telecommunication systems. IEEE Communications Magazine , 31(8), 1993.
• 12: Siobhán Clarke, Extending standard UML with model composition semantics, Science of Computer Programming, v.44 n.1, p.71-100, July 2002 [doi>10.1016/S0167-6423(02)00030-8]
• 13: [13] T. Cottenier, A. V. D. Berg, and T. Elrad. Modeling aspect-oriented compositions. In Proceedings of the 7th International Workshop on Aspect-Oriented Modeling, in conjunction of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS'05), Montego Bay, Jamaica, October 2005.
• 14: Michael A. Cusumano, Japan's software factories: a challenge to U.S. management, Oxford University Press, Inc., New York, NY, 1991
• 15: [15] K. Czarnecki and U. Eisenecker. Generative Programming. Addison-Wesley Boston, 2000.
• 16: K. Czarnecki , S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, v.45 n.3, p.621-645, July 2006
• 17: Tom DeMarco, Structured Analysis and System Specification, Prentice Hall PTR, Upper Saddle River, NJ, 1979
• 18: Anneliese A. Andrews, A Tool-Supported Approach to Testing UML Design Models, Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), p.519-528, June 16-20, 2005 [doi>10.1109/ICECCS.2005.16]
• 19: [19] T.W. G. Docker and G. Tate. Executable data flow diagrams. In Software Engineering '86. Peter Peregrinus, 1986.
• 20: [20] M. Feather. A quantitative risk-based model for reasoning over critical system properties. In Proceedings of the International Workshop on Requirements for High Assurance Systems, pages 11-18, Essen, Germany, September 2002.
• 21: [21] S. T. for Adaptable Reliable Systenms (STARS). STARS Conceptual Framework for Reuse Processes, Volume 1: Definition, Version 3.0. Technical Report STARS-VC- A018/001/00, Unisys STARS Technology Center, October, 1993.
• 22: Robert B. France , Sudipto Ghosh , Trung Dinh-Trong , Arnor Solberg, Model-Driven Development Using UML 2.0: Promises and Pitfalls, Computer, v.39 n.2, p.59, February 2006 [doi>10.1109/MC.2006.65]
• 23: [23] R. B. France, I. Ray, G. Georg, and S. Ghosh. An aspect-oriented approach to design modeling. IEE Proceedings - Software, Special Issue on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design , 151(4):173-185, August 2004.
• 24: Chris P. Gane , Trish Sarson, Structured Systems Analysis: Tools and Techniques, Prentice Hall Professional Technical Reference, 1979
• 25: [25] A. Gokhale, B. Natarjan, D. C. Schmidt, A. Nechypurenko, N. Wang, J. Gray, S. Neema, T. Bapty, and J. Parsons. CoSMIC: An mda generative tool for distributed real-time and embdedded component middleware and applications. In Proceedings of the OOPSLA 2002 Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, Washington, November 2002.
• 26: [26] P. Grace, G. Coulson, G. S. Blair, and B. Porter. Deep middleware for the divergent grid. In Proceedings of the IFIP/ACM/USENIX Middleware 2005, Grenoble, France, November 2005.
• 27: [27] B. A. Gran. The use of Bayesian Belief Networks for combining disparate sources of information in the safety assessment of software based systems. Doctoral of engineering thesis 2002:35, Department of Mathematical Science, Norwegian University of Science and Technology, 2002.
• 28: Jack Greenfield , Keith Short , Steve Cook , Stuart Kent, Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools, John Wiley & Sons, 2004
• 29: Martin L. Griss, Software reuse: from library to factory, IBM Systems Journal, v.32 n.4, p.548-566, October 1993
• 30: [30] D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff (or, what's the semantics of "semantics"?). IEEE Software, 2004.
• 31: [31] B. Henderson-Sellers, S. Cook, S. Mellor, J. Miller, and B. Selic. UML the Good, the Bad or the Ugly? Perspectives from a panel of experts. Software and Systems Modeling , 4(1):4-13, 2005.
• 32: Daniel Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.2, p.256-290, April 2002 [doi>10.1145/505145.505149]
• 33: Ivar Jacobson , Martin Griss , Patrik Jonsson, Software reuse: architecture, process and organization for business success, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1997
• 34: [34] A. Joshi and M. P. Heimdahl. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In SAFECOMP, volume 3688 of LNCS, pages 122-135. Springer-Verlag, Sept 2005.
• 35: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 36: [36] G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP '97), volume 1241 of Lecture Notes in Computer Science, pages 220-242, Jyvaskyla, Finland, June 1997.
• 37: [37] J. Kienzle, Y. Yu, and J. Xiong. On composition and reuse of aspects. In Proceedings of the Foundations of Aspect-Oriented Languages Workshop, Boston, MA, USA, March 2003.
• 38: Sascha Konrad , Betty H. C. Cheng , Laura A. Campbell, Object Analysis Patterns for Embedded Systems, IEEE Transactions on Software Engineering, v.30 n.12, p.970-992, December 2004 [doi>10.1109/TSE.2004.102]
• 39: [39] J. Lilius and I. P. Paltor. Formalising UML State Machines for Model Checking. In Proceedings of UML'99, Springer-Verlag LNCS 1723, pages 430-445, 1999.
• 40: Nancy A. Lynch, Proving performance propterties (even probabilistic ones), Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII, p.3-20, January 1995
• 41: [41] J. K. M. Kande and A. Strohmeier. From aop to uml - a bottom-up approach. In Aspect Oriented Modeling workshop held with Aspect Oriented Software Development conference , Enschede, The Netherlands, April 2002.
• 42: William E. McUmber , Betty H. C. Cheng, A general framework for formalizing UML with formal languages, Proceedings of the 23rd International Conference on Software Engineering, p.433-442, May 12-19, 2001, Toronto, Ontario, Canada
• 43: [43] J. Offutt and A. Abdurazik. Generating tests from UML specifications. In Proceedings of the 2nd International Conference on the UML, pages 416-429, Fort Collins, CO, Oct. 1999.
• 44: [44] OMG Adopted Specification ptc/03-10-04. The Meta Object Facility (MOF) Core Specification. Version 2.0, OMG, http://www.omg.org.
• 45: [45] P. Muller, F. Fleury, and J. Jzquel. Weaving executability into object-oriented meta-languages. In Proceedings of MODELS/UML 2005, pages 264-278, Montego Bay, Jamaica, October 2005.
• 46: [46] QVT-Merge Group 1.8. Revised submission for MOF 2.0 Query/Views/Transformations RFP (ad/2002-04-10). Technical report, OMG, http://www.omg.org.
• 47: Awais Rashid , Ana Moreira , Joāo Araújo, Modularisation and composition of aspectual requirements, Proceedings of the 2nd international conference on Aspect-oriented software development, p.11-20, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643605]
• 48: Wolfgang Reisig, Petri nets: an introduction, Springer-Verlag New York, Inc., New York, NY, 1985
• 49: [49] J. M. Rushby. Model Checking and Other Ways of Automating Formal Methods. In Position paper for panel on Model Checking for Concurrent Programs, Software Quality Week, San Francisco, May/June 1995.
• 50: [50] SERENE: Safety and Risk Evaluation using Bayesian Nets. ESPIRIT Framework IV nr. 22187, 1999. http://www.hugin.dk/serene/.
• 51: [51] R. Soley, D. Frankel, J. Mukerji, and E. Castain. Model Driven Architecture - The Architecture of Choice For a Changing World. Technical report, OMG, http://www.omg.org, 2001.
• 52: [52] I. Sommerville, P. Sawyer, and S. Viller. Viewpoints for requirements elicitation: a practical approach. pages 74-81, 1998.
• 53: J. M. Spivey, The Z notation: a reference manual, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 54: [54] H. Stachowiak. Allgemeine Modelltheorie. Springer Verlag Wien, 1973.
• 55: Dominik Stein , Stefan Hanenberg , Rainer Unland, A UML-based aspect-oriented design notation for AspectJ, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands [doi>10.1145/508386.508399]
• 56: [56] D. Stein, S. Hanenberg, and R. Unland. On representing join points in the uml. In Aspect Oriented Modeling workshop held with UML 2002, Dresden, Germany, October 2002.
• 57: Janos Sztipanovits , Gabor Karsai, Model-Integrated Computing, Computer, v.30 n.4, p.110-111, April 1997 [doi>10.1109/2.585163]
• 58: Richard N. Taylor , Andre van der Hoek, Software Design and Architecture The once and future focus of software engineering, 2007 Future of Software Engineering, p.226-243, May 23-25, 2007 [doi>10.1109/FOSE.2007.21]
• 59: [59] The Object Management Group. UML 2.0: Superstructure Specification. Version 2.0, OMG, formal/05-07-04, 2005.
• 60: [60] The Object Management Group (OMG). OMGMDA Guide. Version 1.0.1, OMG, http://www.omg.org, 2003.
• 61: [61] TRISKELL. The KerMeta Project Home Page. URL http://www.kermeta.org, 2005.
• 62: Ji Zhang , Betty H. C. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134337]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.9 Management

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.m Miscellaneous

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management

General Terms:
Management, Theory