hudsonsferreira / yakinduparser

Detects a Finite-State Machine in a requirements description.

============= YakinduParser(YP)

Detects Finite-State Machine in a requirements description. The goal of YP is to induce a new way to avoid ambiguity in software requirements.

Requeriments description in a .odt format:

(You can find it in the resources directory)

![Alt text] (/parser/spec/resources/images/refrigerator_requirements.png)

As a dependency you must copy the some nltk_data modules to your home. You can run the bellow code:

cd YakinduParser

cp -r nltk_data ~/

Installing:

[sudo] python setup.py install

Running tests:

specloud

Usage:

from yakinduparser import YakinduParser
parser = YakinduParser('/spec/resources/refrigerator.odt')
parser.create_class_factory_utils()

So, you will note that FactoryUtils.java file was generated. This class, is responsible to plot the Yakindu Statechart diagram.

To install Yakindu on the dev mode, you can follow this gist.

We use Yakindu to do a quick requirements simulation and verify if the natural language is able to represent the system.

![Alt text] (/parser/spec/resources/images/refrigerator_diagram.png)