Weaving executability into object-oriented meta-languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3713 LNCS, Issue , 2005, Pages 264-278

  Muller, Pierre Alain ^a   Fleurey, Franck ^a   Jean Marc, Jézéquel ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; FORMAL LANGUAGES; MATHEMATICAL MODELS; METADATA; SEMANTICS;

ASPECT-ORIENTED MODELING; META-OBJECT FACILITY (MOF); OPERATIONAL SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 33646181776     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11557432_19     Document Type: Conference Paper

References (21)

1. Abadi, M. and Cardelli, L. A theory of objects. New York: Springer, 1996.
2. Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B. and Pascual, V. Centaur: the system. Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments, 13 (5). 14-24.
3. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R. and Grose, T. Eclipse Modeling Framework. Addison Wesley Professional, 2003.
4. Clark, T., Evans, A., Sammut, P. and Willans, J. Applied Metamodelling: A Foundation for Language Driven Development, http://albini.xactium.com. 2004.
5. Clarke, S. Extending standard UML with model composition semantics. Science of Computer Programming, 44 (1). 71-100.
6. Engstrom, E. and Krueger, J. Building and rapidly evolving domain-specific tools with DOME. Proceedings of IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000). 83-88.
7. Greenfield, J., Short, K., Cook, S., Kent, S. and Crupi, J. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley, 2004.
8. Mellor, S., Tockey, S., Arthaud, R. and Leblanc, P. Action Language for UML: Proposal for a Precise Execution Semantics. Proceedings of UML 98 (LNCS1618). 307-318.
9. Muller, P.-A., Dumoulin, C., Fondement, F. and Hassenforder, M. The TopModL Initiative, in UML Satellite Activities, Springer, 2005, 242-245.
10. Muller, P.-A., Studer, P., Fondement, F. and 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.
11. OMG. Meta Object Facility (MOF) Specification 1.4, Object Management Group, http://www.omg.org/cgi-bin/doc?formal/2002-04-03, 2002.
12. OMG. MOF 2.0 Core Final Adopted Specification, Object Management Group, http://www.omg.org/cgi-bin/doc?ptc/03-10-04, 2004.
13. OMG. Revised submission for MOF 2.0 Query/View/Transformation, Object Management Group (QVT-Merge Group), http://www.omg.org/cgi-bin/apps/doc?ad/2005- 03-02, 2005.
14. OMG. UML 2.0 Object Constraint Language (OCL) Final Adopted specification, Object Management Group, http://www.omg.org/cgi-bin/doc?ptc/2003- 10-14, 2003.
15. Scharli, N., Ducasse, S., Nierstrasz, O. and Black, A. Traits: Composable units of behavior. Proceedings of ECOOP 2003.
16. Smolander, K., Lyytinen, K., Tahvanainen, V.-P. and Marttiin, P. MetaEdit: a flexible graphical environment for methodology modelling. Proceedings of the third international conference on Advanced information systems engineering.
17. Straw, G., Georg, G., Song, E., Ghosh, S., France, R.B. and Bieman, J.M. Model Composition Directives. Proceedings of the 7th International Conference Unified Modelling Language: Modelling Languages and Applications. 84-97.
18. Thomas, D., Fowler, C. and Hunt, A. Programming Ruby - The Pragmatic Programmer's Guide, Second Edition, 2004.
19. Vojtisek, D. and Jézéquel, J.-M. MTL and Umlaut NG: Engine and Framework for Model Transformation. ERCIM News, 58.
20. Wirth, N. Algorithms + data structures = programs. Prentice-Hall, Englewood Cliffs, 1976.
21. Ziadi, T., Hélouët, L. and Jézéquel, J.-M. Revisiting statechart synthesis with an algebraic approach. Proceedings of the 26th International Conference on Software Engineering (ICSE 04).