Software Language Design and Engineering: Mobl & Spoofax

Our programming languages have been developed for the single machine programming model, while our current computing environment is distributed and parallel. For example, web applications are programs that run on three different machines, client, server, and database. This results in boilerplate code for encoding communication between layers, and it leads to polyglot programming with limited cross language consistency checking, leading to late detection of failures.

Domain-specific languages (DSLs) address these problems by providing abstractions and notations that allow direct and understandable expression of domain concepts instead of encoding these in a lower level programming language. Since DSLs are typically used by a smaller audience, efficient design and implementation of DSLs is crucial to make introduction possible at all. To enable software engineers to effectively design, implement, and apply domain-specific languages, we have developed the Spoofax Language Workbench, an integrated development environment (IDE) for interactive definition for languages and their IDEs based on declarative language definitions. Spoofax supports editing of language definitions and use of editors generated from those definitions in the same environment.

With Spoofax we have developed WebDSL and Mobl. WebDSL is a DSL for development of web applications, which integrates sub-languages for data modeling, UI templates, access control, and data validation from which generate Java, SQL, and JavaScript code is generated to run on server, database, and browser. Mobl is a high-level declarative language for mobile web applications, which generates HTML5 applications that run in the browser. Both languages provide full compile-time cross-concern consistency checking.

In this talk, I will present the Mobl language and discuss its construction using Spoofax.

http://spoofax.org
http://webdsl.org
http://mobl-lang.org

Speaker Bios

Eelco Visser is associate professor at Delft University of Technology. He received a masters and doctorate in computer science from the University of Amsterdam in 1993 and 1997, respectively. Previously he served as postdoc at the Oregon Graduate Institute, and as assistant professor at Utrecht University.

His research interests include software language engineering, domain-specific languages, model-driven engineering, program transformation, software deployment, interaction design, and digital libraries.

With his students he has designed and implemented the Spoofax language workbench, as well as many domain-specific languages, including DSLs for syntax definition (SDF), program transformation (Stratego), software deployment (Nix), web application development (WebDSL), and mobile phone applications (mobl). He is the main developer of the researchr bibliography management system.

Group: Software Language Design and Engineering
Email: [email protected]
Homepage: http://eelcovisser.org
Publications: http://researchr.org/profile/eelcovisser
News: http://x.com/eelcovisser

Date:
Haut-parleurs:
Eelco Visser
Affiliation:
Delft University of Technology