{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T05:38:46Z","timestamp":1725946726516},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319737508"},{"type":"electronic","value":"9783319737515"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-73751-5_27","type":"book-chapter","created":{"date-parts":[[2018,1,31]],"date-time":"2018-01-31T07:57:43Z","timestamp":1517385463000},"page":"359-370","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Trusted Services for Cyber Manufacturing Systems"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Andr\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Cardin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,1]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1016\/j.jmsy.2015.04.008","volume":"37","author":"L Wang","year":"2015","unstructured":"Wang, L., T\u00f6rngren, M., Onori, M.: Current status and advancement of cyber-physical systems in manufacturing. J. Manuf. Syst. 37, 517\u2013527 (2015)","journal-title":"J. Manuf. Syst."},{"issue":"2","key":"27_CR2","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1016\/j.cirp.2016.06.005","volume":"65","author":"L Monostori","year":"2016","unstructured":"Monostori, L., K\u00e1d\u00e1r, B., Bauernhansl, T., Kondoh, S., Kumara, S., Reinhart, G., Sauer, O., Schuh, G., Sihn, W., Ueda, K.: Cyber-physical systems in manufacturing. CIRP Ann. Manuf. Technol. 65(2), 621\u2013641 (2016)","journal-title":"CIRP Ann. Manuf. Technol."},{"key":"27_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/j.mfglet.2016.05.002","volume":"8","author":"J Lee","year":"2016","unstructured":"Lee, J., Bagheri, B., Jin, C.: Introduction to cyber manufacturing. Manuf. Lett. 8, 11\u201315 (2016)","journal-title":"Manuf. Lett."},{"doi-asserted-by":"crossref","unstructured":"Bauer, D., Stock, D., Bauernhansl, T.: Movement towards service-orientation and app-orientation in manufacturing IT. In: 10th CIRP Conference on Intelligent Computation in Manufacturing Engineering\u2013CIRP ICME \u201916. (Ed.) Roberto Teti: Doriana M. D\u2019Addona Procedia CIRP vol. 62, pp. 199\u2013204 (2017)","key":"27_CR4","DOI":"10.1016\/j.procir.2016.06.079"},{"doi-asserted-by":"crossref","unstructured":"Morgan, J., O\u2019Donnell, G.E.: The cyber physical implementation of cloud manufacturing monitoring systems. In: 9th CIRP Conference on Intelligent Computation in Manufacturing Engineering\u2014CIRP ICME \u201914 Procedia CIRP vol. 33, pp. 29\u201334 (2015)","key":"27_CR5","DOI":"10.1016\/j.procir.2015.06.007"},{"issue":"8","key":"27_CR6","doi-asserted-by":"crossref","first-page":"1061","DOI":"10.1016\/j.compind.2013.07.007","volume":"64","author":"C Morariu","year":"2013","unstructured":"Morariu, C., Morariu, O., Borangiu, T.: Customer order management in service oriented holonic manufacturing. Comput. Ind. 64(8), 1061\u20131072 (2013)","journal-title":"Comput. Ind."},{"doi-asserted-by":"crossref","unstructured":"Rodrigues, N., Leit\u00e3o, P., Oliveira, E.C.: Self-interested service-oriented agents based on trust and QoS for dynamic reconfiguration. In: Borangiu, T., Thomas, A., Trentesaux, D. (eds.) Service Orientation in Holonic and Multi-agent Manufacturing, Studies in Computational Intelligence, vol. 594, pp. 209\u2013218. Springer (2015)","key":"27_CR7","DOI":"10.1007\/978-3-319-15159-5_20"},{"unstructured":"Andr\u00e9, P., Attiogb\u00e9, C., Mottu, J.M.: Combining techniques to verify service-based components. In: Proceedings of the International Workshop on domAin Specific Model-based Approaches to verification and validation, AMARETTO@MODELSWARD 2017, Porto, Portugal, February 19\u201321, 2017, pp. 645\u2013656 (2017)","key":"27_CR8"},{"doi-asserted-by":"crossref","unstructured":"Meyer, B.: The grand challenge of trusted components. In: ICSE \u201903: Proceedings of the 25th International Conference on Software Engineering, pp. 660\u2013667. IEEE Computer Society, Washington, DC, USA (2003)","key":"27_CR9","DOI":"10.1109\/ICSE.2003.1201252"},{"doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice, 1st edn. Morgan & Claypool Publishers (2012)","key":"27_CR10","DOI":"10.2200\/S00441ED1V01Y201208SWE001"},{"key":"27_CR11","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2010.05.002","volume":"263","author":"P Andr\u00e9","year":"2010","unstructured":"Andr\u00e9, P., Ardourel, G., Attiogb\u00e9, C., Lanoix, A.: Using assertions to enhance the correctness of kmelia components and their assemblies. Electr. Notes Theor. Comput. Sci. 263, 5\u201330 (2010)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"unstructured":"OSOA: Service component architecture (sca): Sca assembly model v1.00 specifications. Specification Version 1.0, Open SOA Collaboration (2007)","key":"27_CR12"},{"doi-asserted-by":"crossref","unstructured":"Andr\u00e9, P., Mottu, J.M., Suny\u00e9, G.: Costotest: a tool for building and running test harness for service-based component models (demo). In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp. 437\u2013440. ACM, New York, NY, USA (2016)","key":"27_CR13","DOI":"10.1145\/2931037.2948704"},{"doi-asserted-by":"crossref","unstructured":"Andr\u00e9, P., Ardourel, G., Messabihi, M.: Component service promotion: contracts, mechanisms and safety. In: Barbosa, L.S., Lumpe, M. (eds.) 7th International Workshop on Formal Aspects of Component Software, FACS 2010. Lecture Notes in Computer Science, vol. 6921, pp. 145\u2013162. Springer (2010)","key":"27_CR14","DOI":"10.1007\/978-3-642-27269-1_9"},{"doi-asserted-by":"crossref","unstructured":"Attiogb\u00e9, C., Andr\u00e9, P., Ardourel, G.: Checking Component Composability. In: 5th International Symposium on Software Composition, SC\u201906. LNCS, vol. 4089. Springer (2006)","key":"27_CR15","DOI":"10.1007\/11821946_2"},{"unstructured":"Andr\u00e9, P., Mottu, J.M., Ardourel, G.: Building test harness from service-based component models. In: Proceedings of the Workshop MoDeVVa (Models 2013), Miami, USA, pp. 11\u201320 (2013)","key":"27_CR16"},{"key":"27_CR17","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/j.engappai.2016.06.004","volume":"55","author":"FG Quintanilla","year":"2016","unstructured":"Quintanilla, F.G., Cardin, O., L\u2019Anton, A., Castagna, P.: A modeling framework for manufacturing services in service-oriented holonic manufacturing systems. Eng. Appl. Artif. Intell. 55, 26\u201336 (2016)","journal-title":"Eng. Appl. Artif. Intell."},{"doi-asserted-by":"crossref","unstructured":"Bianchini, D., De\u00a0Antonellis, V.: Ontology-based Semantic Interoperability Tools for Service Dynamic Discovery, pp. 323\u2013333. Springer, London (2006)","key":"27_CR18","DOI":"10.1007\/1-84628-152-0_29"},{"key":"27_CR19","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/j.compind.2016.05.006","volume":"82","author":"P Hehenberger","year":"2016","unstructured":"Hehenberger, P., Vogel-Heuser, B., Bradley, D., Eynard, B., Tomiyama, T., Achiche, S.: Design, modelling, simulation and integration of cyber physical systems: methods and applications. Comput. Ind. 82, 273\u2013289 (2016)","journal-title":"Comput. Ind."},{"unstructured":"Lee, J., Bagheri, B., Kao, H.A.: A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manuf. Lett. 3, 18\u201323 (2015)","key":"27_CR20"},{"unstructured":"Tao, F., Cheng, J., Cheng, Y., Gu, S., Zheng, T., Yang, H.: Sdmsim: a manufacturing service supply\u2013demand matching simulator under cloud environment. Robot. Comput.-Integr. Manuf. 45, 34\u201346 (2017). special Issue on Ubiquitous Manufacturing (UbiM)","key":"27_CR21"},{"doi-asserted-by":"crossref","unstructured":"Liu, X.F., Shahriar, M.R., Sunny, S.N.A., Leu, M.C., Hu, L.: Cyber-physical manufacturing cloud: architecture, virtualization, communication, and testbed. J. Manuf. Syst. 43, Part 2, 352\u2013364 (2017). High Performance Computing and Data Analytics for Cyber Manufacturing","key":"27_CR22","DOI":"10.1016\/j.jmsy.2017.04.004"},{"key":"27_CR23","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.compind.2016.05.010","volume":"82","author":"K Thramboulidis","year":"2016","unstructured":"Thramboulidis, K., Christoulakis, F.: Uml4iot\u2013a uml-based approach to exploit iot in cyber-physical manufacturing systems. Comput. Ind. 82, 259\u2013272 (2016)","journal-title":"Comput. Ind."}],"container-title":["Studies in Computational Intelligence","Service Orientation in Holonic and Multi-Agent Manufacturing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73751-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T21:57:30Z","timestamp":1570658250000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73751-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319737508","9783319737515"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73751-5_27","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2018]]}}}