Eclipse Modeling Day/Session Abstracts
Building DSLs with Xtext
Domain-Specific Languages (DSLs) are becoming more and more popular, allowing developers to express their intent more precisely and with less syntactic noise. DSLs can be built on top of a host language (like Java or Ruby), which are referred to as "internal DSLs". External DSLs are far more flexible in terms of language design: you can define any desired grammar, you can define domain specific constraints and error messages, and you can process the DSL in a concise manner because it can either be interpreted or transformed into the code of any language by a generator.
Xtext, which is a part of the Eclipse Galileo release, is a framework for developing textual domain-specific languages. Given an EBNF-style grammar, Xtext automatically generates an Ecore meta model and a rich- featured, fully configurable text-based DSL editor including features such as syntax highlighting, hyperlinked reference navigation, reference look-up, code completion, formatting, an outline and so on. The default implementation can easily be customized.
In this session we will explain what DSLs are and why you should care about using them. After a short introduction, we will show how to develop DSLs with Xtext during a live demo. You will see how to define a grammar for a DSL and create a full-blown editor for this DSL. We will also show how to apply code generation that allows you to transform your DSL scripts into running software.
Developing Models to Improve Social Science Theory
Abstract: Social science is challenged by the lack of rigorous experiments that measure all the relevant psychological, behavioral, and social parameters. Modern software architectures allow for complex social science phenomena to be simulated on computers. Theories and models from the social sciences can be implemented in autonomous software objects (agents). Learning, adaptation, memory, network relationships, and even emotional states can be modeled in these computer agents.
Simulating heterogenous populations of these agents shows promise for advancing social science theory by providing an experimental testbed. In addition to advancing theory, computational social science (CSS) shows promise for assessing how proposed policies and operations might be adopted, or rejected, by different groups and populations. The computational horsepower and software exist today to simulate large numbers (e.g. >>10) of interacting, adaptive, and autonomous agents.
The required social science theories and models needed to construct valid computational social science simulations remain to be scientifically developed, documented, shared, and tested. What is needed is a transparent, publicly accessible, common computer simulation framework.
Computational social science simulations to date have been judged on whether or not they are based upon existing social science theories. Often these theories are assumed to be universally valid and scientifically sound with the onus put on the computer modelers to verify they have implemented the existing theories correctly, versus using the simulations to challenge the validity of the theories themselves.
Current practice relies upon round-table discussions of social science subject matter experts advising policy and decision makers. These subject matter expert approaches lack full transparency into the assumptions, methods, and limitations of the propositions put forth by experts. Computational social science methods provide rigorous, repeatable, and transparent methods for adjudicating, advancing, existing social science claims, concepts and theories. Computational modeling of social systems also forces more scientific rigor on the social sciences to develop transparent, falsifiable, and explicit models of human behavior. Challenges that currently exist in advancing applied social science via computational methods and frameworks are presented here along with some suggestions on how to surmount these challenges using the Eclipse Modeling Framework.
Converging Textual and Graphical Editors
When speaking about modeling, there is often a conflict coming up whether graphical notations or textual notations are superior. However, both sides have their advantages: For a textual notation existing tool-support can be used for comparing, merging and versioning. Furthermore, the well-known comfort of editing a text via the keyboard is present. There are established syntaxes to express expression statements. Graphical notations, however, have their advantages when the layout of a diagram can help the viewer to understand the underlying semantics. This is the case when, for example, flow or hierarchy is important.
Why not combine the advantages of both worlds? This will be done within this presentation: On the foundation of EMF, Xtext as a textual model framework will be combined with GMF as a graphical modeling framework. Thereby, a model will have a textual notation as well as a graphical notation and both will be editable. The following questions will be discussed:
- What are the strengths and weaknesses of textual notations and what are the advantages of graphical notations?
- How to design a graphical notation for parts of the model
- Under which circumstances should the graphical and textual notation share a common abstract syntax? What are the advantages and where are the limits?
- How to synchronize an Xtext editor's and a GMF diagram editor's contents?
- What are the places where concepts of Xtext and GMF can support each other? Example: Validation.
There will be a demo to show the feasibility of the suggested concepts and to provide a first impression of the editor's look and feel.
The approach has been implemented in an industrial project by the presenter. Thereby, the contents is based on first-hand experience.