Formal Requirement Specification with Xtext & ProR

Installation

• Install ProR from the ProR Update site:  http://update.pror.org
• Select the “Xtext” feature while installing

Creating a formal language

Please follow the  Xtext Userguide to learn how to create formal languages using Xtext

Integrating the formal language to ProR

• Create a new Eclipse plugin Project
• Add the following plug-in dependencies to the new project.

The last two dependencies are the newly generated plugins for your language by Xtext

• Create a new extension for the extension point de.itemis.pror.presentation.xtext.configuration.
• language is the id of the newly created language.
• extension is the file extension of the newly created language
  

Please note that this is not the project/plugin id but the language id 

For injector, implement the interface de.itemis.pror.presentation.xtext.core.IXtextInjector or extend de.itemis.pror.presentation.xtext.core.AbstractXtextInjector. The getInjector() method should return the Google injector of your Xtext language UI project. For example,

public class DomainModelInjector extends AbstractXtextInjector {

	@Override
	public Injector getInjector() {
		return DomainmodelActivator.getInstance().
                               getInjector(getLanguage());
	}

}

Please note that it might be necessary to export the *.ui.internal package from the UI project to access the XXXActivator instance as above. We will improve this as soon as Xtext makes the injector public in a different way.

Running ProR with formal language integration

• Launch the newly created plugins from your workspace which has ProR already in the target

Needless to say, build the newly created plugins and add them to the ProR target after testing

• Create a new RIF file in ProR
• Follow ProR documentation and create a datatype for the newly created language. In the example below we use an existing datatype in ProR, T_String32k
• Create a new Presentation Configuration.
• For Language enter the Language id of you new language as before

• For Presentation Datatype, select an existing datatype. T_String32k in the example below

• Double click on the requirement attribute which is linked to the new datatype in the ProR grid. Description in the example below.
• A pop-up dialog opens up with a full-fledged editor for the newly created language. The editor supports most Xtext features like syntax highlighting, auto completion, error highlighting etc.

• Enter your formal description in the editor
• Click on a different cell to accept the new value
• Save the file to persist the contents as usual