{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:35:48Z","timestamp":1775054148220,"version":"3.50.1"},"reference-count":28,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"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":["Program Comput Soft"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1134\/s0361768807050040","type":"journal-article","created":{"date-parts":[[2007,9,29]],"date-time":"2007-09-29T02:55:51Z","timestamp":1191034551000},"page":"283-292","source":"Crossref","is-referenced-by-count":1,"title":["Graphical inheritance notation for state-based classes"],"prefix":"10.1134","volume":"33","author":[{"given":"D. G.","family":"Shopyrin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Shalyto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"5004_CR1","doi-asserted-by":"crossref","unstructured":"Harel, D. and Pnueli, A., On the Development of Reactive Systems, Logic and Models of Concurrent Systems. Nato Advanced Study Institute on Logic and Models for Verification and Specification of Concurrent Systems, Springer, 1985, pp. 477\u2013498.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"5004_CR2","unstructured":"Shalyto, A.A. and Tukkel\u2019, N.I., From Turing Programming to Automaton Programming, Mir PK, 2002, no. 2, pp. 144\u2013149, http:\/\/is.ifmo.ru\/works\/turing\/."},{"key":"5004_CR3","doi-asserted-by":"crossref","unstructured":"Shalyto, A.A. and Tukkel\u2019, N.I., SWITCH-technology: An Automated Approach to Developing Software for Reactive Systems, Programmirovanie, 2001, no. 5, pp. 45\u201362 [Programming Comput. Software (Engl. Transl.), 2001, vol. 27, no. 5, pp. 260\u2013276].","DOI":"10.1023\/A:1012392927006"},{"key":"5004_CR4","first-page":"368","volume-title":"Methods of Objective-Oriented Projection. Design Pattems","author":"E. Gamma","year":"2001","unstructured":"Gamma, E., Khelm, R., Johnson, R., and Vlissides, J., Methods of Objective-Oriented Projection. Design Pattems, St. Petersburg: Piter, 2001, p. 368."},{"key":"5004_CR5","unstructured":"Adamczyk, P., The Anthology of the Finite State Machine Design Patterns, The 10th Conf. on Pattern Languages of Programs, 2003, http:\/\/hillside.net\/plop\/plop2003\/Papers\/Adamczyk-State-Machine.pdf."},{"key":"5004_CR6","unstructured":"Shalyto, A.A. and Naumov, L.A., Methods of Objective-Oriented Implementation of Reactive Agents on the Basis of the Finte Automata, Iskusstvennyi intellect, 2004, no. 4, pp. 756\u2013762, http:\/\/is.ifmo.ru\/works\/_aut_oop.pdf."},{"key":"5004_CR7","unstructured":"Adamczyk, P., Selected Patterns for Implementing Finite State Machines, The 11th Conf. on Pattern Languages of Programs, 2004, http:\/\/pinky.cs.uiuc.edu\/:_padamczy\/docs\/fsm_updated.pdf."},{"key":"5004_CR8","unstructured":"Odrowski, J. and Sogaard, P., Pattern Integration\u2014Variations of State, Proc. of PLoP96, http:\/\/www.cs.wustl.edu\/:_schmidt\/PLoP-96\/od-rowski.ps.gz."},{"key":"5004_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D., Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Program, 1987, vol. 8, pp. 231\u2013274.","journal-title":"Sci. Comput. Program"},{"key":"5004_CR10","unstructured":"Automata Studies, Princeton: Princeton Univ. Press, 1956."},{"key":"5004_CR11","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D. and Naamad, A., The Statemate Semantics of Statecharts, ACM Trans. Softw. Eng. Methodology, 1996, vol. 5, pp. 293\u2013333.","journal-title":"ACM Trans. Softw. Eng. Methodology"},{"key":"5004_CR12","doi-asserted-by":"crossref","unstructured":"Mikk, E., Lakhnech, Y., Petersohn, C., and Siegel, M., On Formal Semantics of Statecharts as Supported by STATEMATE, Proc. of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, 1997.","DOI":"10.14236\/ewic\/FA1997.12"},{"key":"5004_CR13","unstructured":"Specification and Description Language (SDL), Int. Engineering Consortium, http:\/\/www.iec.org\/acrobat.asp?filecode=125."},{"issue":"1","key":"5004_CR14","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., The Synchronous Languages 12 Years Later, Proc. of the IEEE, 2003, vol. 91, no. 1, pp. 64\u201383. http:\/\/www-sop.inria.fr\/aoste\/benveniste2003synchro nous.pdf.","journal-title":"Proc. of the IEEE"},{"key":"5004_CR15","unstructured":"Andr\u00e9, C., SyncCharts: A Visual Representation of Reactive Behaviors, Tech. Report RR 95-52. I3S, Sophia-Antipolis, 1995."},{"key":"5004_CR16","unstructured":"Shalyto, A.A. and Tukkel\u2019, N.I., Tanks and Automata, BYTE, Russia, 2003, no. 2, pp. 69\u201373, http:\/\/is.ifmo.ru\/works\/tanks_new\/."},{"key":"5004_CR17","first-page":"628","volume-title":"Algoritmizatsiya i programmirovanie zadach logicheskogo upravleniya","author":"A.A. Shalyto","year":"1998","unstructured":"Shalyto, A.A., SWITCH-technology, Algoritmizatsiya i programmirovanie zadach logicheskogo upravleniya (Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998, no. 1, p. 628."},{"key":"5004_CR18","doi-asserted-by":"crossref","unstructured":"Danforth, S. and Tomlinson, C., Type Theories and Object-Oriented Programming, ACM Comput. Surv., 1988, no. 1, pp. 29\u201372.","DOI":"10.1145\/62058.62060"},{"key":"5004_CR19","unstructured":"Sane, A. and Campbell, R., Object-Oriented State Machines: Subclassing, Composition, Delegation, and Genericity, OOPSLA\u201995, http:\/\/choices.cs.uiuc.edu\/sane\/home.html."},{"key":"5004_CR20","doi-asserted-by":"crossref","unstructured":"Lee, J., Xue, N., and Kuei, T., A Note on State Modeling Through Inheritance, SIGSOFT Softw. Eng. Notes, 1998, no. 1, pp. 104\u2013110.","DOI":"10.1145\/272263.272361"},{"key":"5004_CR21","doi-asserted-by":"crossref","unstructured":"Taivalsaari, A., On the Notion of Inheritance, ACM Comput. Surv., 1996, no. 3, pp. 438\u2013479.","DOI":"10.1145\/243439.243441"},{"key":"5004_CR22","doi-asserted-by":"crossref","unstructured":"Bracha, G. and Cook, W., Mixin-based Inheritance, OOPSLA\/ECOOP\u201990, Conf. Proc., ACM SIGPLAN Not., 1990, no. 10, pp. 303\u2013311.","DOI":"10.1145\/97945.97982"},{"key":"5004_CR23","doi-asserted-by":"crossref","unstructured":"Wegner, P. and Zdonik, S., Inheritance As an Incremental Modification Mechanism or What Like Is and Isn\u2019t Like, ECOOP\u201988 Conf. Proc., Springer, 1988, pp. 55\u201377.","DOI":"10.1007\/3-540-45910-3_4"},{"key":"5004_CR24","unstructured":"Shalyto, A.A. and Tukkel\u2019, N.I., Implementation of Automata in Programming of Event Systems, Programmist, 2002, no. 4, pp. 74\u201380, http:\/\/is.ifmo.ru\/works\/evsys\/."},{"key":"5004_CR25","first-page":"432","volume-title":"UML. Rukovodstvo pol\u2019zovatelya","author":"G. Buch","year":"2000","unstructured":"Buch, G., Rambo, J., and Jacobson, A., UML. Rukovodstvo pol\u2019zovatelya (UML. Guidance for a User), Moscow: DMK, 2000, p. 432."},{"key":"5004_CR26","unstructured":"Zayakin, E.A. and Shalyto, A.A., Method of Elimination of Repeated Code Fragments in Implementation of Finite Automata, Mir PK (CD), 2005, no. 8, http:\/\/is.ifmo.ru\/projects\/life_app\/."},{"key":"5004_CR27","unstructured":"Shopyrin, D.G., Objective-Oriented Implementation of Finite Automata on the Basis of Virtual Methods, Informatsionno-upravlyayushchie sistemy, 2005, no. 3, pp. 36\u201340, http:\/\/is.ifmo.ru\/works\/runewstate\/."},{"key":"5004_CR28","unstructured":"Shopyrin, D.G., A Method of Design and Implementation of Finite Automata on the Basis of Virtual Embedded Classes, Informatsionnye tekhnologii modelirovaniya i upravleniya, 2005, no. 1, pp. 87\u201397, http:\/\/is.ifmo.ru\/works\/ruvstate\/."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050040.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807050040","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050040.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:16:18Z","timestamp":1775013378000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807050040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["5004"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807050040","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}