High-tech companies increasingly adopt the Model-Based Systems Engineering (MBSE) paradigm. The use of (formal) models for controller design allows validation and verification of controllers long before they are implemented and integrated into the system. Early validation and verification have been shown to lead to less defects and reduced costs.
The project is best shown through some example (and currently working) queries, this is taken from unit tests. Should be mostly self-explanatory since follows the structure of JPQL,
except not necessary to specify "from" part of query since deduced from the entity types involved.
Queries that use aliases (variable::getter) are slightly less typesafe than the type ones (class::getter), the latter is more common, former only needed when utilizing the same table/entity multiple times in the same query.
Eclipse Jemo aims to take the ease of use of the Jakarta EE platform into the public cloud. In building Jemo we choose to focus on embracing the technology and pace of change provided by CSP's such as Amazon (AWS), Microsoft (Azure), and Google (GCP). The major CSP's provide many of the core application software technologies that are used to build modern applications (examples are things like Pub/Sub queue systems, Streaming, BigData, HTTP/S, Batch processing, etc).
The toolset supports the visual and textual editing of specifications using UML 2.4 class diagrams, OCL 2.4 and a textual activity language. These specifications can be analysed for technical debt and other flaws, and code in ANSI C, Java, C# and C++ can be generated. A Python generator is also provided in a pre-release version. The tools have been used for educational purposes on large software engineering undergraduate courses, and to develop industrial-scale applications in finance and model transformation engineering.
The main purpose of this project is the ongoing development and maintainance of the Eclipse Signalling Engineering Toolbox (in the following simly called toolbox).
The toolbox, as aforementioned, provides means for initialization, managing, testing, validation, visualization, documentation and merging of instances of the object model for the railway interlocking signalling technology.
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 blueprint 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.