{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:32:04Z","timestamp":1725852724168},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319313092"},{"type":"electronic","value":"9783319313115"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31311-5_3","type":"book-chapter","created":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T08:37:03Z","timestamp":1459499823000},"page":"59-84","source":"Crossref","is-referenced-by-count":1,"title":["Capturing and Verifying Dynamic Systems Behavior Using UML and $$\\pi $$ \u03c0 -Calculus"],"prefix":"10.1007","author":[{"given":"Aissam","family":"Belghiat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mokhtar","family":"Beldjehem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,2]]},"reference":[{"key":"3_CR1","unstructured":"Object Management Group (OMG), Unified Modeling Language (2012). \n                  http:\/\/www.omg.org\/spec\/UML\/"},{"key":"3_CR2","unstructured":"Milner, R.: Communicating and Mobile Systems: The \n                  \n                    \n                  \n                  $$\\pi $$\n                  \n                    \n                      \u03c0\n                    \n                  \n                -calculus. Cambridge University Press (1999)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-45314-8_9","volume-title":"Fundamental Approaches to Software Engineering","author":"R Heckel","year":"2001","unstructured":"Heckel, R., Sauer, S.: Strengthening UML collaboration diagrams by state transformations. Fundamental Approaches to Software Engineering, pp. 109\u2013123. Springer, Berlin (2001)"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Ambler, S.W.: The Elements of UML\n                  \n                    \n                  \n                  $$^{TM}$$\n                  \n                    \n                      \n                        \n                        \n                          T\n                          M\n                        \n                      \n                    \n                  \n                2.0 Style. Cambridge University Press (2005)","DOI":"10.1017\/CBO9780511817533"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Belghiat, A., Chaoui, A., Beldjehem, M.: Capturing and verifying dynamic program behaviour using UML communication diagrams and pi-calculus. In: IEEE International Conference on Information Reuse & Integration (IRI), pp. 318\u2013325. IEEE (2015)","DOI":"10.1109\/IRI.2015.68"},{"key":"3_CR6","unstructured":"Victor, B.: A Verification Tool for the Polyadic \n                  \n                    \n                  \n                  $$\\pi $$\n                  \n                    \n                      \u03c0\n                    \n                  \n                -Calculus. Licentiate thesis, Department of Computer Systems. Uppsala University (1994)"},{"key":"3_CR7","unstructured":"Victor, B., Moller, F.: The Mobility Workbench - A Tool for the \n                  \n                    \n                  \n                  $$\\pi $$\n                  \n                    \n                      \u03c0\n                    \n                  \n                -calculus. In Dill, D. (eds.) Proceedings of the Conference on Computer-Aided Verification (CAV\u201994). LNCS, vol. 818, pp. 428\u2013440. Springer Verlag, (1994)"},{"key":"3_CR8","unstructured":"Lano , K., Bicarregui, J.: Formalizing the UML in Structured Temporal Theories. In Rumpe, B., Kilov, H. (eds.) Proceedings of Second ECOOP Workshop on Precise Behavioral Semantics. ECOOP\u201998. Munich, Germany (1998)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Overgaard, G.: A formal approach to collaborations in the Unified Modeling Language. In: Proceedings of the UML\u201999\u2014Beyond the Standard. LNCS, vol. 1723, pp. 99\u2013115. Springer-Verlag (1999)","DOI":"10.1007\/3-540-46852-8_8"},{"key":"3_CR10","unstructured":"Gomaa, H.: Validation of Dynamic Behavior in UML Using Colored PetriNets. In: Proceedings of the UML2000 (2000)"},{"key":"3_CR11","unstructured":"Saldhana, J., Shatz, S.M.: UML diagrams to object petri net models: an approach for modeling and analysis. In: Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE). pp. 103\u2013110. Chicago (2000)"},{"key":"3_CR12","unstructured":"Dong, Z., He, X.: Integrating UML statechart and collaboration diagrams using hierarchical predicate transition nets. In: Proceedings of pUML, pp. 99\u2013112 (2001)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Elmansouri, R., Chaoui, A., Kerkouche, E., Khalfaoui, K.: From UML statechart and collaboration diagrams to colored petri net models: a graph transformation based approach for modeling and analysis of business processes in virtual enterprises. In: Proceedings of the Fourth South-East European Workshop on Formal Methods. IEEE, Washington, DC, USA (2009)","DOI":"10.1109\/SEEFM.2009.20"},{"issue":"2","key":"3_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.18000\/ijabeg.10114","volume":"7","author":"E Merah","year":"2013","unstructured":"Merah, E., Messaoudi, N., Saidi, H., Chaoui, A.: Design of ATL rules for transforming UML 2 communication diagrams into buchi automata. Int. J. Softw. Eng. Appl. 7(2), 1\u201315 (2013)","journal-title":"Int. J. Softw. Eng. Appl."},{"key":"3_CR15","first-page":"62","volume":"16","author":"H Motameni","year":"2011","unstructured":"Motameni, H., Ghassempouri, T.: Transforming fuzzy communication diagram to fuzzy petri net. Am. J. Sci. Res. 16, 62\u201373 (2011)","journal-title":"Am. J. Sci. Res."},{"key":"3_CR16","first-page":"959","volume":"41","author":"A Haroonabadi","year":"2008","unstructured":"Haroonabadi, A., Teshnehlab, M.: A novel method for behavior modeling in uncertain information systems. World Acad. Sci. Eng. Technol. 41, 959\u2013966 (2008)","journal-title":"World Acad. Sci. Eng. Technol."},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.5381\/jot.2008.7.1.a1","volume":"7","author":"P Gagnon","year":"2008","unstructured":"Gagnon, P., Mokhati, F., Badri, M.: Applying model checking to concurrent UML models. J. Object Technol. 7(1), 59\u201384 (2008)","journal-title":"J. Object Technol."},{"issue":"6","key":"3_CR18","doi-asserted-by":"crossref","first-page":"39","DOI":"10.5121\/ijsea.2012.3604","volume":"3","author":"Wafa Chama","year":"2012","unstructured":"Chama, W., Elmansouri, R., Chaoui, A.: Model checking and code generation for UML diagrams using graph transformation. Int. J. Softw. Eng. Appl. (IJSEA), 3(6) (2012)","journal-title":"International Journal of Software Engineering & Applications"},{"key":"3_CR19","unstructured":"Fakhroutdinov, K.: (2013). \n                  http:\/\/www.uml-diagrams.org\/"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Belghiat, A., Chaoui, A., Maouche, M., Beldjehem, M.: Formalization of mobile UML statechart diagrams using the \n                  \n                    \n                  \n                  $$\\pi $$\n                  \n                    \n                      \u03c0\n                    \n                  \n                -calculus: an approach for modeling and analysis. In Dregvaite, G., Damasevicius, R. (eds.) ICIST 2014, CCIS 465, pp. 236\u2013247. Springer (2014)","DOI":"10.1007\/978-3-319-11958-8_19"},{"key":"3_CR21","unstructured":"Yang, D., Zhang, S.S.: Using \n                  \n                    \n                  \n                  $$\\pi $$\n                  \n                    \n                      \u03c0\n                    \n                  \n                -calculus to formalize UML activity diagrams. In: 10th International Conference and Workshop on the Engineering of Computer-based Systems, pp. 47\u201354. IEEE Computer Society (2004)"},{"issue":"4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1142\/S0218194008003787","volume":"18","author":"VSW Lam","year":"2008","unstructured":"Lam, V.S.W.: On \n                  \n                    \n                  \n                  $$\\pi $$\n                  \n                    \n                      \u03c0\n                    \n                  \n                -calculus semantics as a formal basis for UML activity diagrams. Int. J. Softw. Eng. Knowl. Eng. 18(4), 541\u2013567 (2008)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"3_CR23","unstructured":"Kollmann, R., Gogolla, M.: Capturing dynamic program behaviour with UML collaboration diagrams. In Sousa, P., Ebert, J. (eds.) Proceedings of the 5th European Conference on Software Maintenance and Reengineering. IEEE, Los Alamitos (2001)"},{"key":"3_CR24","unstructured":"Object Management Group (OMG), Model Driven Architecture (MDA) (2004). \n                  http:\/\/www.omg.org\/mda\/"},{"key":"3_CR25","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-25959-6_18","volume-title":"Applications of Graph Transformations with Industrial Relevance.","author":"G Karsai","year":"2004","unstructured":"Karsai, G., Agrawal, A.: Graph transformations in OMG\u2019s model-driven architecture. Applications of Graph Transformations with Industrial Relevance. LNCS, vol. 3062, pp. 243\u2013259. Springer, Berlin (2004)"},{"key":"3_CR26","unstructured":"AToM\n                  \n                    \n                  \n                  $$^{3}$$\n                  \n                    \n                      \n                        \n                        3\n                      \n                    \n                  \n                 (2002). Home page: \n                  http:\/\/atom3.cs.mcgill.ca"},{"key":"3_CR27","unstructured":"Python. Home page: \n                  http:\/\/www.python.org"}],"container-title":["Advances in Intelligent Systems and Computing","Theoretical Information Reuse and Integration"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31311-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T23:46:28Z","timestamp":1559432788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31311-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319313092","9783319313115"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31311-5_3","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}