{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T05:08:08Z","timestamp":1747976888294,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662468227"},{"type":"electronic","value":"9783662468234"}],"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"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46823-4_7","type":"book-chapter","created":{"date-parts":[[2015,4,18]],"date-time":"2015-04-18T01:40:54Z","timestamp":1429321254000},"page":"76-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM"],"prefix":"10.1007","author":[{"given":"Sandeep","family":"Patil","sequence":"first","affiliation":[]},{"given":"Victor","family":"Dubinin","sequence":"additional","affiliation":[]},{"given":"Cheng","family":"Pang","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,19]]},"reference":[{"key":"7_CR1","unstructured":"International Standard IEC 61499 Function blocks\u2014Part 1: Architecture, IEC Standard 61499-1 (2012)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1109\/TII.2011.2166785","volume":"7","author":"V Vyatkin","year":"2011","unstructured":"Vyatkin, V.: IEC 61499 as enabler of distributed and intelligent automation: state-of-the-art review. IEEE Trans. Indus. Inf. 7, 768\u2013781 (2011)","journal-title":"IEEE Trans. Indus. Inf."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MIE.2009.934796","volume":"3","author":"V Vyatkin","year":"2009","unstructured":"Vyatkin, V.: The IEC 61499 standard and its semantics. Indus. Electron. Mag. IEEE 3, 40\u201348 (2009)","journal-title":"Indus. Electron. Mag. IEEE"},{"key":"7_CR4","unstructured":"Patil, S., Dubinin, V., Vyatkin, V.: Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV: the Cyclic Semantics Case (2014). https:\/\/pure.ltu.se\/portal\/en\/publications\/formal-modelling-and-verification-of-iec61499-function-blocks-with-abstract-state-machines-and-smv-the-cyclic-semantics-case%28a703dd4b-cd09-41ea-af45-67d8889852fe%29.html"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/TII.2010.2040393","volume":"6","author":"G Cengic","year":"2010","unstructured":"Cengic, G., Akesson, K.: On formal analysis of IEC 61499 applications, part B: Execution semantics. IEEE Trans. Indus. Inf. 6, 145\u2013154 (2010)","journal-title":"IEEE Trans. Indus. Inf."},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1109\/TII.2010.2040392","volume":"6","author":"G Cengic","year":"2010","unstructured":"Cengic, G., Akesson, K.: On formal analysis of IEC 61499 applications, part A: modeling. IEEE Trans. Indus. Inf. 6, 136\u2013144 (2010)","journal-title":"IEEE Trans. Indus. Inf."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2008\/426713","volume":"2008","author":"V Dubinin","year":"2008","unstructured":"Dubinin, V., Vyatkin, V.: On definition of a formal model for IEC 61499 function blocks. EURASIP J. Embedded Syst. 2008, 1\u201310 (2008)","journal-title":"EURASIP J. Embedded Syst."},{"key":"7_CR8","unstructured":"ICS Triplex ISaGRAF Workbench for IEC 61499\/61131, v6. http:\/\/www.icstriplex.com\/"},{"key":"7_CR9","unstructured":"Gurevich, Y.: Logic and the challenge of computer science. In: Current Trends in Theoretical Computer Science, pp. 1\u201357 (1988)"},{"key":"7_CR10","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Inc. (1995)"},{"key":"7_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"RF Stark","year":"2001","unstructured":"Stark, R.F., Borger, E., Schmid, J.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.tcs.2004.11.008","volume":"336","author":"E B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E., et al.: A high-level modular definition of the semantics of C#. Theor. Comput. Sci. 336, 235\u2013284 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Gl\u00e4sser, U., Muller, W.: A formal definition of an abstract VHDL 1993 simulator by EA-machines. In: Kloos, C., Breuer, P. (eds.) Formal Semantics for VHDL, vol. 307, pp. 107\u2013139. Springer US, New York (1995)","DOI":"10.1007\/978-1-4615-2237-9_5"},{"key":"7_CR14","unstructured":"Gl\u00e4sser, U., Gurevich, Y., Veanes, : An abstract communication model. Technical Report MSR-TR-2002-55, Microsoft Research2002"},{"key":"7_CR15","unstructured":"Gl\u00e4sser, U., Gurevich, Y., Veanes, M.: High-Level Executable Specification of the Universal Plug and Play Architecture. In: Presented at the HICSS 2002"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0167-6423(95)00006-E","volume":"24","author":"E B\u00f6rger","year":"1995","unstructured":"B\u00f6rger, E., Rosenzweig, D.: A mathematical definition of full Prolog. Sci. Comput. Programm. 24, 249\u2013286 (1995)","journal-title":"Sci. Comput. Programm."},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/BFb0049341","volume-title":"Computer Science Logic","author":"Y Gurevich","year":"1994","unstructured":"Gurevich, Y., Huggins, J.: The semantics of the C programming language. In: Meinke, K., B\u00f6rger, E., Gurevich, Y. (eds.) CSL 1993. LNCS, vol. 832, pp. 334\u2013336. Springer, Heidelberg (1994)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/3-540-48737-9_10","volume-title":"Formal Syntax and Semantics of Java","author":"E B\u00f6rger","year":"1999","unstructured":"B\u00f6rger, E., Schulte, W.: A programmer friendly modular definition of the semantics of java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol. 1523, pp. 353\u2013404. Springer, Heidelberg (1999)"},{"key":"7_CR19","unstructured":"Hanisch, H.-M., et al.: One decade of IEC 61499 modeling and verification-results and open issues. In: 13th IFAC Symposium on Information Control Problems in Manufacturing, V.A. Trapeznikov Institute of Control Sciences, Russia (2009)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Bonfe, M., Fantuzzi, C.: Design and verification of mechatronic object-oriented models for industrial control systems. In: ETFA 2003, IEEE Conference on Emerging Technologies and Factory Automation, vol. 2, pp. 253\u2013260 (2003)","DOI":"10.1109\/ETFA.2003.1248708"},{"key":"7_CR21","unstructured":"Dimitrova, D., Frey, G., Bachkova, I.: Formal approach for modeling and verification of IEC 61499 function blocks. In: Advanced Manufacturing Technologies (AMTECH 2005), Russe, Bulgaria, pp. 731\u2013736 (2005)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Vyatkin, V., Hanisch, H.M.: A modeling approach for verification of IEC1499 function blocks using net condition\/event systems. In: 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation, 1999, Proceedings, ETFA 1999, vol. 1, pp. 261\u2013270 (1999)","DOI":"10.1109\/ETFA.1999.815365"},{"key":"7_CR23","unstructured":"Dubinin, V., et al.: Analysis of extended net condition\/event systems on the basis of model checking. In: Presented at the Proceedings of International Conference on New Information Technologies and Systems (NITS 2010), vol. 2, pp.20\u201348. Penza (2010) (Originally published in Russian)"},{"key":"7_CR24","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":"7_CR25","doi-asserted-by":"crossref","unstructured":"Schnakenbourg, C., Faure, J.M., Lesage, J.J.: Towards IEC 61499 function blocks diagrams verification. In: 2002 IEEE International Conference on Systems, Man and Cybernetics, vol. 3, p. 6 (2002)","DOI":"10.1109\/ICSMC.2002.1176038"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Junbeom, Y., Sungdeok, C., Eunkyung, J.: A verification framework for FBD based software in nuclear power plants. In: 15th Asia-Pacific Software Engineering Conference, APSEC 2008, pp. 385\u2013392 (2008)","DOI":"10.1109\/APSEC.2008.26"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/TII.2012.2186820","volume":"8","author":"VN Dubinin","year":"2012","unstructured":"Dubinin, V.N., Vyatkin, V.: Semantics-robust design patterns for IEC 61499. IEEE Trans. Indus. Inf. 8, 279\u2013290 (2012)","journal-title":"IEEE Trans. Indus. Inf."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Pang, C., et al.: A portability study of IEC 61499: Semantics and Tools. In: 12th IEEE Conference on Industrial Informatics (INDIN 2014), pp. 440\u2013445. Porto Alegre, Brazil (2014)","DOI":"10.1109\/INDIN.2014.6945553"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46823-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T18:24:14Z","timestamp":1747938254000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-46823-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662468227","9783662468234"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46823-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"19 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}