Enabling Domain Experts to Modify Formal Models via a Natural Language Representation Consistently (bibtex)
Reference:
Gregor Gabrysiak, Daniel Eichler, Regina Hebig, Holger Giese, "Enabling Domain Experts to Modify Formal Models via a Natural Language Representation Consistently", in Proc. of the First ICSE 2013 Workshop on Natural Language Analysis in Software Engineering, NaturaLiSE'13, 25 May 2013.
Abstract:
While requirements described in Natural Language are inherently ambiguous and hard to check for consistency, they are intuitively understandable for domain experts. Using formal models, on the other hand, supports requirements engineers to specify requirements correct, consistent and complete. Transformations between these two different representations can become quite complex, since not everything that can be expressed with natural language can be captured in a restricted formal model. We describe a transformation approach that takes the formal modeling operations of story patterns and allows domain experts to transparently apply them on a natural language representation of these formal models. Also, a preliminary evaluation is presented.
Links:
@InProceedings{GEHG13---NL4SP,
AUTHOR = {Gabrysiak, Gregor and Eichler, Daniel and Hebig, Regina and Giese, Holger},
TITLE = {{Enabling Domain Experts to Modify Formal Models via a Natural Language Representation Consistently}},
YEAR = {2013},
MONTH = {25 May},
BOOKTITLE = {Proc. of the First ICSE 2013 Workshop on Natural Language Analysis in Software Engineering},
SERIES = {NaturaLiSE'13},
PDF = {uploads/pdf/GEHG13---NL4SP_submission.pdf},
OPTacc_pdf = {},
ABSTRACT = {While requirements described in Natural Language are inherently ambiguous and hard to check for consistency, they are intuitively understandable for domain experts. Using formal models, on the other hand, supports requirements engineers to specify requirements correct, consistent and complete. Transformations between these two different representations can become quite complex, since not everything that can be expressed with natural language can be captured in a restricted formal model. We describe a transformation approach that takes the formal modeling operations of story patterns and allows domain experts to transparently apply them on a natural language representation of these formal models. Also, a preliminary evaluation is presented.}
}
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser