{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T17:32:53Z","timestamp":1648834373224},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,6,24]],"date-time":"2005-06-24T00:00:00Z","timestamp":1119571200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s10270-005-0097-y","type":"journal-article","created":{"date-parts":[[2005,8,9]],"date-time":"2005-08-09T15:27:17Z","timestamp":1123601237000},"page":"26-47","source":"Crossref","is-referenced-by-count":0,"title":["Exploiting practical limitations of UML diagrams for model validation and execution"],"prefix":"10.1007","volume":"5","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[]},{"given":"Heribert","family":"Vollmer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,24]]},"reference":[{"key":"97_CR1","unstructured":"Baselau, S.: \u00c4quivalenz von UML-Diagrammen. Diplomarbeit. Universit\u00e4t Hannover (2004)"},{"key":"97_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: Modeling the dynamics of UML state machines. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) Abstract State Machines, pp. 223\u2013241. Springer LNCS 1912 (2000)","DOI":"10.1007\/3-540-44518-8_13"},{"key":"97_CR3","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: An ASM semantics for UML activity diagrams. In: Rus, T. (ed.) Algebraic Methodology and Software Technology, 8th International Conference, pp. 293\u2013308. AMAST 2000 (2000)","DOI":"10.1007\/3-540-45499-3_22"},{"issue":"1-2","key":"97_CR4","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0304-3975(96)00319-2","volume":"191","author":"D. Breslauer","year":"1998","unstructured":"Breslauer, D.: The suffix tree of a tree and minimizing sequential transducers. Theoretical Computer Science. 191(1-2), 131\u2013144 (1998)","journal-title":"Theoretical Computer Science"},{"key":"97_CR5","unstructured":"Buchloh, T.: Entwurf und Implementierung eines Interpretierers f\u00fcr die Sprache MOL. Bachelor-Arbeit Universit\u00e4t Hannover (2003)."},{"issue":"4","key":"97_CR6","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/s007660200020","volume":"7","author":"L.A. Campbell","year":"2002","unstructured":"Campbell, L.A., Cheng, B.H.C., McUmber, W.W., Stirewalt, R.E.K.: Automatically detecting and visualizing errors in UML diagrams. Requirements Engineering 7(4), 264\u2013287 (2002)","journal-title":"Requirements Engineering"},{"key":"97_CR7","doi-asserted-by":"crossref","unstructured":"Cavarra, A., Riccobene, E., Scandurra, P.: Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) Abstract State Machines, Advances in Theory and Practice, pp. 229\u2013243. 10th International Workshop (2003)","DOI":"10.1007\/3-540-36498-6_13"},{"key":"97_CR8","doi-asserted-by":"crossref","unstructured":"Cavarra, A., Riccobene, E., Scandurra, P.: A framework to simulate UML models: moving from a semi-formal to a formal environment. In: Proceedings of the 2004 ACM Symposium on Applied Computing SAC 2004, pp. 1519\u20131523 (2004)","DOI":"10.1145\/967900.968204"},{"issue":"5","key":"97_CR9","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E. Clarke","year":"1994","unstructured":"Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems 16(5), 1512\u20131542 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"97_CR10","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/636772.636784","volume":"46","author":"D. de Champeaux","year":"2003","unstructured":"de Champeaux, D.: Letter to the editor. Communications of the ACM 46(3), 11\u201312 (2003)","journal-title":"Communications of the ACM"},{"key":"97_CR11","doi-asserted-by":"crossref","unstructured":"Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: Proceedings of the 12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering, pp. 189\u2013199 (2004)","DOI":"10.1145\/1029894.1029921"},{"key":"97_CR12","doi-asserted-by":"crossref","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000 Proceedings of the 3rd International Conference, pp. 323\u2013337. Springer LNCS 1939 (2000)","DOI":"10.1007\/3-540-40011-7_23"},{"key":"97_CR13","doi-asserted-by":"crossref","unstructured":"Engels, G., Huecking, R., Sauer, S., Wagner, A.: UML collaboration diagrams and their transformation to Java. In: France, R., Rumpe, B. (eds.) UML 99 Proceedings of the 2nd International Conference, pp. 473\u2013488. Springer LNCS 1723 (1999)","DOI":"10.1007\/3-540-46852-8_34"},{"key":"97_CR14","doi-asserted-by":"crossref","unstructured":"Evans, A.S., Kent, S.: Core meta-modelling semantics of UML: the pUML approach. In: France, R., Rumpe, B. (eds.) UML 99 Proceedings of the 2nd International Conference, pp. 140\u2013155. Springer LNCS 1723 (1999)","DOI":"10.1007\/3-540-46852-8_11"},{"key":"97_CR15","unstructured":"Even, S.: Graph Algorithms. Computer Science Press (1979)"},{"key":"97_CR16","unstructured":"Fairley, R.E.: Software Engineering Concepts. McGraw-Hill (1985)"},{"key":"97_CR17","unstructured":"Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns. Addison-Wesley (1995)"},{"key":"97_CR18","unstructured":"Gill, A.: Introduction to the Theory of Finite-State Machines. McGraw-Hill (1962)"},{"issue":"1","key":"97_CR19","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y. Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Transactions on Computational Logic 1(1), 77\u2013111 (2000)","journal-title":"ACM Transactions on Computational Logic"},{"key":"97_CR20","unstructured":"Hagemann, P.: UML-Diagramme und ihre \u00dcbersetzung in die Modell-Objekt-Sprache MOL. Diplomarbeit Universit\u00e4t Hannover (2003)"},{"key":"97_CR21","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edition. Addison-Wesley, Boston (2001)","edition":"2"},{"issue":"5","key":"97_CR22","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"97_CR23","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology 11(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"97_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5749-3","volume-title":"A Programming Approach to Computability. Texts and Monographs in Computer Science","author":"A.J. Kfoury","year":"1982","unstructured":"Kfoury, A.J., Moll, R.N., Arbib, M.A.: A Programming Approach to Computability. Texts and Monographs in Computer Science. Springer-Verlag, New York Heidelberg Berlin (1982)"},{"key":"97_CR25","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML. Addison Wesley (2002)"},{"key":"97_CR26","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0304-3975(98)00115-7","volume":"234","author":"M. Mohri","year":"2000","unstructured":"Mohri, M.: Minimization algorithms for sequential transducers. Theoretical Computer Science 234, 177\u2013201 (2000)","journal-title":"Theoretical Computer Science"},{"key":"97_CR27","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: Action Semantics. Cambridge University Press (1992)","DOI":"10.1017\/CBO9780511569869"},{"key":"97_CR28","unstructured":"http:\/\/research.microsoft.com\/foundations\/asml\/"},{"key":"97_CR29","unstructured":"Ober, I.: Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics. Dissertation Institut National Polytechnique de Toulouse (2001)"},{"key":"97_CR30","unstructured":"OMG Unified Modeling Language Specification Version 1.5 (www.omg.org, 2002)"},{"key":"97_CR31","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-Oriented Type Systems. Wiley (1994)"},{"key":"97_CR32","unstructured":"www.puml.org"},{"key":"97_CR33","doi-asserted-by":"crossref","unstructured":"Riehle, D., Fraleigh, S., Bucka-Lassen, D., Omorogbe, N.: The architecture of a UML virtual machine. In: Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 327\u2013341 (2001)","DOI":"10.1145\/504282.504306"},{"key":"97_CR34","volume-title":"Theoretische Informatik \u2013 kurz gefasst. Hochschultaschenbuch","author":"U. Sch\u00f6ning","year":"2001","unstructured":"Sch\u00f6ning, U.: Theoretische Informatik \u2013 kurz gefasst. Hochschultaschenbuch. Spektrum Akademischer Verlag, 4th edition Heidelberg Berlin (2001)","edition":"4"},{"key":"97_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(00)00285-1","volume":"251","author":"G. S\u00e9nizergues","year":"2001","unstructured":"S\u00e9nizergues, G.: L(A)=L(B)? Decidability results from complete formal systems. Theoretical Computer Science 251, 1\u2013166 (2001)","journal-title":"Theoretical Computer Science"},{"key":"97_CR36","unstructured":"S\u00e9nizergues, G.: T(A)=T(B)? In: Wiedermann, J., Emde Boas, P.v., Nielsen, M. (eds.) Proceedings 26th International Colloqium on Automata, Languages and Programming, pp. 667\u2013676. Springer LNCS 1644 (1999)"},{"key":"97_CR37","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electronic Notes in Theoretical Computer Science 55(3) (2001)","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"97_CR38","unstructured":"Stapel, K.: Transformation objektorientierter Programmtraces in Animationsskripte eines 3D-Renderers. Bachelor-Arbeit. Universit\u00e4t Hannover (2003)"},{"key":"97_CR39","doi-asserted-by":"crossref","unstructured":"Steimann, F.: A radical revision of UML\u2019s role concept. In: Evans, E., Kent, S., Selic, B. (eds.) UML 2000: Proceedings of the 3rd International Conference, pp. 194\u2013209. Springer LNCS 1939 (2000)","DOI":"10.1007\/3-540-40011-7_14"},{"key":"97_CR40","doi-asserted-by":"crossref","unstructured":"Steimann, F., G\u00f6\u00dfner, J., M\u00fcck, T.: On the key role of composition in object-oriented modelling. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003: Proceedings of the 6th International Conference, pp. 106\u2013120. Springer LNCS 2863 (2003)","DOI":"10.1007\/978-3-540-45221-8_11"},{"key":"97_CR41","doi-asserted-by":"crossref","unstructured":"Steimann, F., K\u00fchne, T.: A radical reduction of UML\u2019s core semantics. In: J\u00e9z\u00e9quel, J.M., Hussmann, H., Cook, S. (eds.) UML 2002: Proceedings of the 5th International Conference, pp. 34\u201348. Springer LNCS 2460 (2002)","DOI":"10.1007\/3-540-45800-X_4"},{"key":"97_CR42","unstructured":"Steimann, F., Thaden, U., Siberski, W., Nejdl, W.: Animiertes UML als Medium f\u00fcr die Didaktik der objektorientierten Programmierung. In: M\u00fcller-Luschnat, M.G. (ed.) Modellierung 2002 GI Lecture Notes in Informatics P-12, pp. 159\u2013170. (2002)"},{"key":"97_CR43","doi-asserted-by":"crossref","unstructured":"Stirling, C.: Deciding DPDA equivalence is primitive recursive. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) Proceedings 29th Colloqium on Automata, Languages and Programming, pp. 821\u2013832. Springer LNCS 2380 (2002)","DOI":"10.1007\/3-540-45465-9_70"},{"key":"97_CR44","doi-asserted-by":"crossref","unstructured":"Suny\u00e9, G., Pollet, D., Le Traon, Y., J\u00e9z\u00e9quel, J.M.: Refactoring UML models. In: Gogolla, M., Kobryn, C. (eds.) \u201cUML\u201d 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools, pp. 134\u2013148. Springer LNCS 2185 (2001)","DOI":"10.1007\/3-540-45441-1_11"},{"key":"97_CR45","doi-asserted-by":"crossref","unstructured":"Wegener, I.: Theoretische Informatik \u2013 eine algorithmenorientierte Einf\u00fchrung. Leitf\u00e4den der Informatik. Teubner, Stuttgart (1999)","DOI":"10.1007\/978-3-322-94004-9"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0097-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0097-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0097-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:23Z","timestamp":1559130923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0097-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,24]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["97"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0097-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6,24]]}}}