{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,26]],"date-time":"2024-05-26T08:10:02Z","timestamp":1716711002775},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,5,1]],"date-time":"2014-05-01T00:00:00Z","timestamp":1398902400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s10270-014-0406-4","type":"journal-article","created":{"date-parts":[[2014,4,30]],"date-time":"2014-04-30T06:15:17Z","timestamp":1398838517000},"page":"281-302","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Synthesizing object life cycles from business process models"],"prefix":"10.1007","volume":"15","author":[{"given":"Rik","family":"Eshuis","sequence":"first","affiliation":[]},{"given":"Pieter","family":"Van Gorp","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,1]]},"reference":[{"key":"406_CR1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A Aho","year":"1986","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools. Addison Wesley, Reading (1986)"},{"key":"406_CR2","first-page":"293","volume-title":"Proceedings of the international conference on Algebraic Methodology and Software Technology (AMAST 2000), Lecture Notes in Computer Science 1826","author":"E B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: An ASM semantics for UML activity diagrams. In: Rus, T. (ed.) Proceedings of the international conference on Algebraic Methodology and Software Technology (AMAST 2000), Lecture Notes in Computer Science 1826, pp. 293\u2013308. Springer, Berlin (2000)"},{"key":"406_CR3","unstructured":"BPMN Task Force: Business Process Model and Notation (BPMN) Version 2.0. Object Management Group. OMG Document Number formal\/2011-01-03 (2011)"},{"key":"406_CR4","first-page":"352","volume-title":"CAiSE 2011. Lecture Notes in Computer Science","author":"C Cabanillas","year":"2011","unstructured":"Cabanillas, C., Resinas, M., Cort\u00e9s, A.R., Awad, A.: Automatic generation of a data-centered view of business processes. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. Lecture Notes in Computer Science, vol. 6741, pp. 352\u2013366. Springer, Berlin (2011)"},{"key":"406_CR5","doi-asserted-by":"crossref","unstructured":"Dick, N., Huschens, J.: IAA the IBM insurance application architecture. In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems, International Handbooks on Information Systems, pp. 619\u2013637. Springer, Berlin (1998)","DOI":"10.1007\/978-3-662-03526-9_28"},{"key":"406_CR6","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/11538394_16","volume-title":"Business Process Management","author":"M Dumas","year":"2005","unstructured":"Dumas, M., Fjellheim, T., Milliner, S., Vayssi\u00e8re, J.: Event-based coordination of process-oriented composite applications. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) Business Process Management, vol. 3649, pp. 236\u2013251. Springer, Berlin (2005)"},{"key":"406_CR7","first-page":"85","volume-title":"Process-Aware Information Systems","author":"G Engels","year":"2005","unstructured":"Engels, G., F\u00f6rster, A., Heckel, R., Th\u00f6ne, S.: Process modeling using UML. In: Dumas, M., van der Aalst, W., ter Hofstede, A. (eds.) Process-Aware Information Systems, pp. 85\u2013117. Wiley, New York (2005)"},{"key":"406_CR8","doi-asserted-by":"crossref","unstructured":"Engels, G., K\u00fcster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Tjoa, A.M., Gruhn, V. (eds.) Proceedings of ESEC \/ SIGSOFT FSE, pp. 186\u2013195 (2001)","DOI":"10.1145\/503209.503235"},{"issue":"1","key":"406_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"406_CR10","first-page":"239","volume-title":"Proceedings of FM 2009, Lecture Notes in Computer Science","author":"R Eshuis","year":"2009","unstructured":"Eshuis, R.: Translating safe Petri nets to statecharts in a structure-preserving way. In: Cavalcanti, A., Dams, D. (eds.) Proceedings of FM 2009, Lecture Notes in Computer Science, vol. 5850, pp. 239\u2013255. Springer, Berlin (2009)"},{"issue":"5","key":"406_CR11","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1007\/s00165-011-0204-5","volume":"25","author":"R Eshuis","year":"2013","unstructured":"Eshuis, R.: Statechartable Petri nets. Form. Asp. Comput. 25(5), 659\u2013681 (2013)","journal-title":"Form. Asp. Comput."},{"key":"406_CR12","first-page":"307","volume-title":"Proceedings of ER 2012, Lecture Notes in Computer Science","author":"R Eshuis","year":"2012","unstructured":"Eshuis, R., Van Gorp, P.: Synthesizing object life cycles from business process models. In: Atzeni, P., Cheung, D.W., Ram, S. (eds.) Proceedings of ER 2012, Lecture Notes in Computer Science, vol. 7532, pp. 307\u2013320. Springer, Berlin (2012)"},{"issue":"1","key":"406_CR13","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1006\/inco.1994.1080","volume":"114","author":"J Esparza","year":"1994","unstructured":"Esparza, J.: Reduction and synthesis of live and bounded free choice Petri nets. Inf. Comput. 114(1), 50\u201387 (1994)","journal-title":"Inf. Comput."},{"key":"406_CR14","first-page":"383","volume-title":"Proceedings of ICGT 2006, Lecture Notes in Computer Science","author":"R Gei\u00df","year":"2006","unstructured":"Gei\u00df, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.: Grgen: a fast SPO-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) Proceedings of ICGT 2006, Lecture Notes in Computer Science, vol. 4178, pp. 383\u2013397. Springer, Berlin (2006)"},{"key":"406_CR15","first-page":"534","volume-title":"Proceedings of UML\u201999, Lecture Notes in Computer Science","author":"H Giese","year":"1999","unstructured":"Giese, H., Graf, J., Wirtz, G.: Closing the gap between object-oriented modeling of structure and behavior. In: France, R.B., Rumpe, B. (eds.) Proceedings of UML\u201999, Lecture Notes in Computer Science, vol. 1723, pp. 534\u2013549. Springer, Berlin (1999)"},{"key":"406_CR16","unstructured":"von Hanxleden, R., Fuhrmann, H., Sp\u00f6nemann, M.: KIELER\u2013the KIEL integrated environment for layout eclipse rich client. In: Macii, E. (ed.) Proceedings of the Design, Automation and Test in Europe University Booth (DATE\u201911). Grenoble, France (2011)"},{"issue":"5","key":"406_CR17","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D Harel","year":"1988","unstructured":"Harel, D.: On visual formalisms. Commun. ACM 31(5), 514\u2013530 (1988)","journal-title":"Commun. ACM"},{"issue":"1","key":"406_CR18","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. Int. J. Found. Comp. Sci. 13(1), 5\u201351 (2002)","journal-title":"Int. J. Found. Comp. Sci."},{"key":"406_CR19","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-540-27863-4_19","volume-title":"Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science","author":"D Harel","year":"2004","unstructured":"Harel, D., Kugler, H.: The Rhapsody semantics of statecharts (or, on the executable core of the UML)\u2014preliminary version. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science, vol. 3147, pp. 325\u2013354. Springer, Berlin (2004)"},{"issue":"4","key":"406_CR20","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), 293\u2013333 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"406_CR21","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1145\/321832.321835","volume":"21","author":"M Hecht","year":"1974","unstructured":"Hecht, M., Ullman, J.: Characterizations of reducible flow graphs. J. ACM 21, 367\u2013375 (1974)","journal-title":"J. ACM"},{"key":"406_CR22","unstructured":"I-Logix: Rhapsody. http:\/\/www.ilogix.com (2005)"},{"key":"406_CR23","doi-asserted-by":"crossref","unstructured":"Kumaran, S., Liu, R., Wu, F.Y.: On the duality of information-centric and activity-centric models of business processes. In: Bellahsene, Z., L\u00e9onard, M. (eds.) CAiSE, Lecture Notes in Computer Science, vol. 5074, pp. 32\u201347. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69534-9_3"},{"key":"406_CR24","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Ryndina, K., Gall, H.: Generation of business process models for object life cycle compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) Proceedings of BPM, Lecture Notes in Computer Science, vol. 4714, pp. 165\u2013181. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75183-0_13"},{"key":"406_CR25","doi-asserted-by":"crossref","unstructured":"Lin, C.P., Jeng, L.D., Lin, Y.P., Jeng, M.: Management and control of information flow in CIM systems using UML and Petri nets. Int. J. Comp. Integr. Manuf. 18(2&3), 107\u2013121 (2005)","DOI":"10.1080\/0951192052000288242"},{"key":"406_CR26","doi-asserted-by":"crossref","unstructured":"Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: van der Aalst, W., Benatallah, B., Casati, F., Curbera, F. (eds.) Proceedings of 3rd Conference on Business Process Management (BPM 2005), Lecture Notes in Computer Science, vol. 3649, pp. 268\u2013284. Springer, Berlin (2005)","DOI":"10.1007\/11538394_18"},{"issue":"1\u20132","key":"406_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jlap.2006.03.001","volume":"69","author":"M Massink","year":"2006","unstructured":"Massink, M., Latella, D., Gnesi, S.: On testing UML statecharts. J. Logic Algebr. Progr. 69(1\u20132), 1\u201374 (2006)","journal-title":"J. Logic Algebr. Progr."},{"key":"406_CR28","volume-title":"Executable UML\u2014A Foundation for Model-Driven Architecture. Addison Wesley object technology series","author":"SJ Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML\u2014A Foundation for Model-Driven Architecture. Addison Wesley object technology series. Addison-Wesley, Reading (2002)"},{"issue":"5","key":"406_CR29","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1108\/17410390810904274","volume":"21","author":"J Mendling","year":"2008","unstructured":"Mendling, J., Hafner, M.: From WS-CDL choreography to BPEL process orchestration. J. Enterp. Inf. Manage. 21(5), 525\u2013542 (2008)","journal-title":"J. Enterp. Inf. Manage."},{"key":"406_CR30","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: Proceedings of ICSE, pp. 54\u201364. IEEE Computer Society (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"406_CR31","unstructured":"No Magic Inc: MagicDraw. http:\/\/www.magicdraw.com"},{"issue":"4","key":"406_CR32","first-page":"319","volume":"25","author":"G Redding","year":"2008","unstructured":"Redding, G., Dumas, M., ter Hofstede, A.H.M., Iordachescu, A.: Generating business process models from object behavior models. IS Manag. 25(4), 319\u2013331 (2008)","journal-title":"IS Manag."},{"key":"406_CR33","doi-asserted-by":"crossref","first-page":"65","DOI":"10.7551\/mitpress\/1131.003.0008","volume-title":"Advances in Object-Oriented Data Modeling","author":"M Schrefl","year":"2000","unstructured":"Schrefl, M., Stumptner, M.: On the design of behavior consistent specializations of object life cycles in OBD and UML. In: Papazoglou, M.P., Spaccapietra, S., Tari, Z. (eds.) Advances in Object-Oriented Data Modeling, pp. 65\u2013104. MIT Press, Cambridge (2000)"},{"key":"406_CR34","volume-title":"Object Oriented Life Cycles: Modeling the World in States","author":"S Shlaer","year":"1991","unstructured":"Shlaer, S., Mellor, S.: Object Oriented Life Cycles: Modeling the World in States. Prentice Hall, Englewood Cliffs (1991)"},{"key":"406_CR35","unstructured":"Software, I.R.: Rose. http:\/\/www.rational.com (2005)"},{"key":"406_CR36","unstructured":"Sparx Systems: Enterprise Architect. http:\/\/www.sparxsystems.eu\/EnterpriseArchitect"},{"key":"406_CR37","unstructured":"Universal business language version, 2.1. OASIS (2013)"},{"key":"406_CR38","unstructured":"UML Revision Taskforce: OMG UML Specification v. 1.5. Object Management Group. OMG Document Number formal\/2003-03-01. http:\/\/www.uml.org (2003)"},{"key":"406_CR39","unstructured":"UML Revision Taskforce: UML 2.3 Superstructure Specification. Object Management Group. OMG Document Number formal\/2010-05-05 (2010)"},{"key":"406_CR40","unstructured":"Van Gorp, P.: Applying traceability and cloning techniques to compose input-destructive model transformations into an input-preserving chain. In: Lano, K., Kolahdouz-Rahimi S. (eds.) 1st Workshop on Composition and Evolution of Model Transformations, King\u2019s College, London, UK (2011)"},{"key":"406_CR41","first-page":"258","volume-title":"Proceedings of MoDELS 2010, Lecture Notes in Computer Science","author":"P Van Gorp","year":"2010","unstructured":"Van Gorp, P., Eshuis, R.: Transforming process models: executable rewrite rules versus a formalized java program. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) Proceedings of MoDELS 2010, Lecture Notes in Computer Science, vol. 6395, pp. 258\u2013272. Springer, Berlin (2010)"},{"issue":"3","key":"406_CR42","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/1656250.1656252","volume":"19","author":"J Whittle","year":"2010","unstructured":"Whittle, J., Jayaraman, P.K.: Synthesizing hierarchical state machines from expressive scenario descriptions. ACM Trans. Softw. Eng. Methodol. 19(3), 8 (2010)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"406_CR43","doi-asserted-by":"crossref","unstructured":"Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: ICSE, pp. 314\u2013323 (2000)","DOI":"10.1145\/337180.337217"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0406-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0406-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0406-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,26]],"date-time":"2024-05-26T07:44:42Z","timestamp":1716709482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0406-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,1]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["406"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0406-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,5,1]]}}}