Derivations with Holes for Concept-Based Program Synthesis

Seco, João Costa; Aldrich, Jonathan; Carvalho, Luís Madeira de; Toninho, Bernardo; Ferreira, Carla

doi:10.1145/3563835.3567658

Cited by 1 publication

(2 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Scenarios of the reapplication of a template include the changing of the arguments used, for instance, data sources or lists of attributes to be shown. Template reapplication is also particularly important when combining the abstraction provided by templates with other, more automated, programming mechanisms being developed by OutSystems that allow one to alternate between known alternatives for a particular widget in the application [37]. match expression with 3:…”

Section: Customizable Templatesmentioning

confidence: 99%

See 1 more Smart Citation

Going beyond templates: composition and evolution in nested OSTRICH

Costa Seco,

Lourenço,

Parreira

et al. 2024

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

Low-code frameworks strive to simplify and speed up application development. An essential mechanism to achieve these goals is to have native support for the safe reuse and usage of parameterized coarse-grain components, providing developers with strong guardrails and a rich software-building experience. —a rich template language for the OutSystems platform—was designed to simplify the use and creation of such components. Thus, the application developer can quickly reuse and assemble sophisticated and thoroughly tested application blocks. However, without a built-in composition and evolution mechanism, templates are still hard to create and maintain. This sometimes requires the repetition of code across different templates and creates a conflict between the customizations of the instantiated application models, and the update and reapplication of a template definition. This paper presents a principled mechanism for using abstraction in the creation of templates and simultaneously supporting the evolution of templates in applications after use. First, we introduce a template composition mechanism, its typing discipline, and its instantiation algorithm for model-driven low-code development environments. We start by extending to support nested templates and allow the instantiation (hatching) of templates in the definition of other templates. Nesting promotes a significant increase in code reuse potential, leading to a safer evolution of applications. We then introduce the support for customizable template instances, which allows one to evolve templates’ code and then update a template instance without losing customizations performed in the generated code. The present definition seamlessly extends the existing OutSystems metamodel with template constructs expressed by model annotations that maintain backward compatibility with the existing language toolchain. We present the metamodel, a set of annotations to support the extensions, and the corresponding validation and instantiation algorithms. In particular, we introduce a type-based validation procedure for abstractions that ensures that using templates always produces valid models. This work also extends prior developments on Nested OSTRICH with the support for safe customizations of instantiated code. We validate Nested OSTRICH using the benchmark by identifying the degree of reusability that can be reached in the existing sample of real templates and template uses. Our prototype is an extension of the OutSystems IDE that allows the annotation of models and their use to produce new models. We also analyze which existing OutSystems sample screen templates can be improved by using and sharing nested templates .

show abstract

Section: Customizable Templatesmentioning

confidence: 99%

“…The combination of these two approaches with the reapplication of customizations is useful in the setting of low-code automated platforms like [37] where different template alternatives can be synthesized from evolving inputs.…”

Section: Program Synthesis and Live Programmingmentioning

confidence: 99%