1. A method for packaging a post-processed definition of a programming module, including: receiving contents of a constraint-based execution model, wherein the contents include a declarative source code; storing the contents into an extensible storage abstraction, wherein the source code is stored in a declarative format; defining metadata, wherein the metadata describes attributes of the contents stored in the extensible storage abstraction; and creating a file, wherein the file includes the extensible storage abstraction and the metadata.