{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T19:07:33Z","timestamp":1725822453420},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662471562"},{"type":"electronic","value":"9783662471579"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-47157-9_4","type":"book-chapter","created":{"date-parts":[[2015,5,19]],"date-time":"2015-05-19T03:12:54Z","timestamp":1432005174000},"page":"39-52","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Validation and Verification of Interoperability Requirements"],"prefix":"10.1007","author":[{"given":"Mamadou Samba","family":"Camara","sequence":"first","affiliation":[]},{"given":"R\u00e9my","family":"Dupas","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Ducq","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,5,20]]},"reference":[{"key":"4_CR1","volume-title":"Software Engineering","author":"I Sommerville","year":"2011","unstructured":"Sommerville, I.: Software Engineering. Addison-Wesley, Reading (2011)"},{"key":"4_CR2","unstructured":"ALCTS: Description and access task force on metadata (2010)"},{"key":"4_CR3","volume-title":"Research Directions in Software Technology","author":"BW Boehm","year":"1979","unstructured":"Boehm, B.W.: Software engineering: Rd trends and defense needs. In: Wegner, P. (ed.) Research Directions in Software Technology. MIT Press, Cambridge (1979)"},{"issue":"7","key":"4_CR4","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1016\/j.compind.2007.12.018","volume":"59","author":"V Chapurlat","year":"2008","unstructured":"Chapurlat, V., Braesch, C.: Verification, validation, qualification and certification of enterprise models: Statements and opportunities. Comput. Indus. 59(7), 711\u2013721 (2008)","journal-title":"Comput. Indus."},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.entcs.2005.12.014","volume":"148","author":"L Baresi","year":"2006","unstructured":"Baresi, L., Pezze, M.: An introduction to software testing. Electron. Notes Theor. Comput. Sci. 148(1), 89\u2013111 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"4_CR6","unstructured":"Tolk, A., Muguira, J.: The levels of conceptual interoperability model (2003)"},{"key":"4_CR7","unstructured":"Morris, E., Levine, L., Meyers, C., Place, P., Plakosh, D.: System of systems interoperability (sosi): Final report. Technical report, Carnegie Mellon University (2004)"},{"key":"4_CR8","unstructured":"Kingston, G., Fewell, S., Richer, W.: An organizational interoperability agility model. Technical report, DSTO Fern Hill, Department of defence, Canberra ACT 2600, Australia (2005)"},{"issue":"7","key":"4_CR9","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1016\/j.compind.2012.03.002","volume":"63","author":"S Mallek","year":"2012","unstructured":"Mallek, S., Daclin, N., Chapurlat, V.: The application of interoperability requirement specification and verification to collaborative processes in industry. Comput. Ind. 63(7), 643\u2013658 (2012)","journal-title":"Comput. Ind."},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1016\/j.arcontrol.2012.09.011","volume":"36","author":"C Cornu","year":"2012","unstructured":"Cornu, C., Chapurlat, V., Quiot, J.M., Irigoin, F.: Customizable interoperability assessment methodology to support technical processes deployment in large companies. Ann. Rev. Control 36(2), 300\u2013308 (2012)","journal-title":"Ann. Rev. Control"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1080\/0951192X.2013.800235","volume":"27","author":"M Camara","year":"2014","unstructured":"Camara, M., Ducq, Y., Dupas, R.: A methodology for the evaluation of interoperability improvements in inter-enterprises collaboration based on causal performance measurement models. Int. J. Comput. Integr. Manuf. 27(2), 103\u2013119 (2014)","journal-title":"Int. J. Comput. Integr. Manuf."},{"issue":"7","key":"4_CR12","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1016\/j.compind.2007.12.016","volume":"59","author":"D Chen","year":"2008","unstructured":"Chen, D., Doumeingts, G., Vernadat, F.: Architectures for enterprise integration and interoperability:past, present and future. Comput. Ind. 59(7), 647\u2013659 (2008)","journal-title":"Comput. Ind."},{"issue":"8","key":"4_CR13","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1016\/j.compind.2012.08.005","volume":"63","author":"Y Ducq","year":"2012","unstructured":"Ducq, Y., Chen, D., Doumeingts, G.: A contribution of system theory to sustainable enterprise interoperability science base. Comput. Ind. 63(8), 844\u2013857 (2012)","journal-title":"Comput. Ind."},{"key":"4_CR14","unstructured":"INCOSE: Guide for writing requirements. Technical report, INCOSE (2012)"},{"key":"4_CR15","volume-title":"Enterprise Interoperability New Challenges and Approaches","author":"J Touzi","year":"2007","unstructured":"Touzi, J., Lorr, J.P., Bnaben, F., Pingaud, H.: Interoperability through model-based generation: the case of the collaborative information system (cis). In: Gonalves, R.J., M\u00fcller, J.P., Mertins, K., Zelm, M. (eds.) Enterprise Interoperability New Challenges and Approaches. Springer, London (2007)"},{"issue":"4","key":"4_CR16","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.compind.2013.01.003","volume":"64","author":"N Chungoora","year":"2013","unstructured":"Chungoora, N., Young, R.I., Gunendran, G., Palmer, C., Usman, Z., Anjum, N.A., Cutting-Decelle, A.F., Harding, J.A., Case, K.: A model-driven ontology approach for manufacturing system interoperability and knowledge sharing. Comput. Ind. 64(4), 392\u2013401 (2013)","journal-title":"Comput. Ind."},{"issue":"8","key":"4_CR17","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1016\/j.compind.2013.07.006","volume":"64","author":"R Khadka","year":"2013","unstructured":"Khadka, R., Sapkota, B., Pires, L.F., van Sinderen, M., Jansen, S.: Model-driven approach to enterprise interoperability at the technical service level. Comput. Ind. 64(8), 951\u2013965 (2013)","journal-title":"Comput. Ind."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Franco, R.D., De Juan-Marn, R., Rodrguez-Merino, C., Martnez, J.L.: Colnet platform: Resilient collaborative networks through interoperability. In: Poler, R., Doumeingts, G., Katzy, B., Chalmeta, R. (eds.) Enterprise Interoperability V: Shaping Enterprise. Springer, London (2012)","DOI":"10.1007\/978-1-4471-2819-9_26"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Pessoa, R.M., Silva, E., van Sinderen, M., Quartel, D.A.C., Pires, L.F.: Enterprise interoperability with soa: a survey of service composition approaches. In: Enterprise Distributed Object Computing Conference Workshops. IEEE (2008)","DOI":"10.1109\/EDOCW.2008.32"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Wieczorek, S., Stefanescu, A.: Improving testing of enterprise systems by model-based testing on graphical user interfaces. In: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems. IEEE (2010)","DOI":"10.1109\/ECBS.2010.59"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Lee, Y.: Event-driven soa test framework based on bpa-simulation. In: First International Conference on Networked Digital Technologies (NDT 2009). IEEE (2009)","DOI":"10.1109\/NDT.2009.5272806"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Vieira, M., Leduc, J., Hasling, B., Subramanyan, R., Kazmeier, J.: Automation of gui testing using a model-driven approach. In: The 2006 International Workshop on Automation of Software Test. ACM (2006)","DOI":"10.1145\/1138929.1138932"},{"issue":"2\u20133","key":"4_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0166-3615(99)00074-3","volume":"42","author":"G Doumeingts","year":"2000","unstructured":"Doumeingts, G., Ducq, Y., Vallespir, B., Kleinhans, S.: Production management and enterprise modelling. Comput. Ind. 42(2\u20133), 245\u2013263 (2000)","journal-title":"Comput. Ind."},{"key":"4_CR24","unstructured":"Yaxiong, T., Zhen, X., Huibin, X.: Bpm exception monitoring based on process knowledge. In: Proceedings of IEEE Conference on Cybernetics and Intelligent Systems (CIS), IEEE Xplore Digital Library, Singapore, 28\u201330 June 2010"},{"key":"4_CR25","unstructured":"IBM: Websphere business modeler: Process cost analysis (2014)"},{"issue":"1","key":"4_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.accinf.2012.06.015","volume":"14","author":"M Jans","year":"2013","unstructured":"Jans, M., Alles, M., Vasarhelyi, M.: The case for process mining in auditing: sources of value added and areas of application. Int. J. Account. Inform. Syst. 14(1), 1\u201320 (2013)","journal-title":"Int. J. Account. Inform. Syst."},{"issue":"3","key":"4_CR27","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/j.dss.2011.11.003","volume":"52","author":"Y Liu","year":"2012","unstructured":"Liu, Y., Zhang, H., Li, C., Jianxin Jiao, R.: Workflow simulation for operational decision support using event graph through process mining. Decis. Support Syst. Ind. 52(3), 685\u2013697 (2012)","journal-title":"Decis. Support Syst. Ind."},{"issue":"2","key":"4_CR28","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0169-023X(03)00066-1","volume":"47","author":"W Aalst van der","year":"2003","unstructured":"van der Aalst, W., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G.W.A.: Workflow mining: a survey of issues and approaches. Data Knowl. Eng. 47(2), 237\u2013267 (2003)","journal-title":"Data Knowl. Eng."},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-16934-2_5","volume-title":"On the Move to Meaningful Internet Systems, OTM 2010","author":"WMP Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P.: Configurable services in the cloud: supporting variability while enabling cross-organizational process mining. In: Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6426, pp. 8\u201325. Springer, Heidelberg (2010)"},{"issue":"3","key":"4_CR30","doi-asserted-by":"publisher","first-page":"1280","DOI":"10.1016\/j.dss.2012.12.001","volume":"54","author":"Q Zeng","year":"2013","unstructured":"Zeng, Q., Sun, H.X., Duan, H., Liu, C., Wang, H.: Cross-organizational collaborative workflow mining from a multi-source log. Decis. Support Syst. 54(3), 1280\u20131301 (2013)","journal-title":"Decis. Support Syst."},{"issue":"5","key":"4_CR31","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1016\/j.is.2006.05.003","volume":"32","author":"WMP Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., Reijers, H.A., Weijters, A., van Dongen, B., Alves de Medeiros, A., Song, M., Verbeek, H.: Business process mining: an industrial application. Inf. Syst. 32(5), 713\u2013732 (2007)","journal-title":"Inf. Syst."},{"key":"4_CR32","volume-title":"Enterprise Interoperability VI: Interoperability for Agility, Resilience and Plasticity of Collaborations","author":"M Samba Camara","year":"2014","unstructured":"Samba Camara, M., Dupas, R., Ducq, Y., Man\u00e9, B.: Interoperability improvement in inter-enterprises collaboration: a software engineering approach. In: Mertins, K., B\u00e9naben, F., Poler, R., Bourri\u00e8res, J.-P. (eds.) Enterprise Interoperability VI: Interoperability for Agility, Resilience and Plasticity of Collaborations. Springer, Switzerland (2014)"},{"issue":"3","key":"4_CR33","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.compind.2003.10.001","volume":"53","author":"WMP Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, A.: Process mining: a research agenda. Comput. Ind. 53(3), 231\u2013244 (2004)","journal-title":"Comput. Ind."},{"issue":"3","key":"4_CR34","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.compind.2003.10.007","volume":"53","author":"D Grigori","year":"2004","unstructured":"Grigori, D., Casati, F., Castellanos, M., Dayal, U., Sayal, M., Shan, M.C.: Business process intelligence. Comput. Ind. 53(3), 321\u2013343 (2004)","journal-title":"Comput. Ind."},{"key":"4_CR35","unstructured":"Gunther, C.: Process Mining in Flexible Environments. Ph.D. thesis, Technische Universiteit Eindhoven, Eindhoven, The Netherlands (2009)"},{"key":"4_CR36","unstructured":"Muehlen, M.Z., Rosemann, M.: Workflow-based process monitoring and controlling-technical and organizational issues. In: Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, IEEE Xplore Digital Library, 4\u20137 Jan 2000"},{"key":"4_CR37","unstructured":"Business process intelligence. In: Handbook of Research on Business Process Modeling. IGI Global (2009)"},{"issue":"3","key":"4_CR38","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.is.2008.09.002","volume":"34","author":"A Rozinat","year":"2009","unstructured":"Rozinat, A., Mans, R., Song, M., van der Aalst, W.M.P.: Discovering simulation models. Inf. Syst. 34(3), 305\u2013327 (2009)","journal-title":"Inf. Syst."},{"key":"4_CR39","unstructured":"Hammer, M.: Beyond Reengineering. HarperBusiness (1996)"},{"key":"4_CR40","volume-title":"Reengineering the Corporation: A Manifesto for Business Revolution.","author":"M Hammer","year":"1993","unstructured":"Hammer, M., Champy, J.: Reengineering the Corporation: A Manifesto for Business Revolution. HarperBusiness, New York (1993)"},{"key":"4_CR41","unstructured":"OMG: Business process model and notation (bpmn). version 2.0 (2011)"},{"key":"4_CR42","volume-title":"Model Driven Architecture: Applying MDA to Enterprise Computing","author":"DS Frankel","year":"2003","unstructured":"Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, New York (2003)"},{"key":"4_CR43","unstructured":"ISO\/IEC\/IEEE: 29119-2-software and systems engineering. software testing (2013)"},{"key":"4_CR44","volume-title":"Enterprise Service Bus","author":"D Chappell","year":"2004","unstructured":"Chappell, D.: Enterprise Service Bus. O\u2019Reilly Media, New York (2004)"},{"key":"4_CR45","volume-title":"Programming\u00a0.NET Web Services","author":"A Ferrara","year":"2002","unstructured":"Ferrara, A., MacDonald, M.: Programming\u00a0.NET Web Services. O\u2019Reilly Media, Inc., USA (2002)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Interoperability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-47157-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T04:10:30Z","timestamp":1566706230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-47157-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662471562","9783662471579"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-47157-9_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}