Abstract
This paper introduces a new process for computational design synthesis. It starts from functional requirements to generate one or more topologies of components. This process is implemented using Model-Driven Engineering techniques and Constraint Programming solving capabilities. Model transformations are used to transform functions and available components to a CSP. This problem is solved with a CSP solver, which solutions are transformed to topological architectures. The process is successfully applied on the design synthesis of an autonomous generator. It produces about 60 relevant solutions from which we found some existing product architectures.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Cagan, J., Campbell, M.I., Finger, S., Tomiyama, T.: A framework for computational design synthesis: model and applications. ASME. J. Comput. Inf. Sci. Eng. 5(3), 171–181 (2005)
Chenouard, R., Granvilliers, L., Soto, R.: Model-driven constraint programming. In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), pp. 236–246 (2008)
Chenouard, R., Granvilliers, L., Soto, R.: High-level modeling of component-based CSPs. In: Rocha Costa, A.C., Vicari, R.M., Tonidandel, F. (eds.) SBIA 2010. LNCS (LNAI), vol. 6404, pp. 233–242. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16138-4_24
Gero, J.S.: Design prototypes: a knowledge representation schema for design. AI Mag. 11(4), 26 (1990)
Graphviz: Graph visualization software. http://www.graphviz.org
Helms, B., Shea, K.: Computational synthesis of product architectures based on object-oriented graph grammars. J. Mech. Des. 134(2), 1–14 (2012)
Hartmann, C., Chenouard, R., Mermoz, E., Bernard, A.: Formulation of a design problem for computational pre-design. In: Virtual Concept Workshop (2016)
Hegeds, A., Horvth, A., Varr, D.: A model-driven framework for guided space exploration. Autom. Softw. Eng. 22(3), 399–436 (2015)
Hirtz, J., Stone, R.B., McAdams, D.A., Szykman, S., Wood, K.L.: A functional basis for engineering design: reconciling and evolving previous efforts. Res. Eng. Des. 13(2), 6582 (2002)
Pahl, G., Beitz, W.: Engineering Design: A Systematic Approach. Springer, London (1995)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(12), 3139 (2008)
Kumar, V.: Algorithms for constraint satisfaction problems: a survey. AI Mag. 13(1), 32–44 (1992)
Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74970-7_38
Rechtin, E.: Systems Architecting: Creating and Building Complex Systems. Prentice Hall, Englewood Cliffs (1991)
Rossi, F., Van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, New York (2006)
Saxena, T., Karsai, K.: Towards a generic design space exploration framework. In: IEEE 10th International Conference on Computer and Information Technology (CIT), pp. 1940–1947 (2010)
Umeda, Y., Tomiyama, T., Yoshikawa, H.: FBS modeling: modeling scheme of function for conceptual design. In: Proceedings of the 9th International Workshop on Qualitative Reasoning (1995)
Walsh, T.: General symmetry breaking constraints. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 650–664. Springer, Heidelberg (2006). doi:10.1007/11889205_46
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Chenouard, R., Hartmann, C., Bernard, A., Mermoz, E. (2016). Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming. In: Milazzo, P., Varró, D., Wimmer, M. (eds) Software Technologies: Applications and Foundations. STAF 2016. Lecture Notes in Computer Science(), vol 9946. Springer, Cham. https://doi.org/10.1007/978-3-319-50230-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-50230-4_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-50229-8
Online ISBN: 978-3-319-50230-4
eBook Packages: Computer ScienceComputer Science (R0)