- Xtext 2.1 by Sven Efftinge
- OCL by Ed Willlink
Slides are also available.
- Acceleo Interpreter by Stéphane Bégaudeau
- EMF-IncQuery by István Ráth
- EMF Store Demo by Maximilian Koegel
- EMF Profiles by Hugo Brunelière
- MPS by Markus Völter
- EMF Compare by Mikael Barbero
- EEF alternative generation by Goulwen Le Fur
- GMF Tooling revival by Mariot Chauvin
Showing posts with label Modeling. Show all posts
Showing posts with label Modeling. Show all posts
November 8, 2011
Modeling Symposium @ EclipseCon Europe 2011
The modeling symposium at EclipseCon Europe 2011 was really nice with several talks on various topics related to modeling. I would like to thank all presenters and particularly István who filmed all presentations with his smartphone.
Collaborative modeling @ EclipseCon Europe 2011
Last week I presented with Martin and Benjamin why collaboration in modeling becomes an important concern, the issues we currently encounter, and the eclipse technologies which are improving to provide seamless collaboration.
 |
In the last five years models usage generalizes, modeling tools matured a lot, but often they have not be designed to allow one to work efficiently in team. On the same time, collaboration, in a general manner, took a predominant place in tools and medias. Successes of Wikipedia and the Huffington Post show that trend. |
 |
Modeling or not, working with others is a challenge. Which separation of work ? Which rules to set up to keep the coherence ? How to deal with the different concerns people may have ? Answers are often most organizational than technical, however tools, technologies may constraint your organization and you way to work in collaboration. |
 |
Model together is first dealing with a large amount of information and depending of your manner to represent them it could become quite tricky. For graphical representations, beyond layout problems, from a certain number of elements, we are not able to focus on the useful information, the signal noise ratio becomes to low. |
 |
Even without representation scalability remains an issue, as by default EMF load the entire model in memory. |
 |
How many times are we not able to understand legacy code or models done by others ? It is necessary to document your models and explains your choice behind design decision, but it is as important to keep documentation synchronized across the changes and refactorings you made. |
 |
To collaborate means dealing with concurrent accesses, and often end users do not want to have to compare or to merge. Starting from that requirement you quite easily ends up with some kind of pessimistic strategy. |
 |
The most simple implementation of this strategy is an instant messaging discussion. As long as your model is not changing too often its bearable. Sophisticated versions of that implementation are directly integrated in an SCM supporting file locking, but that remains a not very elegant solution. |
 |
From that you'll try to avoid blocking the whole team and then you'll split your model into many files. It's slightly better but it's not that easy to do, as you have to carefully design your Ecore model avoiding most of the cross references. More over EMF fragments are not correctly supported by many tools. |
 |
The other strategy, called the optimistic one, is to allow conflict happens and to deal with them when they occur. It looks like a dice game, and depending on the frequency, it could become hard to deal with conflicts. |
 |
Those problems could be tackled with several technologies which enable one to work more naturally in collaboration. |
 |
How to deal with large diagrams ? Thanks to EMF Mylyn bridge we are able to focus in the diagram on the information which matters, the information contextual to a change you have to do or that somebody else did. |
 |
How keeping documentation and model synchronized ? Thanks to Mylyn Intent we could mix natural and formal language. This is some kind of literate programming adapted to modeling with one specificity : you can update the model, or the doc, it doesn't matter, the tool help you keeping them synchronized anyway |
 |
How to support better models fragmentation ? Model tools could be behaving like the tools we are used to when programming. They should not make the assumption that every referenced element will always be there. This is possible by playing nicely with the EMF proxy mechanism. |
 |
Keeping models coherent with fragmentation could be ensured through platform logical models. That API enables components to trigger changes on any file operation. |
 |
How to avoid models splitting ? CDO is an impressive technology which have been around in Eclipse for a few years now. It keeps getting better and provides, as a model repository, every service you might dream of. Using it, one is able to build a solution based on pessimistic locking at the model element level, with live updates when you are connected. |
 |
If you are more interested by the optimistic strategy, CDO offers the possibility to provide conflict resolver, to solve conflicts in the more automatic way, when they happend. CDO does not enable only efficient collaborative strategies, it solves the scalabilty issue, by loading only necessary model elements and unloading them automatically. |
 |
