Josef Kufner


BPMN: From a Black Box to Smalldb State Machine (2018)

Comming soon.

State Machines and SQL Database in Web Applications (2018)

Comming soon.

Self-generating Programs – Cascade of the Blocks (2014)

J. Kufner and R. Mařík.
Download: Full paper (PDF, submitted version), BibTeX citation.

When building complex applications the only way not to get lost is to split the application into simpler components. Current programming languages, including object oriented ones, offer very good utilities to create such components. However, when the components are created, they need to be connected together. Unluckily, these languages are not a very suitable tool for that. To help with composition of the components we introduce cascade – a dynamic acyclic structure built from blocks, inspired by the Function Block approach. The cascade generates itself on-the-fly during its evaluation to match requirements specified by input data and automatically orders an execution of the individual blocks. Thus the structure of a given cascade does not need to be predefined entirely during its composing/implementation and fixed during its execution as it is usually assumed by the most approaches. It also provides a real-time and fully automatic visualization of all blocks and their connections to ease debugging and an inspection of the application.

State Machine Abstraction Layer (2014)

J. Kufner and R. Mařík.
Download: Full paper (PDF, submitted version), BibTeX citation. See for more details.

Smalldb uses a non-deterministic parametric finite automaton combined with Kripke structures to describe lifetime of an entity, usually stored in a traditional SQL database. It allows to formally prove some interesting properties of resulting application, like access control of users, and provides primary source of metadata for various parts of the application, for example automatically generated user interface and documentation.

Presentation at ICT-EurAsia 2014

J. Kufner
Download: Slides (PDF), movie mentioned in the presentation (AVI, 19 MB).

Presentation of “Self-generating Programs – Cascade of the Blocks” and “State Machine Abstraction Layer” at ICT-EurAsia 2014 conference (Bali, Indonesia, April 14-17, 2014).