{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:39:05Z","timestamp":1743129545588,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":22,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461475170"},{"type":"electronic","value":"9781461475187"}],"license":[{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-7518-7_11","type":"book-chapter","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T06:17:42Z","timestamp":1378189062000},"page":"273-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Transformation Framework for Consistent Evolution of UML Behavioral Elements into BPMN Design Element"],"prefix":"10.1007","author":[{"given":"Jayeeta","family":"Chanda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ananya","family":"Kanjilal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabnam","family":"Sengupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swapan","family":"Bhattacharya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,4]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Mostafa, A.M., Ismail, M.A,. El-Bolok, H., Saad, E.M.: Toward a formalization of UML2.0 metamodel using Z specifications, In: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing, 2007. SNPD 2007, vol. 1, pp 694\u2013701, July 30\u2013August 1, 2007","DOI":"10.1109\/SNPD.2007.508"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Cal, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: A formal framework for reasoning on UML Class diagrams. In: Proceedings of the 13th International Symposium on Methodologies for Intelligent Systems (ISMIS 2002), pp. 503\u2013513 (2002)","DOI":"10.1007\/3-540-48050-1_54"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Andre, P., Romanczuk, A., Royer, J.-C.: Checking the consistency of UML class diagrams using Larch prover. In: Rigorous Object Oriented Method (ROOM) (2000)","DOI":"10.14236\/ewic\/ROOM2000.1"},{"key":"11_CR4","unstructured":"Meng, S., Zhang, N., Aichernig, B.K.: The formal foundations in RSL for UML statechart diagram. Technical Report 299. UNU\/IIST, July (2004)"},{"key":"11_CR5","unstructured":"Gomaa, H., Liu, S., Shin, M.E.: Integration of the domain modeling method for families of systems with the SOFL formal specification language. In: 6th IEEE International Conference on Complex Computer Systems (ICECCS\u201900), September 11\u201315, Tokyo, Japan, pp. 61\u201371 (2000)"},{"issue":"7","key":"11_CR6","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/TSE.2004.34","volume":"30","author":"L. Apvrille","year":"2004","unstructured":"Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.: TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans. Softw. Eng. 30(7), 473\u2013487 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR7","unstructured":"He, X.: Formalizing UML class diagrams: a hierarchical predicate transition net approach. In: The Twenty-Fourth Annual International Computer Software and Applications Conference, Taipei, Taiwan, 25\u201328 October 2000"},{"key":"11_CR8","unstructured":"Li, X., Liu, Z., He J.: A formal semantics of UML sequence diagram. In: 2004 Australian Software Engineering Conference (ASWEC\u201904), Melbourne, Australia, 13\u201316 April 2004"},{"key":"11_CR9","unstructured":"Jansamak, S., Surarerks, A.: Formalization of UML statechart models using concurrent regular expressions. In: 27th Australasian Computer Science Conference, The University of Otago, Dunedin, NZ, January (2004)"},{"key":"11_CR10","unstructured":"Yang, D., Zhang, s.: Using p - calculus to formalize UML activity diagram. In: 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS\u201903), Huntsville, Alabama, 7\u201310 April 2003"},{"key":"11_CR11","unstructured":"Hausmann, J.H., Heckel, R., Sauer, S.: Towards dynamic meta modeling of uml extensions: an extensible semantics for UML sequence diagrams. In: IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC\u201901), Stresa, Italy, 5\u20137 September 2001"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Shen, H., Virani, A., Niu, J.: Formalize UML 2 sequence diagrams. In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, pp. 437\u2013440, 3\u20135 December 2008","DOI":"10.1109\/HASE.2008.51"},{"key":"11_CR13","unstructured":"Sengupta, S., Bhattacharya, S.: Formalization of functional requirements of software development process, In: In the Journal of Foundations of Computing and Decision Sciences (FCDS). Institute of Computing Science, Poznan University of Technology, Poland 33(1), 83\u2013115 (2008)"},{"key":"11_CR14","unstructured":"Cockburn, A.: Writing Effective Use Cases, 14th edn. Addison-Wesley, New York (2005)"},{"key":"11_CR15","unstructured":"Object Management Group (2004). Unified Modeling Language: Superstructure. http:\/\/www.omg.org\/cgibin\/doc?formal\/05-07-04. Accessed 1 Sept 2007"},{"key":"11_CR16","unstructured":"Oestereich, B., Weiss, C., Schroder, C., Weilkiens, T., Lenhard, A.: Objektorientierte Geschftsprozessmodellierungmit der UML. d.punkt Verlag (2003)"},{"key":"11_CR17","unstructured":"Whittle, J.: A formal semantics of Use Case charts, Technical Report ISE Dept, George Mason University, ISE-. TR-06-02. http:\/\/www.ise.gmu.edu\/techrep"},{"key":"11_CR18","unstructured":"Some, S.: An approach for the synthesis of State transition graphs from Use Cases. In: Proceedings of the International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, USA, 23\u201326 June 2003"},{"key":"11_CR19","unstructured":"Some, S.: Supporting Use Cases based requirements simulation. In: Proceedings of the International Conference on Software Engineering and Practice (SERP04), Las Vegas, Nevada, USA, 21\u201324 June 2004"},{"key":"11_CR20","unstructured":"Lbke, D.: Transformation of use cases to EPC models. In: Proceedings of the EPK 2006 Workshop (2006)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Lubke, D., Schneider, K., Weidlich, M.: Visualizing Use Case sets as BPMN processes. In: Requirements Engineering Visualization (REV\u201908), Barcelona, Spain, 8\u201312 September 2008","DOI":"10.1109\/REV.2008.8"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Dijkman, R., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. In: Information and Software Technology (IST) (2008)","DOI":"10.1016\/j.infsof.2008.02.006"}],"container-title":["Web Services Foundations"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-7518-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T17:00:45Z","timestamp":1675789245000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-7518-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,4]]},"ISBN":["9781461475170","9781461475187"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_11","relation":{},"subject":[],"published":{"date-parts":[[2013,9,4]]},"assertion":[{"value":"4 September 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}