{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:54:48Z","timestamp":1743083688595,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319303352"},{"type":"electronic","value":"9783319303376"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30337-6_13","type":"book-chapter","created":{"date-parts":[[2016,3,23]],"date-time":"2016-03-23T09:54:52Z","timestamp":1458726892000},"page":"135-143","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Requirements Verification Method for System Engineering Based on a RDF Logic View"],"prefix":"10.1007","author":[{"given":"Alb\u00e9ric","family":"Corni\u00e8re","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Virginie","family":"Fortineau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Paviot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Lamouri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,24]]},"reference":[{"key":"13_CR1","unstructured":"Ahmed, N., Matulevicius, R.: A method for eliciting security requirements from the business process models. In: CAiSE Forum and Doctoral Consortium, pp. 57\u201364 (2014). url \n                    http:\/\/ceur-ws.org\/Vol-1164\/PaperVision08.pdf"},{"key":"13_CR2","unstructured":"Arnold, S.: ISO 15288 Systems Engineering System Life Cycle Processes. International Standards Organisation (2002)"},{"key":"13_CR3","unstructured":"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\u2013199. IEEE (2015)"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s00766-012-0164-1","volume":"19","author":"M Berkovich","year":"2014","unstructured":"Berkovich, M., Leimeister, J.M., Hoffmann, A., Krcmar, H.: A requirements data model for product service systems. Req. Eng. 19(2), 161\u2013186 (2014)","journal-title":"Req. Eng."},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1007\/978-3-662-44736-9_79","volume-title":"Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications","author":"Alb\u00e9ric Corni\u00e8re","year":"2014","unstructured":"Corni\u00e8re, 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\u2013657. Springer, Berlin (2014)"},{"issue":"3","key":"13_CR6","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/j.ifacol.2015.06.095","volume":"48","author":"Alb\u00e9ric Corni\u00e8re","year":"2015","unstructured":"Corni\u00e8re, 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\u2013287 (2015). doi \n                    http:\/\/dx.doi.org\/10.1016\/j.ifacol.2015.06.095\n                    \n                  . url \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S2405896315003341","journal-title":"IFAC-PapersOnLine"},{"key":"13_CR7","unstructured":"ISO: Iso 10303 (2014)"},{"key":"13_CR8","first-page":"484","volume":"2","author":"S Nisar","year":"2015","unstructured":"Nisar, S., Nawaz, M., Sirshar, M.: Review analysis on requirement elicitation and its issues. Int. J. Comput. Commun. Syst. Eng. (IJCCSE) 2, 484\u2013489 (2015)","journal-title":"Int. J. Comput. Commun. Syst. Eng. (IJCCSE)"},{"key":"13_CR9","unstructured":"OMG: Sysml v 1.3 (2012). \n                    http:\/\/www.omg.org\/spec\/SysML\/1.3"},{"key":"13_CR10","unstructured":"Paviot, T.: M\u00e9thodologie de r\u00e9solution des probl\u00e8mes d\u2019interop\u00e9rabilit\u00e9 dans le domaine du product lifecycle management. Ph.D. thesis, Ecole Centrale Paris (2010)"},{"key":"13_CR11","unstructured":"Rahman, M., Ripon, S., et al.: Elicitation and modeling non-functional requirements-a pos case study (2014). arXiv preprint \n                    arXiv:1403.1936\n                    \n                  . url \n                    http:\/\/arxiv.org\/pdf\/1403.1936"},{"key":"13_CR12","unstructured":"Tsuchiya, S.: Improving knowledge creation ability trough organizational learning. In: Proceedings of International Symposium on the Management of Industrial and Corporate Knowledge, ISMICK, Compi\u00e8gne, France (1993)"},{"issue":"2","key":"13_CR13","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.1109\/TII.2014.2301132","volume":"10","author":"Wattana Viriyasitavat","year":"2014","unstructured":"Viriyasitavat, W., Da Xu, L.: Compliance checking for requirement-oriented service workflow interoperations. IEEE Trans. Ind. Inform. 10(2), 1469\u20131477 (2014)","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. (TOSEM) 6(1), 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"}],"container-title":["Studies in Computational Intelligence","Service Orientation in Holonic and Multi-Agent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30337-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T17:34:55Z","timestamp":1559410495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30337-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319303352","9783319303376"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30337-6_13","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}