{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T12:35:19Z","timestamp":1763037319508,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030136925"},{"type":"electronic","value":"9783030136932"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-13693-2_15","type":"book-chapter","created":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T05:09:30Z","timestamp":1556168970000},"page":"177-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Interoperability of Test Procedures Between Enterprises"],"prefix":"10.1007","author":[{"given":"Marco","family":"Franke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker H.-W.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Rasche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Himmler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus-Dieter","family":"Thoben","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,26]]},"reference":[{"key":"15_CR1","unstructured":"Franke, M., Gerke, D., Hans, C., et al. (2012). Method-driven test case generation for functional system verification. In Proceedings ATOS, Delft (pp. 36\u201344)."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Shani, U., et al. (2017). Ontology mediation to rule them all: Managing the plurality in product service systems. In Systems Conference (SysCon), 2017 Annual IEEE International. IEEE.","DOI":"10.1109\/SYSCON.2017.7934810"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Franke, M. et al. (2016). Semantic data integration approach for the vision of a digital factory. In Enterprise interoperability VII (pp. 77\u201386). Springer International Publishing.","DOI":"10.1007\/978-3-319-30957-6_6"},{"key":"15_CR4","unstructured":"Wacher, H. (2003). Semantische mediation f\u00fcr heterogene informationsquellen. KI, 17(4), 56."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Berre, A. J., Elves\u00e6ter, B., Figay, N., Guglielmina, C., Johnsen, S., and other. (2007). The ATHENA interoperability framework. In Enterprise interoperability II (pp. 569\u2013580). London: Springer.","DOI":"10.1007\/978-1-84628-858-6_62"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1016\/j.procir.2016.08.037","volume":"59","author":"M Franke","year":"2017","unstructured":"Franke, M., Klein, K., & Thoben, K.-D. (2017). Interoperable information exchange as enabler of NFF related TES. Procedia CIRP, 59, 240\u2013245.","journal-title":"Procedia CIRP"},{"key":"15_CR7","unstructured":"Razorcat, CCDL Whitepaper. \n                    https:\/\/www.razorcat.com\/files\/de\/produkte\/ccdl\/Razorcat_Technical_Report_CCDL_Whitepaper_02.pdf\n                    \n                  . Last accessed 2018\/01\/04."},{"key":"15_CR8","unstructured":"W3C. (2011). State chart XML (SCXML): state machine notation for control abstraction. W3C Working Draft, April 2011."},{"issue":"5","key":"15_CR9","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"Mark Utting","year":"2011","unstructured":"Utting, M., Pretschner, A., & Legeard, B. A taxonomy of model-based testing approaches. In Software Testing Verification Reliability, 22, 297\u2013312. \n                    https:\/\/doi.org\/10.1002\/stvr.456\n                    \n                  .","journal-title":"Software Testing, Verification and Reliability"},{"key":"15_CR10","unstructured":"ASAM expression\u2014General expression syntax. (2011). H\u00f6henkirchen, Germany: ASAM e.V."},{"key":"15_CR11","unstructured":"Apache Common, Commons SCXML, \n                    http:\/\/commons.apache.org\/proper\/commons-scxml\n                    \n                  . Last accessed 2018\/01\/04."}],"container-title":["Proceedings of the I-ESA Conferences","Enterprise Interoperability VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-13693-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T05:56:58Z","timestamp":1558418218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-13693-2_15"}},"subtitle":["Intermediate Representation for Test Procedure Exchange"],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030136925","9783030136932"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-13693-2_15","relation":{},"ISSN":["2199-2533","2199-2541"],"issn-type":[{"type":"print","value":"2199-2533"},{"type":"electronic","value":"2199-2541"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}