Abstract
Requirements Engineering (RE) is a key discipline for the success of software projects. Consistency, completeness, and accuracy are the requirements quality properties to be guaranteed by the verification task in RE. An overview of the actual trends in RE is briefly summarized, focusing more closely on the requirements verification quality properties. Completeness results is the most difficult property to guarantee. It is hard to capture the software behavior against the whole external context. In the last years, research has focused its attention to the application of semantic Web techniques to the different tasks of RE. The adoption of ontologies seems promising to achieve the proper level of formalism and to argue on quality properties. This paper presents a survey of the main concepts that need to be accounted for requirement verification, and proposes an ontological engineering approach to demonstrate the overlapping of requirements against the external context.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
SWEBOK Guide to the Software Engineering Body of Knowledge. IEEE Computer Society (2004)
Cheng, B., Atlee, J.: Research Directions in Requirement Engineering. In: FOSE 2007, Future of Software Engineering, pp. 285–303 (2007)
Fanmuy, G., Fraga, A., Llorens, J.: Requirements verification in the industry. In: Hammami, O., Krob, D., Voirin, J.-L. (eds.) Complex Systems Design & Management, vol. 91, pp. 145–160. Springer, Heidelberg (2012)
Alfor, M., Lawson, J.: Software Requirements Engineering Methodology (Development). TRW Defense and Space Systems Group (1979)
Zave, P.: Classification of Research Efforts in Requirements Engineering. ACM Computing Surveys (CSUR) 29(4), 315–321 (1997)
RTCA, DO-178C. Software Consideration. In: Airborne Systems And Equipment Certification, Washington (December 2011)
Calero, C., Ruiz, F., Piattini, M.: Ontologies in Software Engineering and Software Technology. Springer (2005)
Taye, M.M.: Web-Based Ontology Languages and its Based Description Logics. The Research Bulletin of Jordan ACM II(II), 1–9
Zowghi, D., Gervasi, V.: On the Interplay Between Consistency, Completeness, and Correctness. Requirements Evolution, Journal of Information and Software Technology 45 (2003)
Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging Inconsistency in Software Development. Software Development Computer 33(4), 1–33 (2000)
Sharma, S., Pandey, S.: Integrating AI techniques in Requirement Phase: A Literature Review. In: IJCA Proceedings on 4th International IT Summit Confluence 2013 - The Next Generation Information Technology Summit Confluence, pp. 21–25 (2013)
Zhu, A., Jin, A.: Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. In: Engineering of Complex Computer Systems, pp. 402–410 (2005)
Siegemund, K., Thomas, E., Zhao, Y., Pan, J., Assmann, U.: Towards ontology-driven requirements engineering. In: Workshop Semantic Web Enabled Software Engineering at 10th International Semantic Web Conference (ISWC), pp. 1–6 (2011)
Spanoudakis, G., Zisman, A.: Inconsistency Management in Software Engineering: Survey and Open Research Issues. In: Handbook of Software Engineering and Knowledge Engineering, pp. 329–380 (2001)
Boehm, B.W.: Verifying and validating software requirements and design specifications. IEEE Software (1), 75–88 (1984)
CESAR_D_SP2_R3.3_M3_Vol4_v1.000_PU Project, http://www.cesarproject.eu/
Castaneda, V., Ballejos, L., Caliusco, M., Galli, M.: The Use of Ontologies in Requirements Engineering. Global Journal of Researches in Engineering 10 (6) (Ver 1.0), 2–7 (2010)
Ceccato, M.: Ambiguity Identification and Measurements in Natural Language Texts
Gasevic, D., Kaviani, N., Milanovi, M.: Ontologies and Software Engineering. In: International Handbooks on Information Systems, pp. 593–615. Springer (2009)
Shingler, R., Fadin, G., Umiliacchi, G.P.: From rcm to predictive maintenance: The integrail approach. In: 4th IET International Conference on Railway Condition Monitoring, pp. 1–5 (2008)
De Ambrosi, C., Ghersi, C., Tacchella, A.: An ontology-based condition analyzer for fault classification on railway vehicles. In: Chien, B.-C., Hong, T.-P., Chen, S.-M., Ali, M. (eds.) IEA/AIE 2009. LNCS, vol. 5579, pp. 449–458. Springer, Heidelberg (2009)
Lodemann, M., Luttenberger, N.: Ontology-Based Railway Infrastructure Verification. In: Proceeding KMIS 2010, pp. 176–181 (2010)
Verstichel, S., Ongenaea, F., Loeve, L., Vermeulen, F., Dings, P., Dhoedt, B., Dhaene, T., De Turck, F.: Efficient data integration in the railway domain through an ontology-based methodology. Transportation Research Part C: Emerging Technologies 19(4), 617–643 (2011)
Kannan, S., Thangavelu, A., Kalivaradhan, R.: An intelligent driver assistance system (idas) for vehicle safety modelling using ontology approach. International Journal of Ubicomp (2010)
Lanfranchi, V., Bhagdev, R., Chapman, S., Ciravegna, F., Petrelli, D.: Extracting and Searching Knowledge for the Aerospace Industry. In: ESTC (2007)
Bonasso, R., Boddy, M., Kortenkamp, D., Bell, S.: Ontological Models To Support Space Operations
Keller, R., Berrios, D., Wolfe, S., Hall, D., Sturken, I.: Semantic Integration of Heterogeneous NASA Mission Data Sources
Malin, J., Throop, D.: Basic Concepts and Distinctions for an Aerospace Ontology of Functions, Entities and Problems. In: Aerospace Conference. IEEE (2007)
Kuofie, E.J.: RaDEX: A Rationale-based Ontology for Aerospace Design Explanation. Master of Science Programme Business Information Technology University of Twente
Verhagen, W., Curran, R.: Ontological Modelling of the Aerospace Composite Manufacturing Domain in Improving Complex Systems Today, pp. 215–222 (2011)
Schumann, B., Scanlany, J., Fangohrz, H.: A Generic Unifying Ontology for Civil Un-manned Aerial. In: 12th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference and 14th AIAA/ISSM (2012)
Dittmann, L., Rademacher, T., Zelewski, S.: Performing FMEA Using Ontologies. In: 18th International Workshop on Qualitative Reasoning, Evanston, USA, pp. 209–216 (2004)
Bogusch, R., Gerlach, S.: Optimierungen in Requirements-Engineering in der Praxis
Jiang, J.J., Conrath, D.W.: Semantic similarity based on corpus statistics and lexical taxonomy (1997)
Leacock, C., Chodorow, M.: Combining local context and WordNet similarity for word sense identification. WordNet: An Electronic Lexical Database 49(2), 265–283 (1998)
Lin, D.: An information-theoretic definition of similarity. In: Proceedings of the 15th International Conference on Machine Learning, vol. 1, pp. 296–304 (1998)
Resnik, P.: Using information content to evaluate semantic similarity in a taxonomy (1995)
Wu, Z., Palmer, M.: Verbs semantics and lexical selection. In: Proceedings of the 32nd Annual Meeting on Association for Computational Linguistics, pp. 133–138 (1998)
Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition 5(2), 199–220 (1993)
Zazzaro, G., Gigante, G., Zaccariello, E., Ficco, M., Di Martino, B.: Supporting Development of Certified Aeronautical Components by applying Text Analysis Technique. In: Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems, CISIS-2014 (July 2014)
Venticinque, A., Mazzocca, N., Venticinque, S., Ficco, M.: Semantic support for log analysis of Safety-Critical embedded systems. In: Proc. of the 13th European Dependable Computing Conference (EDCC 2014), Newcastle, UK (May 2014)
Ficco, M., Daidone, A., Coppolino, L., Romano, L., Bondavalli, A.: An event correlation approach for fault diagnosis in SCADA infrastructures. In: Proc. of the 13th European Workshop on Dependable Computing (EWDC 2011), pp. 15–20 (2011)
Leveson, N.: Completeness in formal specification language design for process-control systems. In: Proceedings of the Third Workshop on Formal Methods in Software Practice, pp. 75–87 (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Gigante, G., Gargiulo, F., Ficco, M. (2015). A Semantic Driven Approach for Requirements Verification. In: Camacho, D., Braubach, L., Venticinque, S., Badica, C. (eds) Intelligent Distributed Computing VIII. Studies in Computational Intelligence, vol 570. Springer, Cham. https://doi.org/10.1007/978-3-319-10422-5_44
Download citation
DOI: https://doi.org/10.1007/978-3-319-10422-5_44
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10421-8
Online ISBN: 978-3-319-10422-5
eBook Packages: EngineeringEngineering (R0)