Requirements - Model-driven Requirements Specification and Validation

A DSL to specify requirements for software systems in a model-driven way. For the validation of requirements we use OWLText a metamodelling approach that enables the definition of metamodel constraints using an ontology based constraint language. The constraints file is referenced below.

For details on using OWLText see the OWLText documentation and screencasts.

Screenshot

CS Specification

requirements.text.cs

OWLText Constraints

energyConstraints.owlcl

Metamodel

requirements.text.ecore

requirements.text.genmodel

Plugins

org.owltext.language.requirements

org.owltext.language.requirements.resource.requirements

org.owltext.language.requirements.resource.requirements.ui