{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:20:33Z","timestamp":1743016833412,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319009476"},{"type":"electronic","value":"9783319009483"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-00948-3_13","type":"book-chapter","created":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T01:16:13Z","timestamp":1374196573000},"page":"197-213","source":"Crossref","is-referenced-by-count":7,"title":["Activity Diagrams Patterns for Modeling Business Processes"],"prefix":"10.1007","author":[{"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"first","affiliation":[]},{"given":"Christine","family":"Choppy","sequence":"additional","affiliation":[]},{"given":"Gianna","family":"Reggio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"OMG unified language superstructure specification (formal). version 2.4.1 (August 06, 2011), \n                    http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure\/PDF\/","key":"13_CR1"},{"issue":"4","key":"13_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2237796.2237819","volume":"37","author":"\u00c9. Andr\u00e9","year":"2012","unstructured":"Andr\u00e9, \u00c9., Choppy, C., Klai, K.: Formalizing non-concurrent UML state machines using colored Petri nets. ACM SIGSOFT Software Engineering Notes\u00a037(4), 1\u20138 (2012)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"doi-asserted-by":"crossref","unstructured":"Andr\u00e9, \u00c9., Choppy, C., Reggio, G.: Activity diagrams patterns for modeling business processes (report version) (2013), \n                    http:\/\/lipn.fr\/~andre\/adp\/","key":"13_CR3","DOI":"10.1007\/978-3-319-00948-3_13"},{"issue":"11","key":"13_CR4","doi-asserted-by":"publisher","first-page":"1843","DOI":"10.1016\/j.jss.2007.02.029","volume":"80","author":"S. Bernardi","year":"2007","unstructured":"Bernardi, S., Merseguer, J.: Performance evaluation of UML design with stochastic well-formed nets. Journal of Systems and Software\u00a080(11), 1843\u20131865 (2007)","journal-title":"Journal of Systems and Software"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75563-0_1","volume-title":"Conceptual Modeling - ER 2007","author":"E. B\u00f6rger","year":"2007","unstructured":"B\u00f6rger, E.: Modeling workflow patterns from first principles. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 1\u201320. Springer, Heidelberg (2007)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-21843-9_23","volume-title":"Product-Focused Software Process Improvement","author":"F. Di Cerbo","year":"2011","unstructured":"Di Cerbo, F., Dodero, G., Reggio, G., Ricca, F., Scanniello, G.: Precise vs. ultra-light activity diagrams \u2013 An experimental assessment in the context of business process modelling. In: Caivano, D., Oivo, M., Baldassarre, M.T., Visaggio, G. (eds.) PROFES 2011. LNCS, vol.\u00a06759, pp. 291\u2013305. Springer, Heidelberg (2011)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11767954_6","volume-title":"Coordination Models and Languages","author":"W.R. Cook","year":"2006","unstructured":"Cook, W.R., Patwardhan, S., Misra, J.: Workflow patterns in Orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 82\u201396. Springer, Heidelberg (2006)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/TSE.2010.10","volume":"37","author":"S. Distefano","year":"2011","unstructured":"Distefano, S., Scarpa, M., Puliafito, A.: From UML to Petri nets: The PCM-based methodology. IEEE Transactions on Software Engineering\u00a037(1), 65\u201379 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Erl, T.: SOA Principles of Service Design. The Prentice Hall Service-Oriented Computing Series from Thomas Erl (2007)","key":"13_CR9"},{"doi-asserted-by":"crossref","unstructured":"France, R.B., Evans, A., Lano, K., Rumpe, B.: Developing the UML as a formal modelling notation. In: Computer Standards and Interfaces: Special Issues on Formal Development Techniques, pp. 297\u2013307. Springer (1998)","key":"13_CR10","DOI":"10.1016\/S0920-5489(98)00020-8"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-16145-2_23","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Gr\u00f6nniger","year":"2010","unstructured":"Gr\u00f6nniger, H., Rei\u00df, D., Rumpe, B.: Towards a semantics of activity diagrams with semantic variation points. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 331\u2013345. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets \u2013 Modelling and Validation of Concurrent Systems. Springer (2009)","key":"13_CR12","DOI":"10.1007\/b95112"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-12566-9_10","volume-title":"Foundations of Computer Software. Future Trends and Techniques for Development","author":"F. Kordon","year":"2010","unstructured":"Kordon, F., Thierry-Mieg, Y.: Experiences in model driven verification of behavior with UML. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol.\u00a06028, pp. 181\u2013200. Springer, Heidelberg (2010)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/978-3-642-04425-0_44","volume-title":"Model Driven Engineering Languages and Systems","author":"F.A. Kraemer","year":"2009","unstructured":"Kraemer, F.A., Herrmann, P.: Automated Encapsulation of UML Activities for Incremental Development and Verification. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 571\u2013585. Springer, Heidelberg (2009)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-13464-7_3","volume-title":"Formal Techniques for Distributed Systems","author":"F.A. Kraemer","year":"2010","unstructured":"Kraemer, F.A., Herrmann, P.: Reactive semantics for distributed UML activities. In: Hatcliff, J., Zucca, E. (eds.) FMOODS\/FORTE 2010, Part II. LNCS, vol.\u00a06117, pp. 17\u201331. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Mekki, A., Ghazel, M., Toguyeni, A.: Validating time-constrained systems using UML statecharts patterns and timed automata observers. In: VECoS, pp. 112\u2013124. British Computer Society (2009)","key":"13_CR16","DOI":"10.14236\/ewic\/VECOS2009.11"},{"doi-asserted-by":"crossref","unstructured":"Peixoto, D.C., Batista, V.A., Atayde, A.P., Pereira, E.B., Resende, R.F., P\u00e1dua, C.I.: A comparison of BPMN and UML 2.0 activity diagrams. In: Simposio Brasileiro de Qualidade de Software (2008), \n                    http:\/\/homepages.dcc.ufmg.br\/~cascini\/","key":"13_CR17","DOI":"10.5753\/sbqs.2008.15531"},{"doi-asserted-by":"crossref","unstructured":"Reggio, G., Leotta, M., Ricca, F.: Precise is better than light: A document analysis study about quality of business process models. In: First International Workshop on Empirical Requirements Engineering (EmpiRE), pp. 61\u201368 (2011)","key":"13_CR18","DOI":"10.1109\/EmpiRE.2011.6046257"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-24485-8_11","volume-title":"Model Driven Engineering Languages and Systems","author":"G. Reggio","year":"2011","unstructured":"Reggio, G., Ricca, F., Scanniello, G., Di Cerbo, F., Dodero, G.: A precise style for business process modelling: Results from two controlled experiments. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 138\u2013152. Springer, Heidelberg (2011)"},{"unstructured":"Workflow Patterns Initiative. Workflow patterns home page, \n                    http:\/\/www.workflowpatterns.com","key":"13_CR20"},{"doi-asserted-by":"crossref","unstructured":"Zhang, S.J., Liu, Y.: An automatic approach to model checking UML state machines. In: SSIRI (Companion), pp. 1\u20136. IEEE Computer Society (2010)","key":"13_CR21","DOI":"10.1109\/SSIRI-C.2010.11"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00948-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T14:31:30Z","timestamp":1674829890000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00948-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319009476","9783319009483"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00948-3_13","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014]]}}}