{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:24:16Z","timestamp":1778300656620,"version":"3.51.4"},"reference-count":11,"publisher":"Wiley","issue":"7","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":4504,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1994,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The automatic synthesis of state machines describing the behaviour of a class of objects in object\u2010oriented software modelling is studied. It is shown that the synthesis can be carried out on the basis of trace diagrams giving possible sequences of events during the execution of the system. An algorithm originally developed for the automatic construction of programs on the basis of their execution traces is applied to the problem, and an experimental state machine synthesizer is implemented. It is demonstrated that such a synthesizer is a highly useful component in a practical object\u2010oriented CASE system.<\/jats:p>","DOI":"10.1002\/spe.4380240704","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T07:12:30Z","timestamp":1163833950000},"page":"643-658","source":"Crossref","is-referenced-by-count":59,"title":["Automatic synthesis of state machines from trace diagrams"],"prefix":"10.1002","volume":"24","author":[{"given":"Kai","family":"Koskimies","sequence":"first","affiliation":[]},{"given":"Erkki","family":"M\u00e4kinen","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Object\u2010Oriented Software Engineering\u2014A Use Case Drive Approach","author":"Jacobson I.","year":"1992"},{"key":"e_1_2_1_3_2","volume-title":"Object\u2010Oriented Modelling and Design","author":"Rumbaugh J.","year":"1991"},{"key":"e_1_2_1_4_2","volume-title":"Object\u2010Oriented Analysis","author":"Coad P.","year":"1990"},{"key":"e_1_2_1_5_2","volume-title":"Object\u2010Oriented Systems Analysis: Modeling the World in Data","author":"Shlaer S.","year":"1988"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233812"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224180"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/356914.356918"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"D.Angluin \u2018Computational learning theory: survey and selected bibliography\u2019 Proc. 24th Ann. ACM Symp. on the Theory of Computing 1992 pp.351\u2013369.","DOI":"10.1145\/129712.129746"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"e_1_2_1_11_2","unstructured":"Y.Takada \u2018Interactive synthesis of process flowcharts\u2019 Report IIAS\u2010RR\u201092\u20134E International Institute for Advanced Study of Social Information Science (IIAS\u2010SIS) Fujitsu Labs. Ltd March1992."},{"key":"e_1_2_1_12_2","unstructured":"T.M\u00e4nnist\u00f6 T.Syst\u00e4andJ.Tuomi \u2018SCED report and user manual\u2019 Report A\u20101994\u20135 Department of Computer Science University of Tampere February1994."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380240704","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380240704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T02:23:58Z","timestamp":1695867838000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380240704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":11,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["10.1002\/spe.4380240704"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380240704","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}