Dataset for a requirements modeling language and the Desiree framework
Creators
-
1.
Chalmers University of Technology
-
2.
University of Gothenburg
-
3.
University of Ottawa
-
4.
Rutgers, The State University of New Jersey
-
5.
University of Twente
-
6.
Tsinghua University
Description
This dataset includes all the material related to the Desiree framework by Feng-Lin Li et al. It includes a requirements ontology, a description-based formal requirements language, and a prototype tool for the Desiree framework. Part of this repository captures an extension of the PROMISE repository: it provides re-classified PROMISE NFRs using the proposed requirements ontology rewritten in the description-based requirements modeling language.
Series information
Graded.membership.calculation.pdf
This file holds the calculation details of NFR satisfaction as described in the paper "An Ontological Interpretation of Non-Functional Requirements"
Series information
The list of PROMISE NFRs and ther Quality Goals.pdf
This file holds the full list with all 370 PROMISE NFR items translated into the proposed quality goal modeling language in the papers "An Ontological Interpretation of Non-Functional Requirements" and "Non-functional requirements as qualities with a spice of ontology"
Series information
PROMISE NFRs.xslx, PROMISE FRs.xslx
These two files hold the more detailed analysis of translating PROMISE requirements into the proposed modeling language.
Series information
Desiree.Evaluation.pdf
This file reports the evaluation of the effectiveness of the entire Desiree framework through three controlled experiments as described in "Engineering requirements with Desiree: an empirical evaluation"
Series information
Tool.zip
This zip file contains the prototype tool developed for the Desiree framework. It includes the protype itself, and a set of tutorials.
Series information
Desiree Questionnaire.pdf, Desiree Questionnaire Results Original Data.zip
These two files contain the questionnaire that was given to participents to evaluate the framework, as well as the the results as described in "Engineering requirements with Desiree: an empirical evaluation".
Series information
Case Study results.zip
This zip file contains two complete case studies of a meeting scheduler and a nursing scheduler with a translation of the proposed requirements modeling language to OWL as described in the paper "From Stakeholder Requirements to Formal Specifications through Refinement"
Files
Case study results.zip
Files
(399.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:a9ed5c785e91543fa792f34a9fa79f68
|
93.2 kB | Preview Download |
|
md5:f0e0d43cd76a04fb30b7827b460b0ee7
|
747.9 kB | Preview Download |
|
md5:d37187e5f14acaf2269987007c8a9a92
|
149.2 kB | Preview Download |
|
md5:9d9cb7fda5cdf5e20a38d1f041e4ebda
|
867.6 kB | Preview Download |
|
md5:71abc6c4556779b89f36c04c08dd6f84
|
476.2 kB | Preview Download |
|
md5:46453e1fb7b330278739fe1608a21d63
|
51.7 kB | Download |
|
md5:e8d8bb4ee209ce9dd61c31781326b4e6
|
72.4 kB | Download |
|
md5:fc81c1459ea8280b85a41e6dd73e5880
|
191.9 kB | Preview Download |
|
md5:ae6e437b947df50a6433f012f72081a5
|
396.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Publication: 10.3233/978-1-61499-438-1-344 (DOI)
- Publication: 10.1109/RE.2014.6912271 (DOI)
- Publication: 10.1007/978-3-319-16101-3_11 (DOI)
- Publication: 10.1007/978-3-319-39696-5_14 (DOI)
- Thesis: arXiv:1604.03184 (arXiv)
Dates
- Created
-
2024-12Dataset profile created by Yi Peng