Abstract
Nowadays, object-oriented meta-languages such as MOF (Meta-Object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community. However, these meta-languages focus on structural specifications and have no built-in support for specifications of operational semantics. In this paper we explore the idea of using aspect-oriented modeling to add precise action specifications with static type checking and genericity at the meta level, and examine related issues and possible solutions. We believe that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels. We present requirements for such statically-typed meta-languages and rationales for the aforementioned benefits.
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
Abadi, M., Cardelli, L.: A theory of objects. Springer, New York (1996)
Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: Centaur: the system. In: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments, vol. 13(5), pp. 14–24
Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.: Eclipse Modeling Framework. Addison Wesley Professional, Reading (2003)
Clark, T., Evans, A., Sammut, P., Willans, J.: Applied Metamodelling: A Foundation for Language Driven Development (2004), http://albini.xactium.com
Clarke, S.: Extending standard UML with model composition semantics. Science of Computer Programming 44(1), 71–100
Engstrom, E., Krueger, J.: Building and rapidly evolving domain-specific tools with DOME. In: Proceedings of IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000), pp. 83–88 (2000)
Greenfield, J., Short, K., Cook, S., Kent, S., Crupi, J.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley, Chichester (2004)
Mellor, S., Tockey, S., Arthaud, R., Leblanc, P.: Action Language for UML: Proposal for a Precise Execution Semantics. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 307–318. Springer, Heidelberg (1999)
Muller, P.-A., Dumoulin, C., Fondement, F., Hassenforder, M.: The TopModL Initiative. In: UML Satellite Activities, pp. 242–245. Springer, Heidelberg (2005)
Muller, P.-A., Studer, P., Fondement, F., Bezivin, J.: Platform independent Web Application Modeling and Development with Netsilon. Accepted for publication in Journal on Software and Systems Modelling (SoSym), http://www.sciences.univnantes.fr/lina/atl/www/papers/netsilon_sosym.pdf
OMG. Meta Object Facility (MOF) Specification 1.4, Object Management Group (2002), http://www.omg.org/cgi-bin/doc?formal/2002-04-03
OMG. MOF 2.0 Core Final Adopted Specification, Object Management Group (2004), http://www.omg.org/cgi-bin/doc?ptc/03-10-04
OMG. Revised submission for MOF 2.0 Query/View/Transformation, Object Management Group (QVT-Merge Group) (2005), http://www.omg.org/cgibin/apps/doc?ad/2005-03-02
OMG. UML 2.0 Object Constraint Language (OCL) Final Adopted specification, Object Management Group (2003), http://www.omg.org/cgi-bin/doc?ptc/2003-10-14
Scharli, N., Ducasse, S., Nierstrasz, O., Black, A.: Traits: Composable units of behavior. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, Springer, Heidelberg (2003)
Smolander, K., Lyytinen, K., Tahvanainen, V.-P., Marttiin, P.: MetaEdit: a flexible graphical environment for methodology modelling. In: Proceedings of the third international conference on Advanced information systems engineering
Straw, G., Georg, G., Song, E., Ghosh, S., France, R.B., Bieman, J.M.: Model Composition Directives. In: Proceedings of the 7th International Conference Unified Modelling Language: Modelling Languages and Applications, pp. 84–97
Thomas, D., Fowler, C., Hunt, A.: Programming Ruby - The Pragmatic Programmer’s Guide, 2nd edn (2004)
Vojtisek, D., Jézéquel, J.-M.: MTL and Umlaut NG: Engine and Framework for Model Transformation. ERCIM News 58
Wirth, N.: Algorithms + data structures = programs. Prentice-Hall, Englewood Cliffs (1976)
Ziadi, T., Hélouët, L., Jézéquel, J.-M.: Revisiting statechart synthesis with an algebraic approach. In: Proceedings of the 26th International Conference on Software Engineering, ICSE 2004 (2004)
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
Muller, PA., Fleurey, F., Jézéquel, JM. (2005). Weaving Executability into Object-Oriented Meta-languages. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_19
Download citation
DOI: https://doi.org/10.1007/11557432_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)