Uniform random generation of huge metamodel instances

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

Volumn 5562 LNCS, Issue , 2009, Pages 130-145

  Mougenot, Alix ^a   Darrasse, Alexis ^a   Blanc, Xavier ^a   Soria, Michèle ^a  

^a SORBONNE UNIVERSITÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BOLTZMANN METHODS; LINEAR COMPLEXITY; META MODEL; MODEL-DRIVEN ENGINEERING; STRESS TEST; UNIFORM RANDOM GENERATION;

MODELS;

EID: 70350660554     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02674-4_10     Document Type: Conference Paper

References (13)

1. Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: 17th International Symposium on Software Reliability Engineering, 2006. ISSRE 2006, pp. 85-94 (2006)
2. Duchon, P., Flajolet, P., Louchard, G., Schaeffer, G.: Boltzmann samplers for the random generation of combinatorial structures. Combinatorics, Probability and Computing 13, 577-625 (2004)
3. Ehrig, K., Kuster, J., Taentzer, G., Winkelmann, J.: Generating instance models from meta models. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 156-170. Springer, Heidelberg (2006)
4. Feiler, P., Gabriel, R., Goodenough, J., Linger, R., Longstaff, T., Kazman, R., Klein, M., Northrop, L., Schmidt, D., Sullivan, K., et al.: Ultra-large-scale systems: The software challenge of the future. Technical report, Software Engineering Institute, Carnegie Mellon University (2006) ISBN 0-9786956-0-7
5. Flajolet, P., Sedgewick, R.: Analytic Combinatorics. Cambridge University Press, Cambridge (2009)
6. T. E. Fondation. EMF (Eclipse Modeling Framework), http://www.eclipse. org/modeling/emf/
7. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)
8. Lucrédio, D., de Mattos Fortes, R.P., Whittle, J.: Moogle: A model search engine. In: Proceedings of Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, pp. 296-310 (2008)
9. Mellor, S.J., Clark, A.N., Futagami, T.: Guest editors' introduction: Model-driven development. IEEE Software 20(5), 14-18 (2003)
10. OMG. Meta Object Facility (MOF) 2.0 Core Specification (January 2006)
11. Pivoteau, C.: Génération aléatoire de structures combinatoires: méthode de Boltzmann effective. Ph.D thesis, UPMC (2008)
12. Pivoteau, C., Salvy, B., Soria, M.: Boltzmann oracle for combinatorial systems. In: Fifth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities, DMTCS Proceedings, pp. 475-488 (2008)
13. Selic, B.: The pragmatics of model-driven development. IEEE Software 20(5), 19-25 (2003)