{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:04:02Z","timestamp":1775012642578,"version":"3.50.1"},"reference-count":47,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,11,1]],"date-time":"2007-11-01T00:00:00Z","timestamp":1193875200000},"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,11]]},"DOI":"10.1134\/s0361768807060059","type":"journal-article","created":{"date-parts":[[2007,11,26]],"date-time":"2007-11-26T04:37:22Z","timestamp":1196051842000},"page":"343-355","source":"Crossref","is-referenced-by-count":13,"title":["Tools for support of automata-based programming"],"prefix":"10.1134","volume":"33","author":[{"given":"V. S.","family":"Gurov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. A.","family":"Mazin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. S.","family":"Narvsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Shalyto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"6005_CR1","unstructured":"Sommerville, I., Software Engineering, Pearson Education, 2001, 6th ed."},{"key":"6005_CR2","unstructured":"Kuznetsov, S., UML 2.0: Promises and Disappointments, Otkrytye systemy, 2006, no. 2, pp. 75\u201379."},{"key":"6005_CR3","unstructured":"1st European Conf. on Model-Driven Software Engineering, Germany, 2003, http:\/\/www.agedis.de\/conference."},{"key":"6005_CR4","unstructured":"Int. Workshop \u201ce-Business and Model Based in System Design\u201d, IBM EE\/A. SPb.: SPb ETU, 2004."},{"key":"6005_CR5","unstructured":"OMG Model Driven Architecture, http:\/\/www.omg.org\/mda."},{"key":"6005_CR6","unstructured":"Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language Reference Manual, Addison-Wesley, 1998."},{"key":"6005_CR7","unstructured":"Mellor, S. and Balcer, M., Executable UML: A Foundation for Model Driven Architecture, Addison-Wesley, 2002."},{"key":"6005_CR8","unstructured":"Raistrick, C., Francis, P., and Wright, J., Model Driven Architecture with Executable UML, Cambridge University Press, 2004."},{"key":"6005_CR9","unstructured":"Graham, I., Object-Oriented Methods: Principles and Practice, Addison-Wesley, 2000, 3d ed."},{"key":"6005_CR10","unstructured":"Wikipedia, Finite state machine. Tools, http:\/\/en.wikipedia.org\/wiki\/Finite_automaton#Tools."},{"key":"6005_CR11","unstructured":"Sun Studio Enterprise, http:\/\/developers.sun.com\/prodtech\/javatools\/jsenterprise\/reference\/techart\/whatis.html."},{"key":"6005_CR12","unstructured":"Jacobson, I., Four Macro Trends in Software Development Y2004, http:\/\/www.ivarjacobson.com\/postnuke\/html\/modules.php?op=modload&name=UpDownload&file=index&req=getit&lid=9."},{"key":"6005_CR13","unstructured":"Jacobson, I., Booch, G., and Rumbaugh, J., The Unified Software Development Process, Addison-Wesley, 1999."},{"key":"6005_CR14","unstructured":"Novikov, F., Visual Program Design, Informatsionnoupravlyayushchie systemy, 2005, no. 6, pp. 9\u201322, http:\/\/is.ifmo.ru\/works\/visualcons."},{"key":"6005_CR15","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":"6005_CR16","unstructured":"I-Logix Statemate, http:\/\/ilogix.com\/sublevel.aspx?id=74."},{"key":"6005_CR17","unstructured":"XJTek AnyState, http:\/\/www.xjtek.com\/anystates."},{"key":"6005_CR18","unstructured":"StateSoft ViewControl, http:\/\/www.statesoft.ie\/products.html."},{"key":"6005_CR19","unstructured":"SCOPE, http:\/\/www.itu.dk\/:_wasowski\/projects\/scope."},{"key":"6005_CR20","unstructured":"IAR Systems visualSTATE, http:\/\/www.iar.com\/p1014\/p1014_eng.php."},{"key":"6005_CR21","unstructured":"The State Machine Compiler, http:\/\/smc.sourceforge.net."},{"key":"6005_CR22","unstructured":"Jia X. et al., Using ZOOM Approach to Support MDD, http:\/\/se.cs.depaul.edu\/ise\/zoom\/papers\/zoom\/SERP_ZOOM.pdf."},{"key":"6005_CR23","doi-asserted-by":"crossref","unstructured":"Riehle, D., Fraleigh, S., Bucka-Lassen, D., and Omorogbe, N., The Architecture of a UML Virtual Machine, Proc. of the 2001 Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA\u201901), ACM 2001.","DOI":"10.1145\/504282.504306"},{"key":"6005_CR24","unstructured":"Matilda UML Virtual Machine, http:\/\/dssg.cs.umb.edu\/projects\/umlvm."},{"key":"6005_CR25","unstructured":"Kennedy Carter iUML, http:\/\/www.kc.com\/products\/iuml\/index.html."},{"key":"6005_CR26","unstructured":"Telelogic TAU G2, http:\/\/telelogic.com\/corp\/products\/tau\/g2\/index.cfm."},{"key":"6005_CR27","volume-title":"SWITCH-tekhnologiya. Algorithmizatsiya i programmirovanie zadach logicheskogo upravleniya","author":"A.A. Shalyto","year":"1998","unstructured":"Shalyto, A.A., SWITCH-tekhnologiya. Algorithmizatsiya i programmirovanie zadach logicheskogo upravleniya (SWITCH-Technology: Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998, http:\/\/is.ifmo.ru\/books\/switch\/1."},{"key":"6005_CR28","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":"6005_CR29","unstructured":"Shalyto, A.A. and Tukkel\u2019, N.I., Tanks and Automata, BYTE, Russia, 2003, no. 2, pp. 69\u201373, http:\/\/s.ifmo.ru\/works\/tanks_new."},{"key":"6005_CR30","unstructured":"MetaObject Facility Core Specification Version 2.0. http:\/\/www.omg.org\/technology\/documents\/formal\/MOF_Core.htm."},{"key":"6005_CR31","unstructured":"Gomaa, H., Designing Concurrent, Distributed, and Real-Time Applications with UML, Addison-Wesley, 2000."},{"key":"6005_CR32","unstructured":"Gurov, V.S., Mazin, M.A., and Shalyto, A.A., Operational Semantics of UML State Diagrams in the UniMod Software Package, Trudy XII Vserossiiskoi nauchnometodicheskoi konferentsii \u201cTelematika-2005\u201d (Proc. of the XII All-Russian Scientific Conference), St. Petersburg: SpbGU ITMO, vol. 1, pp. 74\u201376. http:\/\/tm.ifmo.ru\/tm2005\/scr\/224as.pdf."},{"key":"6005_CR33","unstructured":"Velocity\u2014Java-based template engine, http:\/\/jakarta.apache.org\/velocity\/index.html."},{"key":"6005_CR34","unstructured":"Fowler, M., Brant, J., Opdyke, W., and Roberts, D., Refactoring: Improving the Design of Existing Code, Addison-Wesley, 2000."},{"issue":"11","key":"6005_CR35","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1002\/spe.4380211102","volume":"21","author":"T.M.J. Fruchterman","year":"1991","unstructured":"Fruchterman, T.M.J. and Reingold, E.M., Graph Drawing by Force Directed Placemen, Software\u2014Practice and Experience, 1991, vol. 21, no. 11, pp. 1129\u20131164.","journal-title":"Software\u2014Practice and Experience"},{"key":"6005_CR36","unstructured":"Shalyto, A.A., A New Initiative in Programming: The Demand for Open Project Documentation, PC Week\/RE, 2003, no. 40, pp. 38\u201342, http:\/\/is.ifmo.ru\/works\/open_doc."},{"key":"6005_CR37","unstructured":"Clarke, E., Grumberg, O., and Peled, D., Model Checking, MIT, 2000."},{"key":"6005_CR38","volume-title":"Structured Programming","author":"E.W. Dijkstra","year":"1972","unstructured":"Dijkstra, E.W., Notes on Structured Programming, Structured Programming, Dahl, O.-J., Dijkstra, E.W., and Hoare, C.A.R., Eds., London: Academic, 1972."},{"key":"6005_CR39","unstructured":"Meyer, B., Object Oriented Software Construction, Prentice-Hall, 1997."},{"key":"6005_CR40","unstructured":"Borland Together, http:\/\/www.borland.com\/us\/ products\/together\/index.html."},{"key":"6005_CR41","doi-asserted-by":"crossref","unstructured":"Gorshkova, E.A. and Novikov, B.A., Use of Statechart Diagrams for Modeling Hypertext, Programmirovanie, 2004, no. 1, pp. 64\u201380 [Programming Comput. Software (Engl. Transl.), 2004, vol. 30, no. 1, pp. 47\u201351].","DOI":"10.1023\/B:PACS.0000013440.01398.c6"},{"key":"6005_CR42","doi-asserted-by":"crossref","unstructured":"Gorshkova, E.A., Novikov, B.A., Belov, D.D., Gurov, V.S., and Spiridonov, S.V., A UML-Based Modeling of Web Application Controller, Programmirovanie, 2005, no. 1, pp. 44\u201351 [Programming Comput. Software (Engl. Transl.), 2005, vol. 31, no. 1, pp. 29\u201333].","DOI":"10.1007\/s11086-005-0010-z"},{"key":"6005_CR43","unstructured":"Eckel, B., Thinking in Java, Prentice-Hall, 2002."},{"key":"6005_CR44","unstructured":"Parashchenko, D.A., Tsarev, F.N., and Shalyto, A.A., Modeling Technology Based on Automata-based programming for One Class of Multiagent Systems on the Example of Game \u201cCompetition of Flying Saucers,\u201d http:\/\/is.ifmo.ru (UniMod Projects Section)."},{"key":"6005_CR45","unstructured":"Shalyto, A.A., Two Meetings with I. Jacobson, http:\/\/is.ifmo.ru\/aboutus\/uml_ph, http:\/\/is.ifmo.ru\/belletristic\/jacobson."},{"key":"6005_CR46","unstructured":"Gurov, V., Narvsky, A., and Shalyto, A., Executable UML from Russia, PC Week\/RE, 2005, no. 26, pp. 18\u201319, http:\/\/is.ifmo.ru\/works\/_umlrus.pdf."},{"key":"6005_CR47","unstructured":"Regan, P. and Hamilton, S., NASA\u2019s Mission Reliable, 24\u201332, http:\/\/www.osp.ru\/os\/2004\/03\/045\\_print.htm."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060059.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807060059","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807060059.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:01:30Z","timestamp":1775008890000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807060059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":47,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,11]]}},"alternative-id":["6005"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807060059","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11]]}}}