Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Module-System Discipline for Model-Driven Software Development   Model-driven development is a pragmatic approach to software development that
embraces domain-specific languages (DSLs), where models correspond to DSL
programs. A distinguishing feature of model-driven development is that clients
of a model can select from an open set of alternative semantics of the model by
applying different model transformation. However, in existing model-driven
frameworks, dependencies between models, model transformations, and generated
code artifacts are either implicit or globally declared in build scripts, which
impedes modular reasoning, separate compilation, and programmability in
general. We propose the design of a new module system that incorporates models
and model transformations as modules. A programmer can apply transformations in
import statements, thus declaring a dependency on generated code artifacts. Our
design enables modular reasoning and separate compilation by preventing hidden
dependencies, and it supports mixing modeling artifacts with conventional code
artifacts as well as higher-order transformations. We have formalized our
design and the aforementioned properties and have validated it by an
implementation and case studies that show that our module system successfully
integrates model-driven development into conventional programming languages.

32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
2
The categories of this paper are: math