Laurent Henocque

This is Laurent Henocque's personal blog. I am using 16VjbGbn6oDmcAbeZFmdeZu6Vj9ekSaBSA as my public KeeeX identity.

To content | To menu | To search

Javastates

IMG_0074.jpg

Javastates is a java library designed to let java UI programmers concentrate on functionality and  ergonomy without fearing to reach states where visual bugs cannot be overcome.

Javastates main page

Download Javastates

IMG_0074.jpg

Javastates is a java library designed to let java UI programmers concentrate on functionality and  ergonomy without fearing to reach states where visual bugs cannot be overcome.

Javastates main page

Download Javastates

Javastates English Lecture Notes

A course about Javastates in english

Continue reading

Installing and Using Javastates Video Tutorial

This video covers the early stages of using Javastates, including: downloading the archive, setting up Javastates in Eclipse, testing the demos. It also provides some insight about how the simplest demos operate.

Continue reading

JavaStates 1.8.6 released

Present as an attachment is the newest version of the JavaStates library

No new functionality or bug correction beyond several extended integrity tests bound with a few new exception classes.

Continue reading

Javastates 1.8.5 released

New version 1.8.5 corrects a (final ?) bug (concerning very special situations where the handling of listeners would not be properly performed in concurrent regions) and adds to other demos a very simple three color demo. Available for download at sourceforge.net

Continue reading

How Javastates implements D Harel's statecharts

Javastates implements statechart semantics, extends them by allowing to bind <object,attribute,value> triples to states and offers an api for transitions.

Continue reading

Tutorial Slides

A simple Hello world tutorial for Javastates

Continue reading

Introducing Javastates

Javastates is a java library designed to let java UI programmers concentrate on functionality and  ergonomy without fearing to reach states where visual bugs cannot be overcome.

Continue reading

Javastates and UML

Javastates semantics match UML state diagram semantics to a large extent. Concurrency is implemented so that an interface may simultaneously run arbitrarily many sub-automatas

Continue reading

Javastates and Swing

Javastates is a Java6 library. It uses Java introspection and Java bean conventions to infer class field accessors and modifiers. The demo present in the downloadable archive is based upon Java Swing GUI classes, but every java bean compliant GUI library can be used

Continue reading

What is Javastates?

Javastates is a library of Java classes allowing to develop the internal dynamics of GUI user interface by means of a static executable specification. Using javastates, the GUI programmer concentrates upon the static properties of the interface states, and lets the logic manage for the correctness of transitions.

Continue reading

Javastates History

Javastates originates from a long run project. A C version of similar concepts was implemented in the application generator OpenSide in the early nineties, then a C++ variant was implemented in Ilog Views. Laurent Henocque as a software engineering teacher developped javastates as a tool for teaching the specification of graphical user interfaces and currently uses this at ESIL, Université de la Méditerranée, France.

Continue reading

Callback not found for widget contactMe