Graphical editors are popular for visualizing concepts and systems. However, just being graphical in nature does not automatically make a diagram easy to understand. Its usefulness much rather depends on how well its elements are placed and how well the links connecting its elements are routed. The placement of elements and the routing of links is what we call the layout of a diagram. Getting the layout right is labour intensive and time consuming. Automatic layout aims to free users from this task by providing algorithms that compute layouts for them.
The symbolic execution platform of the E-FMP project will be organized around a symbolic execution infrastructure as illustrated in Figure 1.
Figure 1. The symbolic execution platform of the E-FMP project
The Web Modeling Project is similar to the GMF runtime project or the Graphiti project, but for the web world. It is used to build GenMyModel.
The Web Modeling Project goal is to provide as many online diagramming and modeling features as possible "out of box".
The framework already implements some diagramming behaviors you just have to choose to implement your own online diagramming editor.
tinydtls is a library for Datagram Transport Layer Security (DTLS) covering both the client and the server state machine. It is implemented in C and provides support for the mandatory cipher suites specified in CoAP.
The MDM|BL comprises a bottom to top architecture view of three parts.
The first one is a specific openMDM application model definition for the ASAM ODS data storage. The standardization provides a structured representation for common use case related data in all openMDM application. The data model is split into the base model, which covers the most common use cases, and extensions for additional use cases.
Package Drone is a software artifact repository where OSGi bundles are first class citizens. The basic idea is, that through some process, be it a build or some manual upload, OSGi bundles get deployed to the repository. This can be restricted to specific named channels. In that way it is possible to tweak the code and the build process to a point where the developers are satisfied with the state of the channel and then it can be made public (e.g. a release).
Papyrus-RT is an industrial-grade, complete modeling environment for the development of complex, software intensive, real-time, embedded, cyber-physical systems.
The initial version of Papyrus-RT is based on the UML-RT approach, so the discussion below is representative of this decision. This decision was made from feedback from active interested parties, sponsors, and experience of the development team.
The project starts with the module Feed-In Management ("Last- und Einspeisemanagement") based on the German Electricity Feed-In Act. The future demand for electric energy is to be adapted to the supply and availability of renewable energy. Based on specific rules and parameters the Feed-In Management calculates a bluepint for electric switching stations and power plants based on renewable energy. Implementing the calculation input data is needed from electric networks, switching stations, power plants, electric demands and feed-in capabilities.
RDF4J is an RDF (Resource Description Framework) Java toolkit. It provides functionality for efficient and scalable storage, querying, and reasoning with RDF data, and a vendor-neutral access API for RDF databases (a.k.a. "triplestores").
Eclipse Plug-ins for Gradle is a collection of Eclipse plug-ins that provide support for building software using Gradle.