A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation

Shu  Chen; Ming Kai  Chen

doi:10.4028/www.scientific.net/AMR.225-226.776

Paper Titles

Skeletonization of Deformed CAPTCHAs Based on Pixel Depth
p.757

The Feasibility Study on Structural Insulated Panels in Rural Settlements of LuGu Lake
p.762

Principles of Sustainable Construction Project Management Based on Lean Construction
p.766

Ontology Design in Visual Stock Information System
p.771

A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation
p.776

Design on Reputation Mechanism for the Medical Consumables Suppliers Based on Fuzzy Clustering
p.780

Comparative Studies of CdZnS Thin Films at Low Zinc Content Prepared by Vacuum Evaporation and CBD
p.784

The Influence of Thickness on the Properties of Sb₂Te₃ Thin Films and its Application in CdS/CdTe Thin Film Solar Cells
p.789

The Study of the Aerodynamic Force of Wind Turbine Blade by Using FLUENT and MATLAB
p.794

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 225-226A Semantical Approach for Automatically...

A Semantical Approach for Automatically Transforming Software Requirement Specification into Formal Presentation

Abstract:

Software engineering is a critical step in obtaining high quality production. However, requirement specifications that written in natural language is inevitably has ambiguity. Modern driven architecture makes use of requirement model for the complement of requirement specification to eliminate such ambiguity. However, currently, the transformation from requirement specification into formal model only limited in syntax level, thus lack of correctness and precision. This paper proposed an approach in semantical level to process textual specifications of the requirements of unlimited natural language and their automatic mapping to the formal presentation.

You might also be interested in these eBooks

Advanced Research on Automation, Communication, Architectonics and Materials

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 225-226)

Pages:

776-779

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.225-226.776

Citation:

Cite this paper

Online since:

April 2011

Authors:

Shu Chen, Ming Kai Chen

Keywords:

Formal Requirement Model, Requirement Engineering, Specification Transformation

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] M.G. Ilieva. Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation. LNCS 3513, p.392–397, Springer-Verlag Berlin Heidelberg (2005).

DOI: 10.1007/11428817_45

Google Scholar

[2] Lee, B. -S., Bryant, B.R.: Automated conversion from requirements documentation to an object-oriented formal specification language. In Proceedings of SAC 2002, Spain, ACM (2002).

DOI: 10.1145/508791.508972

Google Scholar

[3] Kop, C, Mayr, H.C.: Mapping Functional Requirements: From Natural Language to Conceptual Schemata. In Proc. 6th IASTED Int, Cambridge, USA (2002).

Google Scholar

[4] Moreno, A. M. Object-oriented analysis from textual specifications. In Proceedings of Ninth International Conference on Software Engineering and Knowledge Engineering, Spain (1997).

Google Scholar

[5] Kalaivani Subramaniam, Dong Liu, Behrouz H. Far, Armin Eberlein, UCDA: Use Case Driven Development Assistant Tool for Class Model Generation. (SEKE'04), Canada (2004).

Google Scholar

[6] A. Min Tjoa and Linda Berger. Transformation of requirement specifications expressed in natural language into an EER model. LNCS, Volume 823, pp: 206-217 (1994).

DOI: 10.1007/bfb0024368

Google Scholar

[7] http: /www. w3. org/DOM.

Google Scholar

[8] Gupta S, Kaiser Ge, Grimm P. Automating content extraction of HTML documents. Netherlands: Kluwer Academic Publishers (2004).

Google Scholar

[9] Sahuguet A, Azavant F. Building intelligent Web applications using lightweight wrappers. Data and Knowledge Engineering, 36(3): 283-316 (2001).

DOI: 10.1016/s0169-023x(00)00051-3

Google Scholar