LuMiNous


LuMiNous is a tool implementing the automatic generation of runtime checks for system level properties in a MDA-like process.

Publications and Documentation

Property Templates and Assertions Supporting Runtime Failure Detection

Technical report detailing fundamental results about failure classes and their relation to system-level properties. [PDF]

An Approach to Detecting Failures Automatically

Position paper outlining the overall vision and use cases of the LuMiNous technology. [PDF]

Downloads

The most recent released version of LuMiNous is available through the update site. Additional resources are listed below.

To obtain the source code please contact the project developers.

Using the plug-ins

  • Download and install the LuMiNous feature from the update site. It requires AJDT, Eclipse UML and JET 2.0 to work.
  • To apply the LuMiNous transformation to a model, create a new run configuration of type "JET Transformation". Select your model, and uml2aj as the transformation.
  • Run the transform, add all dependecies to other projects/libraries to your modeling project, and compile. If you get exceptions from AJDT, use the example build script and Ant to debug your code.

Contributors

  • Jochen Wuttke (project lead)
  • Mauro Baluda
Professional

Ihr Browser versucht gerade eine Seite aus dem sogenannten Internet auszudrucken. Das Internet ist ein weltweites Netzwerk von Computern, das den Menschen ganz neue Möglichkeiten der Kommunikation bietet.

Da Politiker im Regelfall von neuen Dingen nichts verstehen, halten wir es für notwendig, sie davor zu schützen. Dies ist im beidseitigen Interesse, da unnötige Angstzustände bei Ihnen verhindert werden, ebenso wie es uns vor profilierungs- und machtsüchtigen Politikern schützt.

Sollten Sie der Meinung sein, dass Sie diese Internetseite dennoch sehen sollten, so können Sie jederzeit durch normalen Gebrauch eines Internetbrowsers darauf zugreifen. Dazu sind aber minimale Computerkenntnisse erforderlich. Sollten Sie diese nicht haben, vergessen Sie einfach dieses Internet und lassen uns in Ruhe.

Die Umgehung dieser Ausdrucksperre ist nach §95a UrhG verboten.

Mehr Informationen unter www.politiker-stopp.de.