{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:11:36Z","timestamp":1725851496230},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319311647"},{"type":"electronic","value":"9783319311654"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31165-4_4","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T12:22:45Z","timestamp":1458562965000},"page":"37-45","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies"],"prefix":"10.1007","author":[{"given":"Chen-Wei","family":"Yang","sequence":"first","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]},{"given":"Victor","family":"Dubinin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28554-7","volume-title":"Model-Driven Software Development","author":"S Beydeda","year":"2005","unstructured":"Beydeda, S., Book, M., Gruhn, V.: Model-Driven Software Development. Springer, Heidelberg (2005)"},{"issue":"11","key":"4_CR2","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/2.963443","volume":"34","author":"A Ledeczi","year":"2001","unstructured":"Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., et al.: Composing domain-specific design environments. Computer 34(11), 44\u201351 (2001)","journal-title":"Computer"},{"key":"4_CR3","unstructured":"W3C: Ontology Driven Architectures and Potential Uses of the Semantic Web in Systems and Software Engineering (2006)"},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"BC Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U.: OWL 2: the next step for OWL. Web Semant. 6(4), 309\u2013322 (2008)","journal-title":"Web Semant."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Dubinin, V., Vyatkin, V., Yang, C.-W., Pang, C.: Automatic generation of automation applications based on ontology transformations. In: 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp. 1\u20134 (2014)","DOI":"10.1109\/ETFA.2014.7005293"},{"key":"4_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55481-0","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"2003","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, Heidelberg (2003)"},{"issue":"3","key":"4_CR7","doi-asserted-by":"publisher","first-page":"1234","DOI":"10.1109\/TII.2013.2258165","volume":"9","author":"V Vyatkin","year":"2013","unstructured":"Vyatkin, V.: Software engineering in industrial automation: state-of-the-art review. IEEE Trans. Industr. Inf. 9(3), 1234\u20131249 (2013)","journal-title":"IEEE Trans. Industr. Inf."},{"key":"4_CR8","unstructured":"International Electrotechnical Commission: IEC 61499 Function Blocks, vol. IEC 61499, ed. (2005)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Zhabelova, G., Yang, C.-W., Patil, S., Pang, C., Yan, J., Shalyto, A., et al.: Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. In: 12th IEEE International Conference on Industrial Informatics (INDIN 2014), pp. 411\u2013417 (2014)","DOI":"10.1109\/INDIN.2014.6945548"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Dubinin, V., Vyatkin, V., Hanisch, H.M.: Modelling and verification of IEC 61499 applications using prolog. In: IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2006, pp. 774\u2013781 (2006)","DOI":"10.1109\/ETFA.2006.355449"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Dubinin, V., Vyatkin, V.: Graph transformation-based approach to the synthesis of formal models of IEC 61499 function blocks systems. In: Proceedings of the Institutes of Higher Education, Volga Region, Technical Sciences (2008)","DOI":"10.1155\/2008\/426713"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"2124","DOI":"10.1109\/TII.2012.2235450","volume":"9","author":"W Dai","year":"2013","unstructured":"Dai, W., Dubinin, V., Vyatkin, V.: Automatically generated layered ontological models for semantic analysis of component-based control systems. IEEE Trans. Industr. Inf. 9(4), 2124\u20132136 (2013)","journal-title":"IEEE Trans. Industr. Inf."},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1109\/TSMCC.2013.2264671","volume":"44","author":"W Dai","year":"2013","unstructured":"Dai, W., Dubinin, V.N., Vyatkin, V.: Migration from PLC to IEC 61499 using semantic web technologies. IEEE Trans. Syst. Man Cybern. 44(3), 277\u2013291 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"4_CR14","unstructured":"Almendros-Jim\u00e9nez, J., Iribarne, L.: ODM-based UML model transformations using prolog. In: Abell\u00f3, A., Bellatreche, L., Benatallah, B., (eds.) Model-Driven Engineering, Logic and Optimization: Friends or Foes? (2011)"},{"key":"4_CR15","unstructured":"AGG. http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"4_CR16","unstructured":"Thea: A Prolog library for OWL2. http:\/\/www.semanticweb.gr\/thea\/index.html"},{"issue":"2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/TASE.2008.2007216","volume":"7","author":"G Black","year":"2010","unstructured":"Black, G., Vyatkin, V.: Intelligent component-based automation of baggage handling systems with IEC 61499. IEEE Trans. Autom. Sci. Eng. 7(2), 337\u2013351 (2010)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Yan, J., Vyatkin, V.V.: Distributed execution and cyber-physical design of Baggage Handling automation with IEC 61499. In: 9th IEEE International Conference on Industrial Informatics (INDIN 2011), pp. 573\u2013578 (2011)","DOI":"10.1109\/INDIN.2011.6034942"},{"key":"4_CR19","unstructured":"Prot\u00e9g\u00e9. http:\/\/protege.stanford.edu"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. Presented at the Proceedings of the 12th International Conference on World Wide Web, Budapest, Hungary (2003)","DOI":"10.2139\/ssrn.460986"}],"container-title":["IFIP Advances in Information and Communication Technology","Technological Innovation for Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31165-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,17]],"date-time":"2023-08-17T08:44:28Z","timestamp":1692261868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31165-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319311647","9783319311654"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31165-4_4","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}