I would like to share with you what is happening on a broader scale. Those technologies are only a start in collaborative modeling, and there are many ways to get inspiration about collaboration, github or google docs for instance. |
Of course a large part of this talk was reserved for demos of the improvements in Mylyn, EMF Compare, EGit, and Dawn, but I have currently no video of them to share.
November 2, 2011
Modeling Symposium Program
As previously announced there will be an exciting modeling symposium during EclipseCon Europe.
Thursday, November 3rd
from 18:30 to 20:30
Silchersaal
from 18:30 to 20:30
Silchersaal
- Xtext 2.1 by Sven Efftinge
Xtext 2.1 allows to define languages for the JVM by just implementing two simple scripts.
In this short demo, I'll show an example of using this new API. You'll see what these scripts are about
and how awesome the the resulting language and its IDE support is.
- OCL by Ed Willlink
The evolution of the MDT/OCL project from Java-only model support to an
OCL IDE will be briefly described. The extensive use of Acceleo and Xtext
for auto-generation of both Eclipse OCL and the OMG OCL specification will
be outlined. Finally the OCL 2 Java code generator will be announced
eliminating parsing costs at run-time and accelerating execution by one to
two orders of magnitude
- Acceleo Interpreter by Stéphane Bégaudeau
I would start by the presentation of the new Acceleo interpreter view with its different features. I'll show how it can be used to execute OCL queries on EMF based models. Then I'll highlight its integration with Acceleo by using it combined with the Acceleo debugger. Finally, I'll explain how this view, that has strictly speaking, no dependencies with Acceleo can be used by other projects with a small example of its use without Acceleo to support another language.
- .EMF-IncQuery by István Ráth
This presentation introduces EMF-IncQuery, a declarative and scalable EMF model query framework. EMF-IncQuery uses a graph query language, and provides incremental query evaluation by caching the results of the model queries and incrementally maintaining the cache when the underlying EMF model changes. Furthermore, the EMF-IncQuery framework can be easily integrated into existing EMF-based applications in a non-intrusive way. During the talk, we quickly overview how easy it is to define and integrate highly scalable model queries into existing EMF-based applications, in the form of a very short live demonstration using the MDT Papyrus modeling tool. The scalability of the engine will also be demonstrated, with on-the-fly constraint revalidation that takes less than 100 milliseconds over large AUTOSAR models with over 1 million elements.
- EMF Store Demo by Maximilian Koegel
EMFStore is a model repository for EMF and allows to collaboratively
edit EMF models and keep a version history. EMFStore can be integrated
into EMF-based RCP applications to provide the application with its
capabilities. In this demo we will show an industrial customer application where EMFStore was integrated and inspect the code that was required to do so.
- EMF Profiles by Hugo Brunelière
Have you ever been in a situation in which you would like to annotate an EMF model with additional information, but the last thing you wanted to do was to change its metamodel to made that possible? I bet the answer is yes for almost anybody that has been using EMF for a while. In this talk I will present EMF Profiles a solution inspired from UML Profiles which provide a light-weight model annotation mechanism.
- MPS by Markus Völter
JetBrains MPS is a powerful language workbench available under the Apache 2.0 license. It uses projectional editing, so it supports quite flexible syntax as well as language modularization and composition. Best of all, the development roadmap include an integration with Eclipse in the context of version 3.0. In this slot, I will give you a short demo of what MPS can do.
Hope to see you there !
If you would like to be included in this program, please contact us .
October 22, 2011
Modeling Symposium
In previous years, the Modeling Symposium at Eclipse meetings in Europe attracted a large panel of attendees interested in sharing their ideas and in learning about the projects of others in the community. At the last event, we had fifteen interesting presentations and the room was full.
This year, there is no session planned for the symposium, so it will take place during a BoF on
Thursday, November 3rd
at 19:00
at 19:00
If you are interested to show a demo, exchange ideas, or gather feedback about a proposal, please contact us with a short description about what you would like to talk. We hope being able to announce an exciting agenda.
October 21, 2011
Collaborative modeling, the new deal
I already blogged about collaborative modeling but I would like to stand back from the previous post, which was very technical, and introduce the talk I will present with Martin and Benjamin at EclipseCon Europe.
Since several years now the Eclipse modeling platform provides useful tools which have help to democratize the use of modeling technologies. However those tools have raised issues linked to collaboration we start to better address.
To visualize and edit models in a graphical manner diagrams are often used. However usually diagramming technologies do not scale well and this is problematic as the more the models and their complexity grow the more one wants to work in group.
When you model with other people, one of the difficulty is to understand reasons behind their choices and design. Document them is of course necessary but the main difficulty is to keep documentation accurate across refactorings and changes.
In fact, often the more the time flies by, the more we lost the intention, documentation being seen as a post-design step.
Collaborate means dealing with concurrent accesses. To enable them you have two strategies. One is to prevent conflicts either through models splitting or with locks. But models splitting is not well supported by tools and coarse-grained locks are not pratical.
The other strategy is to allows conflict happens and deals with them when they occurs. It looks like a dice game, and depending on the frequency, it could become hard to deal with conflicts.
Interested by the subject ? Come to the talk to discover what are the available technologies to address those concerns, and understand why collaboration matters in modeling.
Since several years now the Eclipse modeling platform provides useful tools which have help to democratize the use of modeling technologies. However those tools have raised issues linked to collaboration we start to better address.
To visualize and edit models in a graphical manner diagrams are often used. However usually diagramming technologies do not scale well and this is problematic as the more the models and their complexity grow the more one wants to work in group.
When you model with other people, one of the difficulty is to understand reasons behind their choices and design. Document them is of course necessary but the main difficulty is to keep documentation accurate across refactorings and changes.
In fact, often the more the time flies by, the more we lost the intention, documentation being seen as a post-design step.
Collaborate means dealing with concurrent accesses. To enable them you have two strategies. One is to prevent conflicts either through models splitting or with locks. But models splitting is not well supported by tools and coarse-grained locks are not pratical.
The other strategy is to allows conflict happens and deals with them when they occurs. It looks like a dice game, and depending on the frequency, it could become hard to deal with conflicts.
Interested by the subject ? Come to the talk to discover what are the available technologies to address those concerns, and understand why collaboration matters in modeling.
September 15, 2011
Modeling 2.0 : Let's collaborate!
A bit of history
4 years ago, when I joined Obeo, I started to work on a new modeling tool dedicated to system engineering. The main focus of this tool was to enable system engineers to model graphically complex systems with different representations, for each speciality, depending on their viewpoint. The tool was associated to a methodology and integrated in a modeling workbench.
Separation of concerns by representations was a first step to scalability of graphical representations, another was to add several mechanisms (layers, filters, hide/reveal) to allow end users to hide some elements. The approach is somehow similar on what Miles is working on.
We took the decision to create a generic runtime with the possibility to specify graphical representations and to drive the tooling by the viewpoints. The approach has similarities with Jan current's work, and I think our work inspired him a little bit.
Since the runtime has been used for safety analysis (diagram screenshot) and several other use cases.
However, although our tool primary concerns was collaborate modeling since its inception, we did not offer directly a solution to the concurrent access problem. In fact, we left it to the Revision Control System (RCS) used by end users. As Alex wrote concurrent access management by RCS have several drawbacks, so we decided to offer the possibility for end users to collaborate more seamlessly.
On the technical side, we decided to use CDO, a technology we had experienced successfully in others projects, and which seems to match the most to our requirements. As our graphical modeling technology is based on GMF Runtime, our global technical task was to integrate GMF and CDO.
GMF and CDO, integration challenges
- EMF Transactions and CDO Transactions
GMF Runtime relies on EMF Transaction to manage read and write accesses to models. To simplify this means that one is not allowed to do a modification without encapsulating its change in a recording command. On its side CDO provides its own transaction mechanism, which relies on the database store one. So it is necessary to integrate the two mechanisms. This is one of the features Dawn provides (see those bugzilla entries for further information).
- Transactional model break in GMF Runtime
GMF Runtime is a bridge between EMF models and GEF. Among others things, it provides a notation model, to store graphical information. The synchronization between the graphical model and the semantic model, is one of the responsibility of edit parts. The choice to split the synchronization responsibility in each edit part enables one to easily override the default behavior for a given edit part. This choice is consistent with the high extensible approach of the framework. However, it has one major drawback, edit parts should be instantiated to update the notation model ! As GMF Runtime edit parts creation is done in an post commit listener, when no models changes are allowed, the runtime have to force the transaction using a special option.
This behavior prevents one to have triggers for those modifications. If you need to avoid conflicts (see below), you will not be able to acquire lock before commit. In this case it means that one have to extract the synchronization from edit parts and to call it at the right time. - Avoiding conflicts
If CDO provides live updates of shared models, it does not prevents conflicts. There is two ways to handle them. The first one is to write your own conflict resolver, which will take a decision when a conflict occurs. The second one is to avoid conflicts through locks. Easier to said than to implement, but that the way we choose. - Lock integration
To avoid conflicts, the simplest way is to lock automatically elements before their edition. In practice, one could use the EMF Transaction trigger mechanism to do this. Edit parts need to listen to locks events to deactivate accordingly their edition capabilities and provide visual indicators of the lock. Lastly, to provide logical lock for end-users, one may provide a lock strategy. - Consistency maintenance on client side
EMF Transaction enables one to rollback a transaction, before its commit. This is generally done for validation or lock acquisitions purposes. The recording command manages this rollback and will abort properly the transaction if it occurs. However with the abort, the CDO state of the object will change (see bug 312534 for more details). To avoid conflicts a solution is to use CDO save points to restore the object to a clean state if a transaction aborts.
- Native mode for GMF Runtime notation models ?
One of the coolest thing of CDO is its EObject implementation, but to benefit from the scalability it provides, you need to regenerate your metamodel with a CDO dependency. When one works with such CDO model instances, the mode in which one is, is called native. As GMF Runtime notation metamodel depends on the EMF one (don't do this at home), using notation models in native mode is far from being easy. So we worked on a solution which keeps source and binary compatibility with legacy code (see bug 336707 for technical details) and provides notation cdo native models, the code is available here (no builds yet).
- Content and cross reference adapters
These two utilities should not be used as they will break the lazy loading mechanism of CDO. By default GMF runtime initializes one cross reference adapter when configuring the editing domain. You could quite easily override the default behavior. EMF Transaction uses an adapter that walk through its content, but removing it is much harder.
On our product, the work is still in progress, but we he have implemented solutions for most challenges presented above. During this work we opened several issues :
- fixed : bug 345719, bug 352191, bug 355915, bug 337870, bug 353167, bug 329753, bug 315570, bug 329869, bug 329752, bug 353076, bug 351393, bug 351921, bug 325436, bug 346378
- not yet fixed : bug 339908, bug 352189, bug 352977, bug 352204, bug 357400, bug 329786
As you may seen, the CDO team has been very responsive, and already provided fixes for most of them. I would like to thank them for their availability and help.
This blog entry present results coming from a work collaboration between Thales and Obeo.
Ce message de blog est issu d'un travail en commun entre Thales et Obeo.
This blog entry present results coming from a work collaboration between Thales and Obeo.
Ce message de blog est issu d'un travail en commun entre Thales et Obeo.
March 16, 2011
GSoC 2011 @ Eclipse
This year again, Eclipse applied as a mentoring organization for Google Summer of Code. We already have been started to collect ideas, they could be contributed on the wiki.
Do not miss GSoC !
It's a great opportunity to see enhancements or new features added to your favorite projects. If you are a student, you should consider GSoC as an awesome chance to integrate free and open-source communities by doing (not only using), trust a former student. If you don't know how to get involved, have a look to our contribute page and keep an eye on the timeline.
Here are some ideas I added :
Acceleo has the ability to profile a generation. It creates a model containing the profiling data, and his able to display it. However it would be nice if we could export this model to a gprof file and reuse existing analysis tools such as the view from the linux tools project.
Thanks to its discovery UI modeling package users could very easily discover and install modeling components. However we miss an updated reference example to see how to use together all this technologies.
EMF Serialization is extensible and Protocol Buffers is an efficient serialization technology so it could be interesting to see how to combine them.November 4, 2010
Highlights from ESE
ESE is already over, and from this edition I would like to retain 3 things :
Eclipse is a community, and ESE is an awesome opportunity to meet in real life members of Eclipse community. I have found that the attendance was a good mix of committers, adopters and end users which lead to interesting discussion and feedback about projects and technologies. I have liked the accessibility and open mindedness of every person I met.
It was impressive to see that people have understood that modeling is not limited to UML and code generation.
On a textual side Xtext and Acceleo were the 2 stars with a lot of talks presenting their functionalities or exemplary usage. There was also a tutorial combining them to learn how to use these 2 great technologies to model and generate android applications.
On graphical side, there were plenty of eye candy things to see. EEF presentation from Goulwen showed how you could easily generate sexy properties and wizards for a metamodel. Mitra, a semi-automated model transformation tool, presentation showed a 3D user interface where each model is displayed on a 2D plane. I am not sure this is scalable but it was a great demo of what's can be done with GEF3D. Papyrus presentation showed the progress they have made in providing an UML (but not limited to it) reference graphical editor. Bonita Open Solution presentation showed a very attractive and intuitive BPMN editor. In its presentation of modeling for WTP, Etienne showed briefly modelers build with Obeo Designer, our DSL Studio on top of the eclipse modeling platform. Papyrus, Bonita Open Solution, and Obeo Designer relies on the GMF Runtime. Graphiti is a new alternative runtime, and its presentation was a demo of a beautiful library modeler. Last but not least and good transition, Dawn demo of collaborative edition between editors, including diagram ones was amazing.
Model management concerns had a very good coverage this year. CDO is aimed at scalability, sharing and storage of models and Eike presentation about it was very comprehensive. The more I know about CDO, the more I find it well-designed. COPE focus on models migration and its presentation pointed up the advanced tooling they provide to facilitate metamodel evolution. EMF Store is dedicated to models storage and versioning. It uses EMF Compare for comparison and COPE for migration. A talk and a poster were presented.
Other great stuffs were presented like collaboration of EMF and GWT for modeling in the cloud, or Sphinx an initiative to have a more coherent modeling platform.
According to this the modeling symposium was a real success. Many talks on various topics from different speakers. My only regret is that with such a crowd, it was a bit difficult to start a discussion just after a talk, but that's probably the price of fame.
In past I had some headaches with eclipse build technologies. There are several approaches and several projects (PDE Build, Athena, Pluginbuilder, Buckminster, B3), but I think that the gap with them to create and maintain a build remains quite high. The demo I have seen from Pascal of tycho, let me think that it's a promising approach as I have found that it hides the complexity.
Of course there was lot of other pretty cool talks and demos, like the Jeff Noris keynote, that you missed if you weren't at ESE this year. See you next time !
- Community is open and diverse
Eclipse is a community, and ESE is an awesome opportunity to meet in real life members of Eclipse community. I have found that the attendance was a good mix of committers, adopters and end users which lead to interesting discussion and feedback about projects and technologies. I have liked the accessibility and open mindedness of every person I met.
- Modeling is everywhere
It was impressive to see that people have understood that modeling is not limited to UML and code generation.
On a textual side Xtext and Acceleo were the 2 stars with a lot of talks presenting their functionalities or exemplary usage. There was also a tutorial combining them to learn how to use these 2 great technologies to model and generate android applications.
On graphical side, there were plenty of eye candy things to see. EEF presentation from Goulwen showed how you could easily generate sexy properties and wizards for a metamodel. Mitra, a semi-automated model transformation tool, presentation showed a 3D user interface where each model is displayed on a 2D plane. I am not sure this is scalable but it was a great demo of what's can be done with GEF3D. Papyrus presentation showed the progress they have made in providing an UML (but not limited to it) reference graphical editor. Bonita Open Solution presentation showed a very attractive and intuitive BPMN editor. In its presentation of modeling for WTP, Etienne showed briefly modelers build with Obeo Designer, our DSL Studio on top of the eclipse modeling platform. Papyrus, Bonita Open Solution, and Obeo Designer relies on the GMF Runtime. Graphiti is a new alternative runtime, and its presentation was a demo of a beautiful library modeler. Last but not least and good transition, Dawn demo of collaborative edition between editors, including diagram ones was amazing.
Model management concerns had a very good coverage this year. CDO is aimed at scalability, sharing and storage of models and Eike presentation about it was very comprehensive. The more I know about CDO, the more I find it well-designed. COPE focus on models migration and its presentation pointed up the advanced tooling they provide to facilitate metamodel evolution. EMF Store is dedicated to models storage and versioning. It uses EMF Compare for comparison and COPE for migration. A talk and a poster were presented.
Other great stuffs were presented like collaboration of EMF and GWT for modeling in the cloud, or Sphinx an initiative to have a more coherent modeling platform.
According to this the modeling symposium was a real success. Many talks on various topics from different speakers. My only regret is that with such a crowd, it was a bit difficult to start a discussion just after a talk, but that's probably the price of fame.
- Build simplification is moving forward
In past I had some headaches with eclipse build technologies. There are several approaches and several projects (PDE Build, Athena, Pluginbuilder, Buckminster, B3), but I think that the gap with them to create and maintain a build remains quite high. The demo I have seen from Pascal of tycho, let me think that it's a promising approach as I have found that it hides the complexity.
Of course there was lot of other pretty cool talks and demos, like the Jeff Noris keynote, that you missed if you weren't at ESE this year. See you next time !
Subscribe to:
Posts (Atom)