{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:01:22Z","timestamp":1725739282443},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396106"},{"type":"electronic","value":"9783642396113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39611-3_19","type":"book-chapter","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T18:33:07Z","timestamp":1372876387000},"page":"178-192","source":"Crossref","is-referenced-by-count":1,"title":["A New Test-Generation Methodology for System-Level Verification of Production Processes"],"prefix":"10.1007","author":[{"given":"Allon","family":"Adir","sequence":"first","affiliation":[]},{"given":"Alex","family":"Goryachev","sequence":"additional","affiliation":[]},{"given":"Lev","family":"Greenberg","sequence":"additional","affiliation":[]},{"given":"Tamer","family":"Salman","sequence":"additional","affiliation":[]},{"given":"Gil","family":"Shurek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1016\/j.cirp.2010.05.010","volume":"59","author":"R. Teti","year":"2010","unstructured":"Teti, R., Jemielniak, K., O\u2019Donnell, G., Dornfeld, D.: Advanced monitoring of machining operations. CIRP Annals - Manufacturing Technology\u00a059, 717\u2013739 (2010)","journal-title":"CIRP Annals - Manufacturing Technology"},{"key":"19_CR2","unstructured":"MuProD, \n                  \n                    http:\/\/www.muprod.eu\/"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"K\u00f6hler, H., Nickel, U., Niere, J., Z\u00fcndorf, A.: Integrating UML Diagrams in Production Control Systems. In: International Conference on Software Engineering, pp. 241\u2013251 (2000)","DOI":"10.1145\/337180.337207"},{"key":"19_CR4","unstructured":"Rother, M., Shook, J.: Learning to See: Value-Stream Mapping to Create Value and Eliminate MUDA, Lean Enterprise Inst., Version 1.3, Cambridge, Mass. (2003)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA Environment. In: International Conference on Software Engineering, pp. 742\u2013745 (2000)","DOI":"10.1145\/337180.337620"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Specht, T., Drawehn, J., Thr\u00e4nert, M., K\u00fchne, S.: Modeling Cooperative Business Processes and Transformation to a Service Oriented Architecture. In: 7th IEEE International Conference on ECommerce Technology, pp. 249\u2013256 (2005)","DOI":"10.1109\/ICECT.2005.60"},{"key":"19_CR7","unstructured":"Wen-xian, T., Yuan-yuan, X.: A Production Process Mixed Modeling for Marine Diesel Engine Based on IDEF0 and Petri Net. In: International Symposium on Information Science and Engineering, ISISE 2008, vol.\u00a02, pp. 773\u2013777 (2008)"},{"key":"19_CR8","unstructured":"Zor, S., G\u00f6rlach, K., Leymann, F.: Using Modeling Manufacturing Processes. In: Sihn, W., Kuhlang, P. (eds.) Sustainable Production and Logistics in Global Networks - Proceedings of 43rd CIRP International Conference on Manufacturing Systems, pp. 515\u2013522 (2010)"},{"key":"19_CR9","unstructured":"Campagna, D., Formisano, A.: ProdProc - Product and Production Process Modeling and Configuration. In: 26th Italian Conference on Computational Logic, pp. 261\u2013279 (2011)"},{"key":"19_CR10","unstructured":"Organization for the Advancement of Structured Information Standards (OASIS), Web Services Business Process Execution Language Version 2.0 - OASIS Standard (2007)"},{"key":"19_CR11","unstructured":"Colledani, M., Terkaj, W., Tolio, T.: Product-Process-System Information Formalization. In: Tolio, T. (ed.) Design of Flexible Production Systems: Methodologies and Tools. Springer (2009)"},{"key":"19_CR12","unstructured":"Aharon, A., Lichtenstein, Y., Malka, Y.: Model-Based Test Generator for Processor Design Verification. In: Innovative Applications of Artificial Intelligence (IAAI) (1994)"},{"key":"19_CR13","unstructured":"Emek, R., Jaeger, I., Naveh, Y., Bergman, G., Aloni, G., Katz, Y., Farkash, M., Dozoretz, I., Goldin, A.: X-Gen: A Random Test-Case Generator for Systems and SoCs. In: 7th IEEE International High-Level Design Validation and Test Workshop (HLDVT), pp. 145\u2013150 (2002)"},{"key":"19_CR14","unstructured":"DANSE, \n                  \n                    http:\/\/danse-ip.eu\/home"},{"key":"19_CR15","unstructured":"http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"19_CR16","unstructured":"http:\/\/www.omg.org\/spec\/SysML\/1.3\/"},{"key":"19_CR17","unstructured":"Bin, E., Ghanayim, A., Holtz, K., Marcus, E., Morad, R., Peled, O., Rimon, M., Shurek, G., Tsanko, E.: Ontology-Based Tools in the Service of Hardware Verification. In: 22nd International Conference on Software Engineering & Knowledge Engineering, pp. 303\u2013308. Knowledge Systems Institute Graduate School (2010)"},{"key":"19_CR18","unstructured":"Brahme, D.S., Cox, S., Gallo, J., Glasser, M., Grundmann, W., Norris Ip, C., Paulsen, W., Pierce, J.L., Rose, J., Shea, D., Whiting, K.: The Transaction-Based Verification Methodology. Cadence Berkeley Labs (2000)"},{"issue":"3","key":"19_CR19","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1147\/sj.413.0386","volume":"41","author":"E. Bin","year":"2002","unstructured":"Bin, E., Emek, R., Shurek, G., Ziv, A.: Using constraint satisfaction formulations and solution techniques for random test program generation. IBM Systems Journal\u00a041(3), 386\u2013402 (2002)","journal-title":"IBM Systems Journal"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. Mackworth","year":"1977","unstructured":"Mackworth, A.: Consistency in Networks of Relations. Artificial Intelligence\u00a08(1), 99\u2013118 (1977)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39611-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T06:04:40Z","timestamp":1557900280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39611-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396106","9783642396113"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39611-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}