Meta-model pruning

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

Volumn 5795 LNCS, Issue , 2009, Pages 32-46

  Sen, Sagar ^a   Moha, Naouel ^a   Baudry, Benoit ^a   Jézéquel, Jean Marc ^a  

^a INRIA   (France)

Author keywords

DSML; Effective modelling domain; GPML; Kermeta; Meta model pruning; Test input domain; UML

Indexed keywords

BACKWARD COMPATIBILITY; META MODEL; MODEL CREATION; MODEL TRANSFORMATION;

LINGUISTICS;

MODELS;

EID: 77249161326     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_4     Document Type: Conference Paper

References (26)

1. OMG: UML 2.0 Specfication, http://www.omg.org/spec/UML/2.0/
2. Fuentes-Fernández, L., Vallecillo-Moreno, A.: An introduction to uml profiles. UPGRADE, European Journal for the Informatics Professional 5(2), 5-13 (2004)
3. OMG: UML Profile Catalog, http://www.omg.org/technology/documents/ profile-catalog.htm
4. van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not. 35(6), 26-36 (2000)
5. Solberg, A., France, R., Reddy, R.: Navigating the metamuddle. In: Proceedings of the 4th Workshop in Software Model Engineering, Montego Bay, Jamaica (2005)
6. Niaz, I.A., Tanaka, J.: Code generation from uml statecharts. In: Proc. 7 th IASTED International Conf. on Software Engineering and Application (SEA 2003), Marina Del Rey, pp. 315-321 (2003)
7. Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Communications of the ACM (2009)
8. Sen, S., Baudry, B., Mottu, J.M.: On combining mullti-formalism knowledge to select test models for model transformaion testing. In: ACM/IEEE International Conference on Software Testing, Lillehammer, Norway (April 2008)
9. Sen, S., Baudry, B., Mottu, J.M.: Automatic model generation strategies for model transformation testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 148-164. Springer, Heidelberg (2009)
10. Kruchten, P.: The Rational Unified Process: An Introduction, 3rd edn. AddisonWesley Professional, Reading
11. Phan, T.H., Gerard, S., Terrier, F.: Real-time system modeling with accord/uml methodology: illustration through an automotive case study. In: Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL 2003, pp. 51-70 (2004)
12. Frank, B.: Eclipse Modeling Framework. The Eclipse Series, vol. 1. Addison-Wesley, Reading (2004)
13. Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Crégut, X., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. In: Embedded Real Time Software (ERTS), Toulouse, February-May (2006)
14. Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of modeldriven software development. IEEE Softw. 20(5), 42-45 (2003)
15. OMG: The Object Constraint Language Specification 2.0, OMG Document: ad/0301-07 (2007)
16. Lagarde, F., Terrier, F., André, C., Gérard, S.: Extending ocl to ensure model transformations, pp. 126-136 (2007)
17. Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varró, D., Varró-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica (October 2005)
18. Limited, X.: Language driven development and xmf-mosaic. Whitepaper (2005)
19. Inc., A.: http://www.adaptive.com/
20. Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Towards dependable model transformations: Qualifying input test data. Journal of Software and Systems Modeling, SoSyM (2007)
21. Muller, P.A., Fleurey, F., Jezequel, J.M.: Weaving executability into objectoriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264-278. Springer, Heidelberg (2005)
22. OMG: Mof 2.0 core specification. Technical Report formal/06-01-01, OMG (April 2006) OMG Available Specification
23. Sen, S.: Meta-model pruning kermeta implementation, http//www.irisa.fr/ triskell/softwares-fr/protos/metamodelpruner/
24. Steel, J., Jézéquel, J.M.: On model typing. Journal of Software and Systems Modeling (SoSyM) 6(4), 401-414 (2007)
25. Bruce, K.B., Vanderwaart, J.: Semantics-driven language design: Statically typesafe virtual types in object-oriented languages. Electronic Notes in Theoretical Computer Science 20, 50-75 (1999)
26. Steel, J.: Typage de modèles. PhD thesis, Université de Rennes 1 (April 2007)