{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:00:30Z","timestamp":1740096030542,"version":"3.37.3"},"reference-count":90,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780123965264"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-12-396526-4.00005-9","type":"book-chapter","created":{"date-parts":[[2012,4,7]],"date-time":"2012-04-07T16:06:58Z","timestamp":1333814818000},"page":"213-276","source":"Crossref","is-referenced-by-count":3,"title":["Automated Interoperability Testing of Healthcare Information Systems"],"prefix":"10.1016","author":[{"given":"Diana","family":"Elena Vega","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"isbn-type":"print","year":"2005","series-title":"E-Health Care Information Systems: An Introduction for Students and Professionals","key":"10.1016\/B978-0-12-396526-4.00005-9_bib1","ISBN":"https:\/\/id.crossref.org\/isbn\/0787966185"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib2","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/1118890.1118891","article-title":"A survey and analysis of Electronic Healthcare Record standards","volume":"37","author":"Eichelberg","year":"2005","journal-title":"ACM Comput. Surv.","ISSN":"https:\/\/id.crossref.org\/issn\/0360-0300","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib3","unstructured":"T.C. Fund, New International Survey of Primary Care Physicians: Most U.S. Doctors Unable to Provide Patients Access to After-Hours Care; Half Lack Access to Drug Safety Alert Systems. 2006. www.commonwealthfund.org\/usr_doc\/Press_Release3. pdf?section=4056. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib4","doi-asserted-by":"crossref","unstructured":"C. Schoen, R. Osborn, M.M. Doty, D. Squires, J. Peugh, S. Applebaum, A Survey of Primary Care Physicians in 11 Countries, 2009: Perspectives on Care, Costs, and Experiences, Health Affairs (Project HOPE) 28 (2009) 1171\u20131183. http:\/\/dx.doi.org\/10.1377\/hlthaff.28.6.w1171. Accessed January 15, 2011.","DOI":"10.1377\/hlthaff.28.6.w1171"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib5","unstructured":"HL7, Health Level Seven Standards Developing Organizations (HL7 SDOs). Health Level Seven (HL7) Messaging Standards, Version 2.x, 3.0. www.hl7.org\/implement\/standards\/ansiapproved.cfm, First HL7 Messaging Standard published in 1987a. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib6","unstructured":"HL7, Health Level Seven Standards Developing Organizations (HL7 SDOs), 1987. www.hl7.org. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib7","unstructured":"IHE, Integrating the Healthcare Enterprise (IHE), 1997. www.ihe.net. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib8","unstructured":"ETSI, European Telecommunications Standards Institute (ETSI). European Standard (ES) 201 873-1 V3.2.1 (2007-02): The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language, 2007."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib9","unstructured":"ETSI, European Telecommunications Standards Institute (ETSI), 2010. www.etsi.org. Accessed February 29, 2012."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib10","series-title":"Introduction to Software Testing","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","author":"Ammann","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9780521880381"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib11","series-title":"Testing Computer Software","isbn-type":"print","author":"Kaner","year":"1999","ISBN":"https:\/\/id.crossref.org\/isbn\/0471358460"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib12","unstructured":"ISO\/IEC, ISO\/IEC 9646-1:1992 Information Technology\u2014Open Systems Interconnection\u2014Conformance Testing Methodology and Framework\u2014Part 1: General Concepts, 1992."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib13","series-title":"OSI Conformance Testing Methodology and TTCN","isbn-type":"print","author":"Baumgarten","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0444897127"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib14","unstructured":"H. Veer, A. Wiles, European Telecommunications Standards Institute (ETSI): Achieving Technical Interoperability\u2014the ETSI Approach, 2006, ETSI White Paper No. 3. http:\/\/ec.europa.eu\/idabc\/servlets\/Docd552.pdf?id=19529. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib15","unstructured":"ETSI, European Telecommunications Standards Institute (ETSI). European Standard (ES) 202 237: Methods for Testing and Specification (MTS); Internet Protocol Testing (IPT); Generic Approach to Interoperability Testing, version 1.2.1, 2010."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib16","doi-asserted-by":"crossref","first-page":"1114","DOI":"10.1001\/jama.1990.03440080092030","article-title":"Medical informatics: an emerging academic discipline and institutional priority","volume":"263","author":"Greenes","year":"1990","journal-title":"JAMA, J. Am. Med. Assoc.","ISSN":"https:\/\/id.crossref.org\/issn\/0098-7484","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib17","unstructured":"Study: E-Healthcare in Western Europe A Huge Market Opportunity for Wireless Technologies. Market Insights\u2013Mobile Communications subscription, Frost & Sullivan, October 2009. http:\/\/www.frost.com\/sublib\/display-report.do?ctxixpLink=FcmCtx1&searchQuery=E-Healthcare+in+Western+Europe+-+A+Huge+Market+Opportunity+for+Wireless+Technologies&bdata=aHR0cDovL3d3dy5mcm9zdC5jb20vc3JjaC9jYXRhbG9nLXNlYXJjaC5kbz9xdWVyeVRleHQ9RS1IZWFsdGhjYXJlK2luK1dlc3Rlcm4rRXVyb3BlKy0rQStIdWdlK01hcmtldCtPcHBvcnR1bml0eStmb3IrV2lyZWxlc3MrVGVjaG5vbG9naWVzQH5AU2VhcmNoIFJlc3VsdHNAfkAxMzMwNTIyNjU5MzQ5&ctxixpLabel=FcmCtx2&id=9838-00-05-00-00. Accessed February 29, 2012."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib18","first-page":"313","article-title":"Factors that have contributed to a lack of integration in health information system security","volume":"2","author":"Fernando","year":"2004","journal-title":"J. Inf. Technol. Healthc.","ISSN":"https:\/\/id.crossref.org\/issn\/1479-649X","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib19","unstructured":"CEN, European Committee for Standardization (CEN). CEN ENV 13608-1:2000, Health Informatics\u2014Security for Healthcare Communication\u2014Concepts and Terminology, 2000."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib20","series-title":"Electronic Health Records: A Practical Guide for Professionals and Organizations","isbn-type":"print","author":"Amatayakul","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/1584261331"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib21","unstructured":"NIH, National Institutes of Health (NIH), National Center for Research Resources. MITRE Center for Enterprise Modernization, Electronic Health Records Overview, 2006. www.ncrr.nih.gov\/publications\/informatics\/EHR.pdf. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib22","unstructured":"ISO, ISO\/TR 20514:2005, Health Informatics\u2014Electronic Health Record\u2014Definition, Scope and Context, 2005."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib23","series-title":"Health Care Information Systems: A Practical Approach for Health Care Management","isbn-type":"print","author":"Wager","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9780470387801"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib24","first-page":"406","article-title":"Methodology for the development of an electronic medical record","author":"Dahle","year":"2002","ISSN":"https:\/\/id.crossref.org\/issn\/0094-2898","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib25","series-title":"Proceedings of the Midwest Association for Information (MWAIS) 2010, MWAIS, AIS Electronic Library (AISeL)","article-title":"Standards and interoperability in healthcare information systems: current status, problems, and research issues","author":"Brooks","year":"2010"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib26","first-page":"3","article-title":"Three dimensions of organizational interoperability - insights from recent studies for improving interoperability frame-works","volume":"6","author":"Kubicek","year":"2009","journal-title":"Eur. J. ePractice"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib27","unstructured":"E. Communities, European Interoperability Framework Version 1.0, 2004. http:\/\/ec.europa.eu\/idabc\/servlets\/Docd552.pdf?id=19529. ISBN 92-894-8389-X. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib28","unstructured":"E. Communities, Draft Document as Basis for EIF 2.0, 2008. http:\/\/ec.europa.eu\/idabc\/servlets\/Docb0db.pdf?id=31597. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib29","unstructured":"CEN Global eBusiness Interoperability Test-bed Methodologies (GITB), 2008\u20132009. www.ebusiness-testbed.eu\/publicaties\/4752. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib30","unstructured":"WSI, Web Service Interoperability Organization (WS-I), 2004. www.ws-i.org. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib31","unstructured":"IIC, OASIS ebXML Implementation Interoperability and Conformance (IIC) TC, 2011. www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=ebxml-iic. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib32","series-title":"Principles of Health Interoperability HL7 and SNOMED (Health Informatics)","isbn-type":"print","author":"Benson","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/1848828020"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib33","doi-asserted-by":"crossref","first-page":"66","DOI":"10.4103\/0971-3026.33610","article-title":"DICOM, HL7 and IHE: A basic primer on healthcare standards for radiologists","volume":"17","author":"Indrajit","year":"2007","journal-title":"Indian J. Radiol. Imaging"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib34","series-title":"ITI 4th International Conference on Information & Communications Technology (ICICT' 2006), IEEEXplore Digital Library","article-title":"Electronic health record standards\u2014a brief overview","author":"Eichelberg","year":"2006"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib35","series-title":"Digital Imaging and Communications in Medicine (DICOM): A Practical Introduction and Survival Guide","isbn-type":"print","author":"Pianykh","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540745709"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib36","unstructured":"Medical Imaging & Technology Alliance, Division of National Electrical Manufacturers Association (NEMA). Digital Imaging and Communications in Medicine (DICOM). Known as ISO Standard 12052 or NEMA Standard PS3, First DICOM standard published in 1985. http:\/\/dicom.nema.org\/. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib37","unstructured":"ETI, Etasoft Inc. Beginners Guide to EDI X12 (including HIPAA), 2010. www.xtranslator.com\/prod\/beginguidex12.pdf. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib38","first-page":"393","article-title":"Interoperable electronic prescribing in the United States: a progress report","volume":"28","author":"Friedman","year":"2009","journal-title":"Health Aff.\u2014Policy J. Health Sphere"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib39","unstructured":"SCA, National Council for Prescription Drug Programs (NCPDP). ePrescribing Industry Information, 2011. www.ncpdp.org\/eprescribing.aspx. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib40","doi-asserted-by":"crossref","first-page":"e13893","DOI":"10.1371\/journal.pone.0013893","article-title":"Standardizing clinical trials workflow representation in UML for international site comparison","volume":"5","author":"de Carvalho","year":"2010","journal-title":"PLoS ONE"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib41","series-title":"IEEE 13th International Multitopic Conference 2009, INMIC","first-page":"1","article-title":"Mapping integrating the healthcare environment (IHE) to business process execution language for people (BPEL 4PPL)","author":"Aftab","year":"2009"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib42","series-title":"Proceedings of the Fifth Annual IEEE International Conference on Automation Science and Engineering, CASE'09","isbn-type":"print","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1109\/COASE.2009.5234111","article-title":"The role of standards in healthcare automation","author":"Sriram","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9781424445783"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib43","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1186\/1751-0473-5-9","article-title":"IHE cross-enterprise document sharing for imaging: interoperability testing software","volume":"5","author":"Noumeir","year":"2010","journal-title":"Source Code Biol. Med."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib44","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1016\/j.infsof.2006.12.001","article-title":"An evaluation and selection framework for interoperability standards","volume":"50","author":"Mykk\u00e4nen","year":"2008","journal-title":"Inf. Softw. Technol.","ISSN":"https:\/\/id.crossref.org\/issn\/0950-5849","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib45","doi-asserted-by":"crossref","first-page":"107","DOI":"10.4304\/jetwi.1.2.107-109","article-title":"Towards e-health interoperability: challenges, perspectives and solutions","volume":"1","author":"Kuziemsky","year":"2009","journal-title":"J. Emerg. Technol. Web Intel.","ISSN":"https:\/\/id.crossref.org\/issn\/1798-0461","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib46","series-title":"Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14\u201317, 2008, Las Vegas Nevada, USA, 2 Volumes","isbn-type":"print","first-page":"143","article-title":"Conformance testing and interoperability: a case study in healthcare data exchange","author":"Gebase","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/1601320884"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib47","doi-asserted-by":"crossref","first-page":"271","DOI":"10.3414\/ME09-02-0027","article-title":"Semantic validation of standard-based electronic health record documents with W3C XML Schema","volume":"49","author":"Rinner","year":"2010","journal-title":"Methods inf. med.","ISSN":"https:\/\/id.crossref.org\/issn\/0026-1270","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib48","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/TITB.2009.2016086","article-title":"An interoperability test framework for HL7-based systems","volume":"13","author":"Namli","year":"2009","journal-title":"Trans. Info. Tech. Biomed.","ISSN":"https:\/\/id.crossref.org\/issn\/1089-7771","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib49","first-page":"389","article-title":"Testing conformance and interoperability of eHealth applications","volume":"49","author":"Dogac","year":"2010","journal-title":"Methods inf. med.","ISSN":"https:\/\/id.crossref.org\/issn\/0026-1270","issn-type":"print"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib50","series-title":"31st International Conference on Software Engineering, ICSE 2009, May 16\u201324, 2009 Vancouver, Canada, Companion Volume, IEEE Communications Society, IEEEXplore","first-page":"163","article-title":"Automated testing of healthcare document transformations in the PICASSO interoperability platform","author":"Pascale","year":"2009"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib51","isbn-type":"print","first-page":"157","article-title":"Implementing an HL7 version 3 modeling tool from an Ecore model","volume":"vol. 150","author":"B\u00e1nfai","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9781607500445"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib52","unstructured":"LAI, LAIKA Project: open source electronic health record (EHR) testing framework, 2010. www.laika.sourceforge.net. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib53","unstructured":"R. McCready, LAIKA: An Open Source Electronic Health Record Testing Framework, 2008. www.mitre.org\/news\/events\/exchange08\/3813.pdf. Accessed January 15, 2011."},{"author":"Dingwell","key":"10.1016\/B978-0-12-396526-4.00005-9_bib54"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib55","unstructured":"Gazelle Project: IHE Gazelle Test Management Tool, 2010. http:\/\/gazelle.ihe.net\/. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib56","unstructured":"IHE-Europe Connectathon, Bordeaux, France, 2010. www.ihe-europe.net\/content\/connect athon_2010.htm. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib57","unstructured":"HIMSS Board of Directors, Interoperability Definition and Background, 2009. www.himss.org\/content\/files\/interoperability_definition_background_060905.pdf. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib58","unstructured":"HL7, Health Level Seven Standards Developing Organizations (HL7 SDOs). Health Level Seven (HL7) Messaging Standards, version 2.x, First HL7 Version 2.x Standard published in 1987. www.hl7.org\/implement\/standards\/v2messages.cfm. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib59","unstructured":"HL7, Health Level Seven Standards Developing Organizations (HL7 SD0s). Health Level Seven (HL7) Messaging Standards Standard, Version 3, First HL7 Version 3 Standard published in 2005 http:\/\/www.hl7.org\/v3ballot\/html\/index.htm. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib60","unstructured":"Health Level Seven. Transport Specification: Minimal Lower Layer Protocol (MLLP), Release 2, Last Published on June 12, 2009. www.hl7.org\/v3ballot\/html\/infrastructure\/transpo rt\/transport-mllp.htm. Accessed January 15, 2011."},{"year":"2007","series-title":"Model-Driven Testing: Using the UML Testing Profile","author":"Baker","key":"10.1016\/B978-0-12-396526-4.00005-9_bib61"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib62","series-title":"Wireless and Mobile Communications","isbn-type":"print","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/ICWMC.2007.2","article-title":"A methodology for interoperability testing of a MANET routing protocol","author":"Merouane","year":"2007","ISBN":"https:\/\/id.crossref.org\/isbn\/0769527965"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib63","unstructured":"RID, RIDE Project: A Roadmap for Interoperability of eHealth Systems in Support of COM 356 with Special Emphasis on Semantic Interoperability, www.srdc.metu.edu.tr\/webpage\/projects\/ride\/, 2006-2007. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib64","unstructured":"ebXML, Organization for the Advancement of Structured Information Standards (OASIS). ebXML Business Process Specification, 2007. http:\/\/docs.oasis-open.org\/ebxml-bp\/2.0.4\/OS\/spec\/, 2007. Accessed February 29, 2012"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib65","unstructured":"A. Dogac, Y. Kabak, O. Gulderen, T. Namli, A. Okcan, O. Kilic, et al., ebBP Profile for Integrating Healthcare Enterprise (IHE), 2006. Submitted to OASIS ebXML Business Process Technical Committee. http:\/\/www.srdc.com.tr\/publications\/2006\/ebBPprofile-forIHE-1.0-draft1-July19-2006.pdf. Accessed February 29, 2012."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib66","unstructured":"SEP, sepp.med GmbH. .getmore (GEnerating Tests from MOdels to Reduce Effort), UML based Test Generator, 2009. www.seppmed.de\/getmore.65.0.html. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib67","unstructured":"ReT, ReTeMes Project: Reliability Testing Of Medical Systems, EUREKA European Project (E!4053 RETEMES), 2007\u20132009, 2011. www.eurekanetwork.org\/project\/-\/id\/4053. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib68","unstructured":"QTR, Conformiq Inc. Conformiq Tool Suite\u2122, Eclipse based workbench for automated test design, 2010. www.conformiq.com\/products.php. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib69","unstructured":"STD, Smartesting. Test Designer\u2122, 2008. www.smartesting.com\/index.php\/cms\/en\/explore\/products. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib70","unstructured":"ELT, Elvior LLC. TestCast Generator, 2008. www.smartesting.com\/index.php\/cms\/en\/explore\/products. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib71","unstructured":"SPE, Microsoft Corporation. Spec Explorer\u2122, 2010. http:\/\/research.microsoft.com\/en-us\/projects\/specexplorer\/. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib72","unstructured":"ASM, Microsoft Corporation. Abstract State Machine Language (AsML), 2010. http:\/\/research.microsoft.com\/en-us\/projects\/asm l\/. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib73","series-title":"Practical Model-Based Testing: A Tools Approach","isbn-type":"print","author":"Utting","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/0123725011"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib74","unstructured":"Z.R. Dai, An Approach to Model-Driven Testing\u2014Functional and Real-Time Testing with UML 2.0, U2TP and TTCN-3, Ph.D. thesis, Technical University of Berlin, Fraunhofer Verlag IRB, 2006. ISBN: 3-8167-7237-4."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib75","series-title":"AST '06: Proceedings of the 2006 International Workshop on Automation of Software","isbn-type":"print","doi-asserted-by":"crossref","DOI":"10.1145\/1138929.1138950","article-title":"Developing a TTCN-3 test harness for legacy software","author":"Okika","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/1595934081"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib76","series-title":"Testing Object Oriented Systems. Models, Patterns and Tools.: Models, Patterns and Tools","isbn-type":"print","author":"Binder","year":"1999","ISBN":"https:\/\/id.crossref.org\/isbn\/0201809389"},{"issue":"3","key":"10.1016\/B978-0-12-396526-4.00005-9_bib77","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0920-5489(89)90023-8","article-title":"A COS study of OIS interoperability","volume":"9","author":"Gadre","year":"1990","journal-title":"Comput. Stand. Interfaces"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib78","series-title":"FORTE 90 Formal Description Techniques","article-title":"Conformance testing based on formal methods","author":"Hogrefe","year":"1990"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib79","series-title":"International Federation for Information Processing -IFIP-, Technical Committee 6, Communication Systems: Testing of communicating systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98)","isbn-type":"print","first-page":"149","article-title":"Test Architectures for Distributed Systems\u2014State of the Art and Beyond","author":"Walter","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/0412844303"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib80","unstructured":"WST, P. Brittenham. Understanding the WS-I Test Tools\u2014Test how the WS-I Basic Profile 1.0 defines interoperability, 2003. www.ibm.com\/developerworks\/webservices\/library\/ws-wsitest\/. Accessed January 15, 2011."},{"author":"Spronk","key":"10.1016\/B978-0-12-396526-4.00005-9_bib81"},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib82","unstructured":"PCD, Integrating the Healthcare Enterprise (IHE). Patient Care Devices Technical Framework (PCD TF), 2006. www.ihe.net\/Technical_Framework\/index.cfm##pcd. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib83","unstructured":"ITI, Integrating the Healthcare Enterprise (IHE). IT Infrastructure Technical Framework (ITI TF), 2009. www.ihe.net\/Technical_Framework\/index.cfm##IT. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib84","unstructured":"TNG, TestNGMed Project: Testing of Next Generation Medical System, 2007-2009, PRO INNO Germany, 2007\u20132009. www.testngmed.org. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib85","unstructured":"PCD, Integrating the Healthcare Enterprise (IHE). Patient Care Devices Technical Framework (PCD TF), Volume 1, Integration Profiles, Revision 1.1, Trial Implementation Version, Year 1: 2005-2006, 2006. www.ihe.net\/Technical_Framework\/upload\/IHE_PCD_T F_rev1.pdf. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib86","unstructured":"PCD, Integrating the Healthcare Enterprise (IHE). Patient Care Devices Technical Framework (PCD TF), Volume 2, Transaction, Revision 1.1, Trial Implementation Version, Year 1: 2005\u20142006, 2006. www.ihe.net\/Technical_Framework\/upload\/IHE_PCD_T F_rev1-2.pdf. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib87","unstructured":"MOT, FOKUS Fraunhofer Institute for Open Communication Systems, Competence Center MOTION, Modeling and Testing for System and Service Solutions, 2010. www.fokus.fraunhofer.de\/en\/motion\/index.html. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib88","unstructured":"CTI, European Telecommunications Standards Institute (ETSI). Centre for Testing and Interoperability (CTI), 2010. www.etsi.org\/WebSite\/AboutETSI\/HowWeWork\/Testingandinteroper ability.aspx. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib89","unstructured":"ITI, Integrating the Healthcare Enterprise (IHE). IT Infrastructure Technical Framework, Volume 2a (ITI TF-2a), Transactions Part A, Revision 6.0, Final Text, August 10, 2009, www.ihe.net\/Technical_Framework\/upload\/IHE_ITI_T F_6-0_Vol2a_FT_2009-08-10-2.pdf. Accessed January 15, 2011."},{"key":"10.1016\/B978-0-12-396526-4.00005-9_bib90","series-title":"Software Engineering 2007 (SE 2007). Lecture Notes in Informatics (LNI) 105. Copyright Gesellschaft f\u00fcr Informatik","article-title":"Applying the ISO 9126 quality model to test specifications\u2014exemplified for TTCN-3 test specifications","author":"Zei\u00df","year":"2007"}],"container-title":["Advances in Computers","Advances in Computers Volume 85"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,6,21]],"date-time":"2023-06-21T21:07:10Z","timestamp":1687381630000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780123965264000059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9780123965264"],"references-count":90,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-396526-4.00005-9","relation":{},"ISSN":["0065-2458"],"issn-type":[{"type":"print","value":"0065-2458"}],"subject":[],"published":{"date-parts":[[2012]]}}}