Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

A domain-specific language for model composition and verification of multidisciplinary models



Peter O. Denno, Anantha Narayanan Narayanan, Amogh Kulkarni, Daniel Balasubramanian, Gabor Karsai


Complex, engineered products and manufacturing processes often necessitate integrated analysis that cuts across physical domains and engineering disciplines. When the domain-specific models that contribute to the overall analysis process are available then the problem can be addressed by composing them into an analysis workflow which then can be executed using some execution platform. Such a composition and integrated analysis is essentially a systems engineering approach applied to an engineering process. In this paper we describe a model integration language that allows the rapid composition of models, the verification of the composition and the generation of executable code and other engineering artifacts that are needed for model execution on a software platform. The language is based on OpenMDAO, a widely-used model execution framework, and it improves the engineering process by checking composition constraints that must be satisfied by the integrated model and by automatically generating executable code that facilitates the run-time integration of the models. This paper describes the design of the language, illustrates its use through a running example and outlines future work
Proceedings Title
Conference on Systems Engineering Research (CSER 2016)
Conference Dates
March 21-24, 2016
Conference Location
Huntsville, AL
Conference Title
2016 Conference on Systems Engineering Research


MDAO, OpenMDAO, DSML, Modeling, Model composition and verification


Denno, P. , , A. , Kulkarni, A. , Balasubramanian, D. and Karsai, G. (2016), A domain-specific language for model composition and verification of multidisciplinary models, Conference on Systems Engineering Research (CSER 2016), Huntsville, AL (Accessed July 15, 2024)


If you have any questions about this publication or are having problems accessing it, please contact

Created March 21, 2016, Updated February 19, 2017