{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:01:59Z","timestamp":1725566519856},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233077"},{"type":"electronic","value":"9783540301875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30187-5_22","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T15:50:15Z","timestamp":1285170615000},"page":"305-319","source":"Crossref","is-referenced-by-count":8,"title":["Supporting Model Refactorings Through Behaviour Inheritance Consistencies"],"prefix":"10.1007","author":[{"given":"Ragnhild","family":"Straeten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviane","family":"Jonckers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Mens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Astels, D.: Refactoring with UML. In: Proc. Int\u2019l Conf. eXtreme Programming and Flexible Processes in Software Engineering, Alghero, Sardinia, Italy, pp. 67\u201370 (2002)"},{"key":"22_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"22_CR3","unstructured":"Boger, M., Sturm, T., Fragemann, P.: Refactoring browser for UML. In: Proc. Int\u2019l Conf. eXtreme Programming and Flexible Processes in Software Engineering, Alghero, Sardinia, Italy, pp. 77\u201381 (2002)"},{"key":"22_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"22_CR5","unstructured":"Ebert, J., Engels, G.: Specialization of object life cycle definitions. Fachbericht Informatik 19\/95, Universit\u00e4t Koblenz-Landau, Fachbereich Informatik, Koblenz (1995)"},{"key":"22_CR6","unstructured":"Engels, G., Hausmann, J., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. In: Proc. Sixth Int\u2019l Conf. Integrated Design and Process Technology (IDPT 2002), Pasadena, CA, USA (June 2002)"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"22_CR8","volume-title":"Refactoring: Improving the Design of Existing Programs","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Programs. Addison-Wesley, Reading (1999)"},{"key":"22_CR9","unstructured":"Gentleware. Poseidon March 18 (2004), http:\/\/www.gentleware.com\/products\/poseidonpe.php3"},{"key":"22_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, p. 701. Springer, Heidelberg (2001)"},{"key":"22_CR11","unstructured":"Haarslev, V., M\u00f6ller, R., Van Der Straeten, R., Wessel, M.: Extended query facilities for RACER and an application to software-engineering problems. In: Haarslev, V., M\u00f6ller, R. (eds.) Proc. Int\u2019l Workshop on Description Logic (2004)"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/3-540-45832-8_22","volume-title":"Proc. First Int\u2019l Conf. Graph Transformation","author":"T. Mens","year":"2002","unstructured":"Mens, T., Demeyer, S., Janssens, D.: Formalising behaviour preserving program transformations. In: Proc. First Int\u2019l Conf. Graph Transformation, pp. 286\u2013301. Springer, Heidelberg (2002)"},{"key":"22_CR13","unstructured":"Object Management Group. Unified Modeling Language 2.0 Superstructure Draft Adopted Specification. ptc\/03-08-02 (February 2004)"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-45221-8_16","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"I. Porres","year":"2003","unstructured":"Porres, I.: Model refactorings as rule-based update transformations. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 159\u2013174. Springer, Heidelberg (2003)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-39958-2_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"G. Rasch","year":"2003","unstructured":"Rasch, G., Wehrheim, H.: Checking consistency in UML diagrams: Classes and state machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 229\u2013243. Springer, Heidelberg (2003)"},{"issue":"1","key":"22_CR16","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M. Schrefl","year":"2002","unstructured":"Schrefl, M., Stumptner, M.: Behavior consistent specialization of object life cycles. ACM Trans. Software Engineering and Methodology\u00a011(1), 92\u2013148 (2002)","journal-title":"ACM Trans. Software Engineering and Methodology"},{"key":"22_CR17","unstructured":"Sourceforge. Saxon March 18 (2004), http:\/\/saxon.sourceforge.net\/"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-36578-8_10","volume-title":"Fundamental Approaches to Software Engineering","author":"P. Stevens","year":"2003","unstructured":"Stevens, P., Tenzer, J.: Modelling recursive calls with UML state diagrams. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 135\u2013149. Springer, Heidelberg (2003)"},{"key":"22_CR19","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.: Behavior 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":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-45441-1_11","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., Pollet, D., LeTraon, Y., J\u00e9z\u00e9quel, J.-M.: Refactoring UML models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 134\u2013138. Springer, Heidelberg (2001)"},{"key":"22_CR21","unstructured":"van der Aalst, W.: Inheritance of dynamic behaviour in UML. In: Moldt, D. (ed.) Proc. of the Second International Workshop on Modelling of Objects, Components and Agents (MOCA 2002), August 2002, pp. 105\u2013120 (2002)"},{"key":"22_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)"}],"container-title":["Lecture Notes in Computer Science","<\u2009<UML>\u2009> 2004 - The Unified Modeling Language. Modelling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30187-5_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:46:24Z","timestamp":1605743184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30187-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233077","9783540301875"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30187-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}