Abstract
A highly significant benefit of MDA is that it raises the level of abstraction at which the soft-ware developer is able to work. However, the languages available to the developer have not seen much change in the last decade. Modeling languages offer high level concepts, but the pre-dominant modeling language (UML) offers too little expressive power to be able to specify a system completely. Meanwhile, the level of abstraction of most programming language con-cepts is the same as 10 to 15 years ago. Although transformation tools may to some extent bridge the gap between modeling and programming languages, in practice the developer still needs to do both modeling and programming. This means switching between the two levels of abstractions, which is difficult for most people. We argue that a general purpose, high level, software language is necessary to get MDA adopted. This language will enable any developer to focus on the problem at hand while the supporting tools – transformation tools or generators- take care of the nitty gritty details. This paper introduces an early version of such a language, which brings together a number of powerful concepts from various sources: UML, OCL, design patterns, existing programming languages, and eventually aspect-oriented languages.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Kleppe, A., Warmer, J.: The Object Constraint Language. In: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley, Reading (2003)
Atkinson, C., Kühne, T.: A Generalized Notion of Platforms for Model Driven Development. In: Beydeda, S., Gruhn, V. (eds.) Model-driven Software Development - Volume II of Research and Practice in Software Engineering. Springer, Heidelberg (2005)
Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories, Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley, Chichester (2004)
Felfernig, A., et al.: UML as Domain Specific Language for the Construction of Knowledge-Based Con-figuration Systems. International Journal of Software Engineering and Knowledge Engineering 10(4), 449–469 (2000)
The Bible, Genesis 11: 1-8
Hophe, G., Woolf, B.: Enterprise Integration Patterns. Addison-Wesley, Reading (2003)
Brooks, F.P.: The Mythical Man-Month. Addison-Wesley, Reading (1995)
UML 2.0 Superstructure Specification, OMG document ptc/04-10-02 (October 2004)
Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled, Principles of Model_Driven Architecture. Addison-Wesley, Reading (2004)
Budinsky, F.J., Finnie, M.A., Vlissides, J.M., Yu, P.S.: Automatic code generation from design patterns. IBM Systems Journal 35(2) (1996)
Object-oriented environments: The Mjolner approach, Editors: Jorgen Lindskov Knudsen (Aarhus University, Denmark), Mats Lofgren (Telia Research AB, Sweden), Ole Lehrmann Madsen (Aarhus University, Denmark), Boris Magnusson (Lund University, Sweden), Prentice Hall (1994)
DeMarco, T., Plauger, P.J.: Structured Analysis and System Specification. Prentice Hall, Englewood Cliffs (1985)
Unified Modeling Language (UML) Specification: Infrastructure, OMG document ptc/04-10-14 (October 2004)
UML 2.0 OCL Specification, OMG document ptc/03-10-14 (October 2003)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Kleppe, A., Warmer, J.: Wed Yourself to UML with the Power of Associations, part 1 and 2, online publication at http://www.devx.com/enterprise/Article/28528 , http://www.devx.com/enterprise/Article/28576
Bloch, J.: Effective Java, Programming Language Guide. Addison-Wesley, Reading (2001)
Henderson-Sellers, B., Barbier, F.: Black and White Diamonds. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 550–565. Springer, Heidelberg (1999)
Octopus: OCL Tool for Precise Uml Specifications, available from http://www.klasse.nl/english/research/octopus-intro.html
Mellor, S.J., Balcer, M.J.: Executable UML, A foundation for Model-Driven Architecture. Addison-Wesley, Reading (2002)
Nymeyer, A., Katoen, J.-P.: Code generation based on formal bottom-up rewrite systems theory and heuristic search. Acta Informatica 8, 597–635 (1997)
Jones, V.M.: Realization of CCR in C. In: Bolognesi, T., Van de Lagemaat, J., Vissers, C.A. (eds.) LOTO-Sphere: Software Development with LOTOS, pp. 348–368. Kluwer Academic Publishers, Dordrecht (1995)
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
Kleppe, A. (2005). Towards General Purpose, High Level, Software Languages. In: Hartman, A., Kreische, D. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2005. Lecture Notes in Computer Science, vol 3748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11581741_17
Download citation
DOI: https://doi.org/10.1007/11581741_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30026-7
Online ISBN: 978-3-540-32093-7
eBook Packages: Computer ScienceComputer Science (R0)