{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T20:01:34Z","timestamp":1783368094641,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540304920","type":"print"},{"value":"9783540322405","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_20","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T13:38:16Z","timestamp":1130333896000},"page":"347-365","source":"Crossref","is-referenced-by-count":13,"title":["Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the \u03c0-Calculus"],"prefix":"10.1007","author":[{"given":"Vitus S. W.","family":"Lam","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julian","family":"Padget","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Dumond, Y., Girardet, D., Oquendo, F.: A relationship between sequence and statechart diagrams. In: UML 2000 (2000); \n                    \n                      http:\/\/www.disi.unige.it\/person\/ReggioG\/UMLWORKSHOP\/Girardet.pdf\n                    \n                    \n                  , (accessed August 12, 2005)"},{"key":"20_CR2","unstructured":"Engels, G., Hausmann, J., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. In: IDPT 2002 (2002), \n                    \n                      http:\/\/wwwcs.upb.de\/cs\/ag-engels\/Papers\/2002\/EngelsHHS-IDPT02.pdf\n                    \n                    \n                  , (accessed February 9, 2005)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-45800-X_18","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"G. Engels","year":"2002","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 212\u2013227. Springer, Heidelberg (2002)"},{"key":"20_CR4","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: ESEC\/SIGSOFT FSE 2001, pp. 186\u2013195. ACM Press, New York (2001)","DOI":"10.1145\/503209.503235"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/512035.512066","volume-title":"Proceedings of the International Workshop on Principles of Software Evolution","author":"G. Engels","year":"2002","unstructured":"Engels, G., K\u00fcster, J.M., Heckel, R., Groenewegen, L.: Towards consistency-preserving model evolution. In: Proceedings of the International Workshop on Principles of Software Evolution, pp. 129\u2013132. ACM Press, New York (2002)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-48480-6_11","volume-title":"The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation","author":"I. Khriss","year":"1999","unstructured":"Khriss, I., Elkoutbi, M., Keller, R.: Automating the synthesis of UML statechart diagrams from multiple collaboration diagrams. In: B\u00e9zivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol.\u00a01618, pp. 132\u2013147. Springer, Heidelberg (1999)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/11531142_18","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"V.S.W. Lam","year":"2005","unstructured":"Lam, V.S.W., Padget, J.: Consistency checking of statechart diagrams of a class hierarchy. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 412\u2013427. Springer, Heidelberg (2005)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Lam, V.S.W., Padget, J.: An integrated environment for communicating UML statechart diagrams. In: Proceedings of 3rd ACS\/IEEE International Conference on Computer Systems and Applications (to appear)","DOI":"10.1109\/AICCSA.2005.1387100"},{"key":"20_CR9","unstructured":"Lam, V.S.W., Padget, J.: On execution semantics of UML statechart diagrams using the \u03c0-calculus. In: Proceedings of the International Conference on Software Engineering Research and Practice, pp. 877\u2013882. CSREA Press (2003)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1109\/ICECT.2004.1319738","volume-title":"Proceedings of 2004 IEEE International Conference on E-Commerce Technology","author":"V.S.W. Lam","year":"2004","unstructured":"Lam, V.S.W., Padget, J.: Formal specification and verification of the SET\/A protocol with an integrated approach. In: Proceedings of 2004 IEEE International Conference on E-Commerce Technology, pp. 229\u2013235. IEEE Computer Society, Los Alamitos (2004)"},{"key":"20_CR11","unstructured":"MasterCard and VISA. SET Secure Electronic Transaction Books 1\u20133 (May 1997)"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-3-642-58041-3_6","volume-title":"Logic and Algebra of Specification, Proceedings of International NATO Summer School","author":"R. Milner","year":"1993","unstructured":"Milner, R.: The polyadic \u03c0-calculus: A tutorial. In: Logic and Algebra of Specification, Proceedings of International NATO Summer School, vol.\u00a094, pp. 203\u2013246. Springer, Heidelberg (1993)"},{"key":"20_CR13","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile process (Parts I and II). Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"20_CR15","unstructured":"OMG. OMG Unified Modeling Language specification version 1.5 (March 2003), \n                    \n                      http:\/\/www.omg.org\n                    \n                    \n                  , (accessed January 20, 2005)"},{"key":"20_CR16","unstructured":"OMG. UML 2.0 superstructure specification (August 2003), \n                    \n                      http:\/\/www.omg.org\n                    \n                    \n                  , (accessed January 20, 2005)"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra","author":"J. Parrow","year":"2001","unstructured":"Parrow, J.: An introduction to the \u03c0-calculus. In: Bergstra, A., Ponse, J.A., Smolka, S.A. (eds.) Handbook of Process Algebra, vol.\u00a0ch.\u00a08, pp. 479\u2013543. Elsevier Science, Amsterdam (2001)"},{"key":"20_CR18","unstructured":"Quaglia, P.: The \u03c0-calculus: Notes on labelled semantics. Bulletin of the EATCS\u00a068 (June 1999)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/BFb0053403","volume-title":"Trends in Distributed Systems for Electronic Commerce","author":"A. Rom\u00e3o","year":"1998","unstructured":"Rom\u00e3o, A., da Silva, M.M.: An agent-based secure internet payment system for mobile computing. In: Lamersdorf, W., Merz, M. (eds.) TREC 1998. LNCS, vol.\u00a01402, pp. 80\u201393. Springer, Heidelberg (1998)"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-57208-2_10","volume-title":"CONCUR\u201993","author":"D. Sangiorgi","year":"1993","unstructured":"Sangiorgi, D.: A theory of bisimulation for the \u03c0-calculus. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 127\u2013142. Springer, Heidelberg (1993)"},{"key":"20_CR21","unstructured":"Tsiolakis, A., Ehrig, H.: Consistency analysis between UML class and sequence diagrams using attributed graph gammars. In: Proceedings of GraTra 2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, pp. 77\u201386 (2000)"},{"key":"20_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-45221-8_28","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R. Straeten Van Der","year":"2003","unstructured":"Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 326\u2013340. Springer, Heidelberg (2003)"},{"key":"20_CR23","unstructured":"Victor, B.: A Verification Tool for the Polyadic \u03c0-Calculus. Department of Computer Systems, Uppsala University, Licentiate thesis (1994)"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 314\u2013323 (2000)","DOI":"10.1145\/337180.337217"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"Ziadi, T., H\u00e9lou\u00ebt, H., J\u00e9z\u00e9quel, J.-M.: Revisiting statechart synthesis with an algebraic approach. In: Proceedings of the 26th International Conference on Software Engineering, pp. 242\u2013251 (2004)","DOI":"10.1109\/ICSE.2004.1317446"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T06:18:14Z","timestamp":1552457894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11589976_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}