{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:29Z","timestamp":1742914229176,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331695"},{"type":"electronic","value":"9783642331701"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-33170-1_6","type":"book-chapter","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T08:56:29Z","timestamp":1373360189000},"page":"63-79","source":"Crossref","is-referenced-by-count":0,"title":["Business Information Sector"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Wieczorek","sequence":"first","affiliation":[]},{"given":"Vitaly","family":"Kozyura","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Roth","sequence":"additional","affiliation":[]},{"given":"Alin","family":"Stefanescu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-642-15898-8_3","volume-title":"FMICS","author":"J. Bryans","year":"2010","unstructured":"Bryans, J., Wei, W.: Formal analysis of BPMN models using Event-B. In: Kowalewski, S., Roveri, M. (eds.) FMICS. Lecture Notes in Computer Science, vol. 6371, pp. 33\u201349. Springer, Berlin (2010)"},{"key":"6_CR2","first-page":"68","volume-title":"ICECCS","author":"J. Bryans","year":"2009","unstructured":"Bryans, J., Fitzgerald, J., Romanovsky, A., Roth, A.: Formal modelling and analysis of business information applications with fault tolerant middleware. In: ICECCS, pp. 68\u201377. IEEE Comput. Soc., Los Alamitos (2009)"},{"key":"6_CR3","first-page":"105","volume-title":"ICECCS","author":"J. Bryans","year":"2010","unstructured":"Bryans, J., Fitzgerald, J., Romanovsky, A., Roth, A.: Patterns for modelling time and consistency in business information systems. In: Calinescu, R., Paige, R.F., Kwiatkowska, M.Z. (eds.) ICECCS, pp. 105\u2013114. IEEE Comput. Soc., Los Alamitos (2010)"},{"key":"6_CR4","series-title":"Electronic Communications of the EASST","volume-title":"Automated Verification of Critical Systems AVOCS-2011","author":"T.-S. Hoang","year":"2012","unstructured":"Hoang, T.-S., Iliasov, A., Silva, R., Wei, W.: A survey on Event-B decomposition. In: Automated Verification of Critical Systems AVOCS-2011. Electronic Communications of the EASST, vol. 46 (2012)"},{"key":"6_CR5","unstructured":"Kozyura, V., Roth, A.: Generation of gluing invariants for checking local enforceability of message choreographies. In: Jastram, M., Laibinis, L., L\u00f6sch, F., Mazzara, M. (eds.) Proceedings of DEPLOY Technical Workshop 2009. Newcastle University, Technical Report (2009)"},{"key":"6_CR6","volume-title":"Proceedings of 4th South-East European Workshop on Formal Methods (SEEFM)","author":"V. Kozyura","year":"2009","unstructured":"Kozyura, V., Roth, A., Wei, W.: Local enforceability and inconsumable messages in choreography models. In: Proceedings of 4th South-East European Workshop on Formal Methods (SEEFM). IEEE Comput. Soc., Los Alamitos (2009)"},{"key":"6_CR7","unstructured":"Kozyura, V., Roth, A., Wieczorek, S., Wei, W.: Checking consistency between message choreographies and their implementation models. Electronic Communications of the EASST, vol.\u00a035 (2010)"},{"key":"6_CR8","unstructured":"R\u00f6der, J.: Relevance filters for Event-B. Master\u2019s thesis, ETH, Z\u00fcrich (2010)"},{"key":"6_CR9","unstructured":"Roth, A., Wieczorek, S., Kozyura, V., Wei, W., Wieczorek, S.: DEPLOY Deliverable D4.1: Report on pilot deployment in business information sector. Technical report, FP7-DEPLOY project EU (2010). http:\/\/www.deploy-project.eu\/"},{"key":"6_CR10","unstructured":"Schur, M.: User interaction in formal verification of service choreography models. Master\u2019s thesis, Hochschule Karlsruhe Technik und Wirtschaft (2009)"},{"key":"6_CR11","first-page":"352","volume-title":"ECBS","author":"S. Wieczorek","year":"2010","unstructured":"Wieczorek, S., Stefanescu, A.: Improving testing of enterprise systems by model-based testing on graphical user interfaces. In: Sterritt, R., Eames, B., Sprinkle, J. (eds.) ECBS, pp. 352\u2013357. IEEE Comput. Soc., Los Alamitos (2010)"},{"key":"6_CR12","first-page":"306","volume-title":"ICIT12","author":"S. Wieczorek","year":"2012","unstructured":"Wieczorek, S., Kozyura, V., Schur, M., Roth, A.: Practical model-based testing of user scenarios. In: ICIT12, pp. 306\u2013311. IEEE Comput. Soc., Los Alamitos (2012)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-642-05031-2_12","volume-title":"TestCom\/FATES","author":"S. Wieczorek","year":"2009","unstructured":"Wieczorek, S., Kozyura, V., Roth, A., Leuschel, M., Bendisposto, J., Plagge, D., Schieferdecker, I.: Applying model checking to generate model-based integration tests from choreography models. In: N\u00fa\u00f1ez, M., Baker, P., Merayo, M.G. (eds.) TestCom\/FATES. Lecture Notes in Computer Science, vol. 5826, pp. 179\u2013194. Springer, Berlin (2009)"},{"key":"6_CR14","unstructured":"Wieczorek, S., Kozyura, V., Wei, W., Roth, A.: DEPLOY Deliverable D4.2: Report on enhanced deployment in business information sector. Technical report, FP7-DEPLOY project EU (2011). http:\/\/www.deploy-project.eu\/"},{"key":"6_CR15","first-page":"11","volume-title":"WICSA\/ECSA","author":"S. Wieczorek","year":"2009","unstructured":"Wieczorek, S., Roth, A., Stefanescu, A., Kozyura, V., Charfi, A., Kraft, F.M., Schieferdecker, I.: Viewpoints for modeling choreographies in service-oriented architectures. In: WICSA\/ECSA, pp. 11\u201320. IEEE Comput. Soc., Los Alamitos (2009)"},{"key":"6_CR16","first-page":"292","volume-title":"QUATIC\u201910","author":"S. Wieczorek","year":"2010","unstructured":"Wieczorek, S., Stefanescu, A., Roth, A.: Model-driven service integration testing\u2014a case study. In: QUATIC\u201910, pp. 292\u2013297. IEEE Comput. Soc., Los Alamitos (2010)"}],"container-title":["Industrial Deployment of System Engineering Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33170-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T12:23:26Z","timestamp":1676809406000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-33170-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642331695","9783642331701"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33170-1_6","relation":{},"subject":[],"published":{"date-parts":[[2013]]}}}