“Reactive Blocks”的意思、由来-开放百科全书

Reactive Blocks^[1] is a visual model-driven development environment based on Activity Diagrams supporting formal model analysis, automated code generation, hierarchical modelling, and an extensive library of ready-to-use components for the Java platform.

Concept

The core technology originated from research at the Norwegian University of Science and Technology and the Institute for Telematics.^[2] Reactive Blocks is a visual model-driven development environment supporting formal model analysis, automated code generation, hierarchical modelling, and an extensive library of ready-to-use components for the Java platform. By combining re-usable blocks, a developer can create complex applications graphically.

These building blocks are defined by a combination of graphical models and Java code. The graphical model is based on UML activity diagrams and state machines. The existing library can be extended by user-implemented custom blocks which can include the full abilities of the Java platform. Each block has an extended interface description in the form of input and output pins and a contract. The contract indicates which states a block has, and which pins can be interacted with during which state.

Reactive Blocks uses the graphical model together with the information from the contracts to formally analyse the application to discover common problems such as deadlocks or incorrect terminations. If the analysis finds a problem, the according state of the application can be highlighted to identify the cause. The development environment offers a step-by-step animation of the chain of state transitions leading up to the problem.

An application which passed validation can then be automatically converted into Java code. Since a building block´s application is a correct formal definition, the builder can transform its logic into code. The generated code is packaged in a standard Eclipse Java project and can thus be treated as any other code; exporting runnable JARs, debugging, and profiling work the same.

Supported Platforms

Literature

References

1. ^Homepage
2. ^{{cite thesis|last= Kraemer|first= Frank Alexander|date= 2008|title= Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks|type= PhD|publisher= Fakultet for informasjonsteknologi, matematikk og elektroteknikk|url= http://hdl.handle.net/11250/261480|access-date= 2016-09-25}}
3. ^{{cite press release |author= |title=Huawei, Bitreactive and Eurotech join OSGi Alliance |url=https://www.osgi.org/wp-content/uploads/Huawei-Bitreactive-and-Eurotech-Join-OSGi-Alliance-3-Nov-2015.pdf |location=USA |publisher=OSGi Alliance |agency=Inventures |date=2015-11-03 |access-date=2016-09-26}}
4. ^{{cite web |url=https://www.eclipse.org/kura/ |title=Kura - Open Source framework for IoT |author= |publisher=Eclipse Foundation |access-date=2016-09-25}}
5. ^{{cite web |url=http://www.eurotech.com/en/products/software+services/everyware+software+framework |title=Everyware™ Software Framework ( ESF ) |author= |publisher=Eurotech |access-date=2016-09-25}}