{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:11:51Z","timestamp":1725804711373},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319119571"},{"type":"electronic","value":"9783319119588"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11958-8_19","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T07:24:40Z","timestamp":1410420280000},"page":"236-247","source":"Crossref","is-referenced-by-count":2,"title":["Formalization of Mobile UML Statechart Diagrams Using the \u03c0-calculus: An Approach for Modeling and Analysis"],"prefix":"10.1007","author":[{"given":"Aissam","family":"Belghiat","sequence":"first","affiliation":[]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[]},{"given":"Mourad","family":"Maouche","sequence":"additional","affiliation":[]},{"given":"Mokhtar","family":"Beldjehem","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"OMG:OMG Unified Modeling Language, Superstructure, v2.3 (May 2010), \n                    \n                      http:\/\/www.omg.org\/","key":"19_CR1"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/j.infsof.2003.07.004","volume":"46","author":"K. Saleh","year":"2004","unstructured":"Saleh, K., El-Morr, C.: M-UML: an extension to UML for the modeling of mobile agent-based software systems. Journal of Information and Software Technology\u00a046, 219\u2013227 (2004)","journal-title":"Journal of Information and Software Technology"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-48480-6_26","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"A. Evans","year":"1999","unstructured":"Evans, A., France, R.B., Lano, K.: The UML as a formal modeling notation. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 336\u2013348. Springer, Heidelberg (1999)"},{"unstructured":"Milner, R.: Communicating and Mobile Systems: The\u03c0-calculus. Cambridge University Press (1999)","key":"19_CR4"},{"issue":"4","key":"19_CR5","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1142\/S0218194008003787","volume":"18","author":"V.S.W. Lam","year":"2008","unstructured":"Lam, V.S.W.: On \u03c0-calculus semantics as a formal basis for UML activity diagrams. International Journal of Software Engineering and Knowledge Engineering\u00a018(4), 541\u2013567 (2008)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"unstructured":"Yang, D., Zhang, S.S.: Using \u03c0-calculus to formalize UML activity diagrams. In: 10th Int. Conf. and Workshop on the Engineering of Computer-based Systems, pp. 47\u201354. IEEE Computer Society (2004)","key":"19_CR6"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2004.09.007","volume":"101","author":"K. Pokozy","year":"2004","unstructured":"Pokozy, K., Priami, C.: Toward Extracting \u03c0- calculus from UML Sequence and State Diagrams. Electronic Notes in Theoretical Computer Science\u00a0101, 51\u201372 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-27815-3_23","volume-title":"Algebraic Methodology and Software Technology","author":"A. Knapp","year":"2004","unstructured":"Knapp, A., Merz, S., Wirsing, M.: Refining Mobile UML State Machines. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 274\u2013288. Springer, Heidelberg (2004)"},{"unstructured":"Victor, B.: A Verification Tool for the Polyadic\u03c0-Calculus. Department of Computer Systems, Uppsala University, Licentiate thesis (1994)","key":"19_CR9"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The Mobility Workbench -A Tool for the \u03c0-calculus. In: Dill, D. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"},{"unstructured":"Ng, M., Butler, M.: Towards formalizing UML state diagrams in CSP. In: SEFM 2003 (2003)","key":"19_CR11"},{"unstructured":"Posse, E.: Mapping UML-RT state machines to kiltera. Technical Report 2010-569, School of Comp., Queen\u2019s Univ (2010)","key":"19_CR12"},{"unstructured":"Lilius, J., PaltorI, I.P.: The Semantics of UML State Machines. TUCS Technical Report No. 273. Turku Centre for Computer Science (1999)","key":"19_CR13"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1007\/3-540-48118-4_3","volume-title":"FM\u201999 - Formal Methods","author":"S.A. Seshia","year":"1999","unstructured":"Seshia, S.A., Shyamasundar, R.K., Bhattacharjee, A.K., Dhodapkar, S.D.: A Translation of Statecharts to Esterel. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 983\u20131007. Springer, Heidelberg (1999)"},{"unstructured":"Lam, V.S.W., Padget, J.: Formalization of UML Statechart Diagrams in the \u03c0-Calculus. In: Proceedings of Software Engineering Conference, Australian. IEEE (2001)","key":"19_CR15"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10270-003-0029-7","volume":"3","author":"C. Rossi","year":"2004","unstructured":"Rossi, C., Enciso, M., de Guzm\u00e0n, I.P.: Formalization of UML statemachines using temporal logic. SoftwSyst Model\u00a03, 31\u201354 (2004)","journal-title":"SoftwSyst Model"},{"doi-asserted-by":"crossref","unstructured":"Yeung, W., Leung, K., Wang, J., Dong, W.: Improvements towards formalizing UML state diagrams in CSP. In: APSEC 2005 (2005)","key":"19_CR17","DOI":"10.1109\/APSEC.2005.70"},{"unstructured":"Saldhana, A., Shatz, J.: UML diagrams to object Petri net models: An approach for modeling and analysis. In: Proceedings of the International Conference of Software and Knowledge Engineering, SEKE 2000, pp. 103\u2013110 (2000)","key":"19_CR18"},{"unstructured":"Crane, M., Dingel, J.: On the semantics of UML state machines: Categorization and comparison. Technical Report, 2005-501, School of Comp., Queen\u2019s Univ, 55 p. (2005)","key":"19_CR19"},{"key":"19_CR20","first-page":"33","volume-title":"SEEFM 2009","author":"M.R. Bahri","year":"2009","unstructured":"Bahri, M.R., Hettab, A., Chaoui, A., Kerkouche, E.: Transforming Mobile UML Statecharts Models to Nested Nets Models using Graph Grammars: An Approach for Modeling and Analysis of Mobile Agent-Based Software Systems. In: SEEFM 2009, pp. 33\u201339. IEEE Computer Society, Washington (2009)"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11958-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:22:15Z","timestamp":1558977735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11958-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319119571","9783319119588"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11958-8_19","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}