The Eclipse Photon release comes with enhancements from two Xtext versions, namely 2.13 and 2.14. Reason enough to take a closer look at the new features and exemplify their usage. The talk will walk you through the new functionalities and show you how to integrate them into your own domain-specific language (DSL) by giving small practical examples.
Modeling Technologies & Applications
Models are often associated to a graphical notation. This notation is used to construct diagrams and graphical representations of the system being developed in order to facilitate the apprehension of said system.
What do you need to make your business application shine? A unique architecture of 20+ Domain Specific Languages (DSL), driving a combination of open-source Eclipse frameworks and proven software engineering methods.
UML profiles are a particular kind of domain-specific modeling languages that are implemented as extensions (formalized as stereotypes) of the UML. A well-known profile is SysML for system engineering. Like any other languages, SysML has been subject to a number of versions: 1.1 through 1.6. Providing the capability to system designers to migrate their models from one version enable them to benefits the improvement of the language but require modeling tool developers to implement ad hoc transformations.
Working on evolving EMF Metamodels?
Testing your business rules?
You surely need easy-to-evolve instances of your metamodel!
In classic approaches, you either had the choice of creating static model instances, which are difficult to maintain, or to use the EMF API (hopefully with some custom helpers) to create compiling models, which are hardly understandable and a real reference nightmare.
Tons of outdated resources or boilerplate code to fix, on a simple metamodel modification. don’t let your tests bring you down.
BOEM will make your day.
EMF Forms is a framework for developing high-quality, form-based UIs quickly and easily. The forms support general data entry and modification, be it for business applications or development tools. EMF Forms dramatically reduces the effort of UI development while providing a rich feature set that can handle very complex use cases.
EMF Forms is already widely used by a large developer base in various application domains, but we do not want to overlook potential new developers!
Model-based engineering tools are most successful, if they are as domain-specific as possible, reflecting the specific needs of the domain and its users. Thus, not only a domain-specific modeling language, but also a specialized modeling environment is required that takes the domain users' background, their roles, and currently used infrastructure into account. Often, the domain-specific modeling languages have a considerable overlap with UML though.
This talk will give an overview of how XText has been used to enable various functionalities to support model-based system design in CHESS (1) the use of formal languages for the definition of CHESS elements such as formal properties and transition guards and effects in UML State Machines, (2) the control in real-time of the correctness of these elements (3) import of textual specifications of system models (4) conversion of CHESS models (including SysML architectures enriched with contracts and UML State Machines) into the format accepted by backend tools such as nuXmv and OCRA for formal
Everyone loves open source modeling tools, especially those which are based on Eclipse Modeling. However, there are also a number of commercial modeling solutions, which play important roles in several industries. Some of these are based on open source frameworks and are also extensible like Eclipse itself – which makes them very interesting to technology providers who are looking for opportunities to find new audience and commercialize their solutions.
In industries such as Space, Avionics, Railway or Automotive, when designing your system, you take great care that the proper actions are not triggered too late (e.g. automatic emergency braking after the detection of an obstacle), even in the worst case. But the complexity of real time analysis (jitter, latency, deadline, scheduling policies, deadlocks among other funny things) added to the complexity of those systems make this worst case response time impossible to calculate by hand.