Abstract
Requirements Engineering (RE) is often seen as a preliminary phase to design, however in a PLM (Product Life-cycle Management) context its range widens to the whole life cycle of a product. Verification of requirements is one of the activities associated with RE, that consist in asserting the actual system complies to the requirements. This verification is usually performed manually, one requirement at a time, relying on the engineer’s expertise. In order to enable automatic verification of requirements on large and complex systems, we propose a semantic model of requirements based on business concepts and modelled with RDF (Resource Description Framework). This model joins the logical and the concrete views on the system in a twin network of RDF triples. The application domain is the nuclear industry.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Ahmed, N., Matulevicius, R.: A method for eliciting security requirements from the business process models. In: CAiSE Forum and Doctoral Consortium, pp. 57–64 (2014). url http://ceur-ws.org/Vol-1164/PaperVision08.pdf
Arnold, S.: ISO 15288 Systems Engineering System Life Cycle Processes. International Standards Organisation (2002)
Ben-David, S., Sterin, B., Atlee, J.M., Beidu, S.: Symbolic model checking of product-line requirements using sat-based methods. In: IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), 2015, vol. 1, pp. 189–199. IEEE (2015)
Berkovich, M., Leimeister, J.M., Hoffmann, A., Krcmar, H.: A requirements data model for product service systems. Req. Eng. 19(2), 161–186 (2014)
Cornière, A., Fortineau, V., Paviot, T., Lamouri, S., Goblet, J.L., Platon, A., Dutertre, C.: Modelling requirements in service to PLM for long lived products in the nuclear field. In: Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World, pp. 650–657. Springer, Berlin (2014)
Cornière, A., Fortineau, V., Paviot, T., Lamouri, S.: Towards a framework for integration of requirements engineering in PLM. In: 15th IFAC Symposium on Information Control Problems in Manufacturing INCOM 2015. IFAC-PapersOnLine 48(3), 283–287 (2015). doi http://dx.doi.org/10.1016/j.ifacol.2015.06.095. url http://www.sciencedirect.com/science/article/pii/S2405896315003341
ISO: Iso 10303 (2014)
Nisar, S., Nawaz, M., Sirshar, M.: Review analysis on requirement elicitation and its issues. Int. J. Comput. Commun. Syst. Eng. (IJCCSE) 2, 484–489 (2015)
OMG: Sysml v 1.3 (2012). http://www.omg.org/spec/SysML/1.3
Paviot, T.: Méthodologie de résolution des problèmes d’interopérabilité dans le domaine du product lifecycle management. Ph.D. thesis, Ecole Centrale Paris (2010)
Rahman, M., Ripon, S., et al.: Elicitation and modeling non-functional requirements-a pos case study (2014). arXiv preprint arXiv:1403.1936. url http://arxiv.org/pdf/1403.1936
Tsuchiya, S.: Improving knowledge creation ability trough organizational learning. In: Proceedings of International Symposium on the Management of Industrial and Corporate Knowledge, ISMICK, Compiègne, France (1993)
Viriyasitavat, W., Da Xu, L.: Compliance checking for requirement-oriented service workflow interoperations. IEEE Trans. Ind. Inform. 10(2), 1469–1477 (2014)
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. (TOSEM) 6(1), 1–30 (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Cornière, A., Fortineau, V., Paviot, T., Lamouri, S. (2016). Requirements Verification Method for System Engineering Based on a RDF Logic View. In: Borangiu, T., Trentesaux, D., Thomas, A., McFarlane, D. (eds) Service Orientation in Holonic and Multi-Agent Manufacturing. Studies in Computational Intelligence, vol 640. Springer, Cham. https://doi.org/10.1007/978-3-319-30337-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-30337-6_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-30335-2
Online ISBN: 978-3-319-30337-6
eBook Packages: EngineeringEngineering (R0)