{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:27Z","timestamp":1725889887352},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540699262"},{"type":"electronic","value":"9783540699279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69927-9_5","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:39:40Z","timestamp":1217486380000},"page":"61-75","source":"Crossref","is-referenced-by-count":12,"title":["Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?"],"prefix":"10.1007","author":[{"given":"M. F.","family":"van Amstel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. G. J.","family":"van den Brand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Proti\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Verhoeff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"FALCON, http:\/\/www.esi.nl\/falcon\/","key":"5_CR1"},{"unstructured":"van Amstel, M.F., van de Plassche, E., Hamberg, R., van den Brand, M.G.J., Rooda, J.E.: Performance analysis of a palletizing system. SE Report 2007-09, Department of Mechanical Engineering, Eindhoven University of Technology (2007)","key":"5_CR2"},{"issue":"2\u20133","key":"5_CR3","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.tcs.2004.07.036","volume":"335","author":"J.C.M. Baeten","year":"2005","unstructured":"Baeten, J.C.M.: A brief history of process algebra. Theoretical Computer Science\u00a0335(2\u20133), 131\u2013146 (2005)","journal-title":"Theoretical Computer Science"},{"unstructured":"Object Management Group: Unified Modeling Language: Superstructure specification, version 2.1.1. Document \u2013 formal\/2007-02-05, OMG (2007)","key":"5_CR4"},{"unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes. In: de Bakker, J.W., Hazewinkel, M., Lenstra, J.K. (eds.) Proceedings of the CWI Symposium. CWI Monographs, vol.\u00a01, pp. 89\u2013138. Centre for Mathematics and Computer Science, North-Holland (1986)","key":"5_CR5"},{"key":"5_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Theoretical Computer Science, vol.\u00a0(18). Cambridge University Press, Cambridge (1990)"},{"unstructured":"van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H.: Syntax and semantics of timed Chi. CS-Report 05\u201309, Department of Computer Science, Eindhoven University of Technology (2005)","key":"5_CR7"},{"unstructured":"Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R. (eds.) Methods for Modelling Software Systems (MMOSS). Number 06351 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (2007)","key":"5_CR8"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01178579","volume":"30","author":"X. Nicollin","year":"1993","unstructured":"Nicollin, X., Sifakis, J., Yovine, S.: From ATP to timed graphs and hybrid systems. Acta Informatica\u00a030(2), 181\u2013202 (1993)","journal-title":"Acta Informatica"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/APSEC.2001.991460","volume-title":"Proceedings of the 8th Asia-Pacific Conference on Software Engineering","author":"J.J. Pardo","year":"2001","unstructured":"Pardo, J.J., Valero, V., Cuartero, F., Cazorla, D.: Automatic translation of a timed process algebra into dynamic state graphs. In: Proceedings of the 8th Asia-Pacific Conference on Software Engineering, pp. 63\u201370. IEEE Computer Society, Los Alamitos (2001)"},{"unstructured":"Cerone, A.: From process algebra to visual language. In: Lakos, C., Esser, R., Kristensen, L.M., Billington, J. (eds.) Proceedings of the 23rd Conference on Application and Theory of Petri Nets. Conferences in Research and Practice in Information Technology, vol.\u00a012, pp. 27\u201336. Australian Computer Society (2002)","key":"5_CR11"},{"unstructured":"Bortnik, E.M., Mortel-Fronczak, J.M., Rooda, J.E.: Translating \u03c7 models to UPPAAL timed automata. SE Report 2007-06, Department of Mechanical Engineering, Eindhoven University of Technology (2007)","key":"5_CR12"},{"issue":"3\u20134","key":"5_CR13","first-page":"187","volume":"47","author":"G. Pint\u00e9r","year":"2003","unstructured":"Pint\u00e9r, G., Majzik, I.: Program code generation based on UML statechart models. Periodica Polytechnica\u00a047(3\u20134), 187\u2013204 (2003)","journal-title":"Periodica Polytechnica"},{"unstructured":"Niaz, I.A., Tanaka, J.: Code generation from UML statecharts. In: Hamza, M.H. (ed.) Proceedings of the 7th IASTED International Conference on Software Engineering and Applications, pp. 315\u2013321. ACTA Press (2003)","key":"5_CR14"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/11557432_8","volume-title":"Model Driven Engineering Languages and Systems","author":"M.L. Crane","year":"2005","unstructured":"Crane, M.L., Dingel, J.: UML vs. classical vs. Rhapsody statecharts: Not all models are created equal. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 97\u2013112. Springer, Heidelberg (2005)"},{"issue":"1\u20133","key":"5_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control\u00a060(1\u20133), 109\u2013137 (1984)","journal-title":"Information and Control"},{"unstructured":"Baeten, J.C.M., Basten, T., Reniers, M.A.: Algebra of communicating processes. Lecture notes (DRAFT) (2005)","key":"5_CR17"},{"issue":"6","key":"5_CR18","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1145\/363347.363387","volume":"11","author":"K. Thompson","year":"1968","unstructured":"Thompson, K.: Regular expression search algorithm. Communications of the ACM\u00a011(6), 419\u2013422 (1968)","journal-title":"Communications of the ACM"},{"unstructured":"Object Management Group: Meta Object Facility MOF 2.0\/XMI mapping specification, version 2.1. Document \u2013 formal\/05-09-01, OMG (2005)","key":"5_CR19"},{"unstructured":"ArgoUML v0.24 (Viewed January 2008), http:\/\/argouml.tigris.org\/","key":"5_CR20"},{"unstructured":"Telelogic Rhapsody 7.1.1 (Viewed January 2008), http:\/\/modeling.telelogic.com\/products\/rhapsody\/index.cfm","key":"5_CR21"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-45306-7_26","volume-title":"Compiler Construction","author":"M.G.J. Brand van den","year":"2001","unstructured":"van den Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF meta-environment: A component-based language development environment. In: Wilhelm, R. (ed.) CC 2001 and ETAPS 2001. LNCS, vol.\u00a02027, pp. 365\u2013370. Springer, Heidelberg (2001)"},{"key":"5_CR23","series-title":"AMAST Series in Computing","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/3163","volume-title":"Language Prototyping: An Algebraic Specification Approach","author":"A. Deursen van","year":"1996","unstructured":"van Deursen, A.: An overview of ASF+SDF. In: van Deursen, A., Heering, J., Klint, P. (eds.) Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing, vol.\u00a05, pp. 1\u201329. World Scientific, Singapore (1996)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69927-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,14]],"date-time":"2021-09-14T03:34:16Z","timestamp":1631590456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69927-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540699262","9783540699279"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69927-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}