{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:37:07Z","timestamp":1725543427945},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642114465"},{"type":"electronic","value":"9783642114472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-11447-2_8","type":"book-chapter","created":{"date-parts":[[2010,1,8]],"date-time":"2010-01-08T14:47:12Z","timestamp":1262962032000},"page":"111-129","source":"Crossref","is-referenced-by-count":2,"title":["Management of UML Clusters"],"prefix":"10.1007","author":[{"given":"Peggy","family":"Schmidt","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Thalheim","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: An ASM semantics for UML activity diagrams. In: AMAST, pp. 293\u2013308 (2000)","DOI":"10.1007\/3-540-45499-3_22"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: Modeling the dynamics of UML state machines. In: Abstract State Machines, pp. 223\u2013241 (2000)","DOI":"10.1007\/3-540-44518-8_13"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Barnett, M., Grieskamp, W., Schulte, W., Tillmann, N., Veanes, M.: Validating use-cases with the AsmL test tool. In: QSIC, pp. 238\u2013246 (2003)","DOI":"10.1109\/QSIC.2003.1319107"},{"issue":"12","key":"8_CR4","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","volume":"25","author":"B.W. Boehm","year":"1976","unstructured":"Boehm, B.W.: Software engineering. IEEE Trans. Computers\u00a025(12), 1226\u20131241 (1976)","journal-title":"IEEE Trans. Computers"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00165-003-0012-7","volume":"15","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The ASM refinement method. Formal Aspects of Computing\u00a015, 237\u2013257 (2003)","journal-title":"Formal Aspects of Computing"},{"volume-title":"Abstract state machines - A method for high-level system design and analysis","year":"2003","author":"E. B\u00f6rger","key":"8_CR6","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract state machines - A method for high-level system design and analysis. Springer, Berlin (2003)"},{"issue":"3-5","key":"8_CR7","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/s001650200012","volume":"13","author":"M. Bidoit","year":"2002","unstructured":"Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in CASL. Formal Asp. Comput.\u00a013(3-5), 252\u2013273 (2002)","journal-title":"Formal Asp. Comput."},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/11557432_5","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Chauvel","year":"2005","unstructured":"Chauvel, F., J\u00e9z\u00e9quel, J.-M.: Code generation from UML models with semantic variation points. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 54\u201368. Springer, Heidelberg (2005)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","first-page":"179","volume-title":"Conceptual Modeling - ER 2001","author":"A. D\u00fcsterh\u00f6ft","year":"2001","unstructured":"D\u00fcsterh\u00f6ft, A., Thalheim, B.: Conceptual modeling of internet sites. In: Kunii, H.S., Jajodia, S., S\u00f8lvberg, A. (eds.) ER 2001. LNCS, vol.\u00a02224, pp. 179\u2013192. Springer, Heidelberg (2001)"},{"key":"8_CR10","unstructured":"Elaasar, M., Briand, L.: An overview on UML consistency management. Technical Report SCE-04-018, Ottawa University (2004)"},{"key":"8_CR11","unstructured":"Fiedler, G., Raak, T., Thalheim, B.: Database collaboration instead of integration. In: APCCM 2005 (2005)"},{"key":"8_CR12","volume-title":"UML @ Work","author":"M. Hitz","year":"2005","unstructured":"Hitz, M., Kappel, G., Kapsammer, E., Retschitzegger, W.: UML @ Work, 2nd edn. dpunkt, Heidelberg (2005)","edition":"2"},{"key":"8_CR13","unstructured":"ISO\/IEC. 9126-1 (Software engineering - product quality - part 1: Quality model). ISO\/IEC JTC1\/SC7 N2519 (2001)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1145\/544741.544806","volume-title":"Proc. of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems","author":"M. Kollingbaum","year":"2002","unstructured":"Kollingbaum, M., Norman, T.: Supervised interaction - create a web of trust for contracting agents in electronic environments. In: Proc. of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 272\u2013279. ACM Press, New York (2002)"},{"volume-title":"Algebraic systems","year":"1970","author":"A.I. Malzew","key":"8_CR15","unstructured":"Malzew, A.I.: Algebraic systems. Nauka, Moscow (1970)"},{"key":"8_CR16","unstructured":"Ober, I.: An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions. PhD thesis, Polytechnique de Toulouse (2001)"},{"key":"8_CR17","unstructured":"The precise UML group (2007), http:\/\/www.cs.york.ac.uk\/puml\/"},{"key":"8_CR18","series-title":"Mathematical research","doi-asserted-by":"crossref","DOI":"10.1515\/9783112529041","volume-title":"Structural induction on partial algebras","author":"H. Reichel","year":"1984","unstructured":"Reichel, H.: Structural induction on partial algebras. Mathematical research, vol.\u00a018. Akademie-Verlag, Berlin (1984)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"issue":"4","key":"8_CR20","first-page":"49","volume":"11","author":"K.-D. Schewe","year":"1993","unstructured":"Schewe, K.-D., Thalheim, B.: Fundamental concepts of object oriented databases. Acta Cybernetica\u00a011(4), 49\u201381 (1993)","journal-title":"Acta Cybernetica"},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s002360050155","volume":"36","author":"K.-D. Schewe","year":"1999","unstructured":"Schewe, K.-D., Thalheim, B.: Towards a theory of consistency enforcement. Acta informatica\u00a036, 97\u2013141 (1999)","journal-title":"Acta informatica"},{"key":"8_CR22","unstructured":"Schewe, K.-D., Thalheim, B.: Development of collaboration frameworks for web information systems. In: IJCAI 2007 (20th Int. Joint Conf on Artificial Intelligence, Section EMC 2007 (Evolutionary models of collaboration), Hyderabad, pp. 27\u201332 (2007)"},{"key":"8_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04058-4","volume-title":"Entity-relationship modeling \u2013 Foundations of database technology","author":"B. Thalheim","year":"2000","unstructured":"Thalheim, B.: Entity-relationship modeling \u2013 Foundations of database technology. Springer, Berlin (2000)"},{"key":"8_CR24","unstructured":"Tsiolakis, A.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. Technical Report 2000\/3, Technical University of Berlin, Computer Science (2000)"},{"key":"8_CR25","unstructured":"Vestenicky, V.: Schema integration as view cooperation. PhD thesis, Charles University Prague, Computer Science (2005)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Methods for Software Construction and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11447-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T12:40:07Z","timestamp":1685364007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11447-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642114465","9783642114472"],"references-count":25,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-642-11447-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}
