Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns

Groenewegen, Danny M.; Visser, Eelco

doi:10.1109/icwe.2008.15

Cited by 29 publications

(33 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recursive templates support the presentation of nested structures. Declarative access control rules regulate the access to pages and actions [52]. Furthermore, some of the implementation patterns have been replaced by others, without affecting the design of the language.…”

Section: Discussion: Web Engineeringmentioning

confidence: 99%

“…However, identification of these abstractions leads to better insight in the domain, which may give rise to reformulations not directly inspired by programming patterns. For example, the access control extension of WebDSL [52] is not based on the facilities for access control provided by the Seam framework. Rather an expressive and declarative mechanism is developed enabled by the possibility to perform desugaring transformations on the DSL itself.…”

Section: Productivity and Difficultymentioning

confidence: 99%

See 1 more Smart Citation

WebDSL: A Case Study in Domain-Specific Language Engineering

Visser

2008

Lecture Notes in Computer Science

Self Cite

107

110

View full text Add to dashboard Cite

Section: Discussion: Web Engineeringmentioning

confidence: 99%

Section: Productivity and Difficultymentioning

confidence: 99%

WebDSL: A Case Study in Domain-Specific Language Engineering

Visser

2008

Lecture Notes in Computer Science

Self Cite

107

110

View full text Add to dashboard Cite

“…6 we discuss high-level abstractions for web applications that can be expressed by transformation to the base language. We illustrate this using examples of modules, modular data model definitions, user interface templates, high-level polytypic user-interface elements, declarative access control rules [25], and workflow procedures [27], which can all be implemented using model-to-model transformations.…”

Section: Outlinementioning

confidence: 99%

“…This solution requires that access control checks are entangled with template definitions, which makes the policy encoded in the application hard to verify or modify. The WebDSL access control sublanguage [25] supports definition of access control policies as a separate concern. Access control rules are defined in a separate section (or module) in the application, and are woven into the corresponding Web-DSL definitions during compilation.…”

Section: Access Controlmentioning

confidence: 99%

See 1 more Smart Citation

Code generation by model transformation: a case study in transformation modularity

et al. 2009

Self Cite

View full text Add to dashboard Cite

The realization of model-driven software development requires effective techniques for implementing code generators for domain-specific languages. This paper identifies techniques for improving separation of concerns in the implementation of generators. The core technique is code generation by model transformation, that is, the generation of a structured representation (model) of the target program instead of plain text. This approach enables the transformation of code after generation, which in turn enables the extension of the target language with features that allow better modularity in code generation rules. The technique can also be applied to 'internal code generation' for the translation of high-level extensions of a DSL to lower-level constructs within the same DSL using model-to-model transformations. This paper refines our earlier description of code generation by model transformation with an improved architecture for the composition of model-to-model normalization rules, solving the problem of combining type analysis and transformation. Instead of coarse-grained stages that alternate between normalization and type analysis, we have developed a new style of type analysis that can be integrated with normalizing transformations in a fine-grained manner. The normalization strategy has a simple extension interface and integrates non-local, context-sensitive transformation rules. We have applied the techniques in a realistic case study of domain-specific language engineering, i.e. the code generator for WebDSL, using Stratego, a high-level transformation language that integrates model-to-model, modelto-code, and code-to-code transformations.

show abstract

Interoperable domain‐specific languages families for code generation

et al. 2012

View full text Add to dashboard Cite

SUMMARYThis paper has been motivated by experience gained with specification and code generation of control elements for a software component platform and general‐purpose programming language like Java and C. The problem to be addressed is two‐fold: first, several domain‐specific languages (DSL) are to be employed to express different element concerns (architecture, deployment context, code pattern) and second, porting to another general‐purpose language should avoid modification of the specification and related code generation process as much as possible. In both respects, the classical template‐based code generation technique proved to be inflexible, requiring the code generator to be blurred with ad hoc encoded DSL facets. The paper addresses the problem by introducing the concept of interoperable DSL family. Each member of the family is built around its core language, which can be further specialized by embedding into a target programming language. Interoperability of these DSLs is achieved at the level of abstract syntax trees (ASTs) with help of queries. As a proof of the concept, we have implemented the queries via the AST transformation rules of the Stratego/XT framework. In the evaluation, we provide a comparison with the original template‐based implementation, which clearly indicates the DSL family and AST transformation benefits. We also provide examples of application areas where the concept of interoperable DSL family can be employed (and also indicate how this can be accomplished). Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns

Cited by 29 publications

References 19 publications

WebDSL: A Case Study in Domain-Specific Language Engineering

WebDSL: A Case Study in Domain-Specific Language Engineering

Code generation by model transformation: a case study in transformation modularity

Interoperable domain‐specific languages families for code generation

Contact Info

Product

Resources

About