{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:42:48Z","timestamp":1742974968696,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319049472"},{"type":"electronic","value":"9783319049489"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","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":[[2014]]},"DOI":"10.1007\/978-3-319-04948-9_36","type":"book-chapter","created":{"date-parts":[[2014,2,19]],"date-time":"2014-02-19T15:32:39Z","timestamp":1392823959000},"page":"431-441","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Contribution to Software Interoperability Verification of Manufacturing Application"],"prefix":"10.1007","author":[{"given":"Henri","family":"Basson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michiko","family":"Matsuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dukki","family":"Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,20]]},"reference":[{"issue":"1","key":"36_CR1","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., & Taylor, R. N. (2000). A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26 (1), 70\u201393.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"36_CR2","unstructured":"The Emerging SAE AADL Standard: Tutorial of Real Time Systems Group (RTG), University of Pennsylvania, DASC AADL Tutorial, Part I (p. 33). Pennsylvania, USA."},{"key":"36_CR3","unstructured":"Hassan, M. O., Deruelle, L., & Basson, H. (2009). Towards a change propagation process in software architecture. In 18th International Conference on Software Engineering and Data Engineering (SEDE-2009, pp. 85\u201390). Las Vegas,Nevada, USA."},{"key":"36_CR4","unstructured":"Hassan, M. O., Deruelle, L., Basson, H., & Ahmad, A. (2010). A change propagation process for distributed software architecture, ENASE 2010. In Proceedings of 5th International Conference on Evaluation of Novel Approaches to Software Engineering. Athens, Greece."},{"key":"36_CR5","unstructured":"Melab, N., Basson, H., Deruelle, L., & Bouneffa, M. (1999). Performance of object-oriented code: Profiling and instrumentation. Proceedings of the IEEE International Conference on Software Maintenance (pp. 982\u2013911), Oxford, UK."},{"key":"36_CR6","unstructured":"ISO 15745-1 (2003). Industrial automation systems and integration\u2014open systems application integration framework\u2014Part I: Generic reference description. ISO, Geneva, Switzerland."},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Matsuda, M. (2012). Manufacturing software interoperability services which ISO 16100 brings about (pp. 60\u201370, Vol. 0122). Lecture notes in business information processing series,New York: IFIP, Springer.","DOI":"10.1007\/978-3-642-33068-1_7"},{"key":"36_CR8","unstructured":"ISO\/TC 184\/SC 5\/WG 4 N464, PWI 16300-3 (2013). Interoperability of capability units for manufacturing application solutions\u2014Part 3: Verification and validation of interoperability among capability units."},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Wilde, N. et al. (2013). Interoperable Systems and Software Evolution: Issues and Approaches. In Digital enterprise design and management (pp. 45\u201356). New York: Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-642-37317-6_5"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Bandyopadhyay, S., Sengupta, M., Maiti, S., & Dutta, S. (2011). Role of middleware for internet of things: A study. International Journal of Computer Science and Engineering Survey (IJCSES), 2(3).","DOI":"10.5121\/ijcses.2011.2307"}],"container-title":["Proceedings of the I-ESA Conferences","Enterprise Interoperability VI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04948-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T19:22:14Z","timestamp":1674501734000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-04948-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049472","9783319049489"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04948-9_36","relation":{},"ISSN":["2199-2533","2199-2541"],"issn-type":[{"type":"print","value":"2199-2533"},{"type":"electronic","value":"2199-2541"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"20 February 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}