Eclipse Modeling Day/Session Abstracts
Main Tent Session: The Unbearable Stupidity of Modeling
Ed Merks, Eclipse Modeling Project & Joe Wood, Credit Suisse
Credit Suisse Case Study: Model Transformations
Richard Wood, Credit Suisse
Over the last few years, the generator framework openArchitectureWare has been applied to a variety of problems at Credit Suisse. openArchitectureWare provides a set of languages to describe model to text and model to model transformations, as well as model validation rules. Additionally, it allows the specification of transformation workflows by combining different tasks and enabling the definition of tailored solutions.
This session focuses on some of the implemented model transformations to show the diversity in requirements regarding model formats and generated artefacts. These include the use of UML, XML and JavaBeans models as input and the generation of Java, PL1, IDL, WSDL and other types of code.
An important aspect of transformations are metamodels which describe the concepts of a particular problem domain and provide the language by which models are expressed in. How such metamodels are integrated into the transformation process is a further topic discussed here. In respect to UML models, the use of UML profiles and the possibility of their generation is examined.
Building DSLs with Xtext
Heiko Behrens, itemis
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. You can process documents written in the DSL by either interpreting them or by transforming them into the code of any language using 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 in a live demo how to develop DSLs with Xtext. 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.
Agent-Based Computer Simulation for Operational Risk Analysis
Ed MacKerrow, Las Alamos Labs
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, and 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.
B3: A Model for Unbreakable Builds
Ed Merks, Eclipse Modeling Project, Bjorn Freeman-Benson, New Relic & Miles Daffin, Morgan Stanley
B3 is a newly created project that is using modeling technology to simplify software build and assembly within Eclipse. Among the project's objectives are making build processes reproducible and adaptable and bridging discontinuities between software building and provisioning, as well as aligning potentially overlapping Eclipse technologies in the build and provisioning domains.
This project will examine the ambition and scope of the b3 project from the perspective of an enterprise early adopter with a model-driven approach to software assembly. The internal architect of a leading global financial institution will discuss what his company has done to simplify the assembly and release of Eclipse tooling to developers across the company, as well as their interest in the evolution of their solution through b3. Initial committer(s) to b3 will provide a more detailed look at the project's goals and objectives of b3, with an emphasis on its use of modeling to simplify how build/assembly processes are defined, executed, shared and changed.
Modeling on an Enterprise Scale
Eike Stepper, Consultant
Persisting models in files is not always straightforward. Often you’ll need multi-user support or transactionality with fined-grained object-level locking, i.e., database-style persistence. I’ll introduce the CDO Model Repository, which comprises three tiers and is a general runtime platform for distributed shared models.
We'll not dive into too many implementation details of CDO. I'll rather provide you with a functional overview and explain the benefits in the context of some typical enterprise scenarios. After attending this talk you'll never want to live without the CDO Model Repository in your modeling projects.
There's a Modeling Solution for That
Bruce Trask, MDE Systems & Angel Roman, MDE Systems
Now, more than ever, you can create a domain specific modeling solution for any application. What used to take years now takes weeks and months. This presentation will present a number of problem domains for which the Eclipse Modeling project was an excellent solution. We will show you the gory details of the "before" pictures that demonstrate that in almost all cases, up to 80% of the work being done was duplicate and rote work targeted at exposed, unneeded complexities. We will illustrate how the frameworks and facilities of the Eclipse Modeling project helped tackle these complexities and present the correct level of abstraction to the various audiences of the software solution.
Introduction to Query, Transaction and Validation
Bernd Kolb, SAP AG & Boris Gruschko, SAP AG
EMF offers a rich toolset on top of the EMF core to build modeling tools on an enterprise scale. This implies a large amount of model elements distributed over various files. In such an environment it is essential to have capabilities to locate, modify and validate your model content in a consistent manner. This talk will present you with an overview on:
- Query - a component to efficiently locate your model elements and merge persistent and in-memory state
- Transactions - a framework to provide a consistent view over model content, shared among different tools and threads
- Validation - helps you to implement business and technical constraints for your models
These components will help you to address the above mentioned issues and provide you with frameworks to use EMF in your own tools.
Converging Textual and Graphical Editors
Moritz Eysholdt, itemis
When speaking about modeling, a conflict often comes 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 work with 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 do you 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 do you 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. Therefore, the contents are based on first-hand experience.