{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:52:40Z","timestamp":1725573160807},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540279921"},{"type":"electronic","value":"9783540317258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11531142_18","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T17:28:49Z","timestamp":1292866129000},"page":"412-427","source":"Crossref","is-referenced-by-count":3,"title":["Consistency Checking of Statechart Diagrams of a Class Hierarchy"],"prefix":"10.1007","author":[{"given":"Vitus S. W.","family":"Lam","sequence":"first","affiliation":[]},{"given":"Julian","family":"Padget","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45910-3_4","volume-title":"ECOOP \u201988 European Conference on Object-Oriented Programming","author":"P. Wegner","year":"1988","unstructured":"Wegner, P., Zdonik, S.B.: Inheritance as an incremental modification mechanism or what like is and isn\u2019t like. In: Gjessing, S., Nygaard, K. (eds.) ECOOP 1988. LNCS, vol.\u00a0322, pp. 55\u201377. Springer, Heidelberg (1988)"},{"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":"18_CR2"},{"key":"18_CR3","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":"18_CR4","series-title":"Lecture Notes in Computer Science","first-page":"203","volume-title":"Logic and Machines: Decision Problems and Complexity","author":"R. Milner","year":"1984","unstructured":"Milner, R.: The polyadic \u03c0-calculus: A tutorial. In: B\u00f6rger, E., R\u00f6dding, D., Hasenjaeger, G. (eds.) Rekursive Kombinatorik 1983. LNCS, vol.\u00a0171, pp. 203\u2013246. Springer, Heidelberg (1984)"},{"key":"18_CR5","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)"},{"unstructured":"Victor, B.: A Verification Tool for the Polyadic \u03c0-Calculus. Department of Computer Systems, Uppsala University, Licentiate thesis (1994)","key":"18_CR6"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/3-540-46852-8_33","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J.L. Sourrouille","year":"1999","unstructured":"Sourrouille, J.L.: UML behaviour: Inheritance and implementation in current object-oriented languages. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 457\u2013472. Springer, Heidelberg (1999)"},{"key":"18_CR8","first-page":"83","volume-title":"TOOLS 34","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kupferman, O.: On the behavioral inheritance of state-based objects. In: TOOLS 34, pp. 83\u201394. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/3-540-45393-8_38","volume-title":"Conceptual Modeling - ER 2000","author":"M. Stumptner","year":"2000","unstructured":"Stumptner, M., Schrefl, M.: Behaviour consistent inheritance in UML. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol.\u00a01920, pp. 527\u2013542. Springer, Heidelberg (2000)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45441-1_21","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Engels","year":"2001","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.M.: Rule-based specification of behavioural consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 272\u2013286. Springer, Heidelberg (2001)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/HCC.2003.1260217","volume-title":"Proceedings of 2003 IEEE Symposium on Human Centric Computing Languages and Environments","author":"V.S.W. Lam","year":"2003","unstructured":"Lam, V.S.W., Padget, J.: Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. In: Proceedings of 2003 IEEE Symposium on Human Centric Computing Languages and Environments, pp. 137\u2013144. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/ECBS.2004.1316717","volume-title":"Proceedings of Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems","author":"V.S.W. Lam","year":"2004","unstructured":"Lam, V.S.W., Padget, J.: Symbolic model checking of UML statechart diagrams with an integrated approach. In: Proceedings of Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 337\u2013346. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"18_CR13","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 Press, Los Alamitos (2004)"},{"key":"18_CR14","first-page":"186","volume-title":"ESEC\/SIGSOFT FSE","author":"G. Engels","year":"2001","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, pp. 186\u2013195. ACM Press, New York (2001)"},{"key":"18_CR15","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":"18_CR16","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\u2013226. Springer, Heidelberg (2002)"},{"issue":"2\u20133","key":"18_CR17","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/s00165-003-0008-3","volume":"15","author":"J. Davies","year":"2003","unstructured":"Davies, J., Crichton, C.: Concurrency and refinement in the Unified Modeling Language. Formal Aspects of Computing\u00a015(2\u20133), 118\u2013145 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"18_CR18","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":"18_CR19","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, ch.\u00a08, pp. 479\u2013543. Elsevier Science, Amsterdam (2001)"},{"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":"18_CR20"},{"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":"18_CR21"},{"unstructured":"OMG. UML 2.0 superstructure specification (August 2003), \n                    \n                      http:\/\/www.omg.org\n                    \n                    \n                  , accessed (January 20, 2005)","key":"18_CR22"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BFb0014022","volume-title":"Object-Oriented Methodologies and Systems","author":"J. Ebert","year":"1994","unstructured":"Ebert, J., Engels, G.: Structural and behavioural views on OMT-classes. In: Bertino, E., Urban, S. (eds.) ISOOMS 1994. LNCS, vol.\u00a0858, pp. 142\u2013157. Springer, Heidelberg (1994)"},{"key":"18_CR24","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)"},{"unstructured":"Quaglia, P.: The \u03c0-calculus: Notes on labelled semantics. Bulletin of the EATCS\u00a068 (June 1999)","key":"18_CR25"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2005 - Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11531142_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:50:26Z","timestamp":1619506226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11531142_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540279921","9783540317258"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11531142_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}