I Use This!
Activity Not Available
Analyzed about 1 year ago. based on code collected about 1 year ago.

Project Summary

EiffelState is a library and a visual editor supporting Automata-based programming in Eiffel programming language and EiffelStudio IDE.

The main ideas behind the project are the following:

The central notion of Object-oriented Automata-based programming is the automated class. Unlike a regular class in OOP the automated class is a model of an object with complex (or state-dependent) behavior. At each point such an object can be in one of the relatively small set of control states. Depending on the current control state the object can react differently to the same input. The logic of its behavior (the dependency between the control states and reactions, as well as transitions between control states) are captured in object's controller, which is essentially a finite automaton. To its clients an automated class looks just like any normal class. Inside it consists of a controller (responsible for behavior logic) and a control object, which is a regular class, responsible for behavior semantics. One of the most convenient and vivid ways to describe automata is using State-Transition Diagrams (STD) - graphs that have control states as vertices and transitions as edges. Each transition can have a condition and an action. Condition may involve events (that correspond to feature names in O-O world) and queries on control object. Actions may involve commands to the control object. Some people hate visual software construction, thus we are providing a library that allows one to describe automated classes in Eiffel as directly as possible. We also provide a visual editor that allows one to view controllers of automated objects as STD and also construct and edit them visually. The Eiffel code generated from an STD will use the library mentioned above, and thus will be high-level and human readable. This should support transparency between two different views of the controller: the textual one and the graphical one, allowing the developer to switch from one to another at any point.

Presentation on Automata-based programming: pptx/pdf


automata eiffel ide

In a Nutshell, eiffel-state...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    you can embed statistics from Open Hub on your site

30 Day Summary

Apr 10 2016 — May 10 2016

12 Month Summary

May 10 2015 — May 10 2016


Be the first to rate this project
Click to add your rating
Review this Project!