{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T03:04:21Z","timestamp":1770433461929,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540695066","type":"print"},{"value":"9783540695073","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-69507-3_71","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T13:35:58Z","timestamp":1184592958000},"page":"819-831","source":"Crossref","is-referenced-by-count":13,"title":["Separation of Concerns and Consistent Integration in Requirements Modelling"],"prefix":"10.1007","author":[{"given":"Xin","family":"Chen","sequence":"first","affiliation":[]},{"given":"Zhiming","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Vladimir","family":"Mencl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"71_CR1","doi-asserted-by":"crossref","unstructured":"Andre, P., Romanczuk, A., Royer, J.-C., Vasconcelos, A.: Checking the Consistency of UML Class Diagrams Using Larch Prover. In: Proc. ROOM\u20192000, York, UK (2000)","DOI":"10.14236\/ewic\/ROOM2000.1"},{"key":"71_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-540-40020-2_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"E. Astesiano","year":"2003","unstructured":"Astesiano, E., Reggio, G.: An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 56\u201381. Springer, Heidelberg (2003)"},{"key":"71_CR3","unstructured":"Egyed, A.: Scalable Consistency Checking between Diagrams: The Viewintegra Approach. In: Proc. 16th\u00a0IEEE ASE, San Diego, USA (2001)"},{"key":"71_CR4","unstructured":"Engels, G., Kuester, J.M., Groenewegen, L.: Consistent Interaction of Software Components. In: Proc. of IDPT2002 (2002)"},{"key":"71_CR5","doi-asserted-by":"crossref","unstructured":"Engels, G., et al.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: Proc. FSE-10, Austria (2001)","DOI":"10.1145\/503209.503235"},{"issue":"1","key":"71_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programmin. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"71_CR7","unstructured":"Harel, D., Rumpe, B.: Modeling Languages: Syntax, Semantics and All that Stuff \u2013 part\u00a0I: The Basic Stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Israel (September 2000)"},{"key":"71_CR8","unstructured":"He, J., Li, X., Liu, Z.: rCOS: A Refinement Calculus for Object Systems. Theoretical Computer Science, Accepted (2006), also available as Technical Report 322, UNU-IIST, Macao, SAR China, http:\/\/www.iist.unu.edu\/"},{"key":"71_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"71_CR10","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"71_CR11","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)"},{"key":"71_CR12","volume-title":"The Rational Unified Process \u2013 An Introduction","author":"P. Kruchten","year":"2000","unstructured":"Kruchten, P.: The Rational Unified Process \u2013 An Introduction. Addison-Wesley, Reading (2000)"},{"key":"71_CR13","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns. Prentice-Hall, Englewood Cliffs (2001)"},{"key":"71_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1007\/978-3-540-39893-6_36","volume-title":"Formal Methods and Software Engineering","author":"Z. Liu","year":"2003","unstructured":"Liu, Z., Jifeng, H., Li, X., Chen, Y.F.: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 641\u2013664. Springer, Heidelberg (2003)"},{"key":"71_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/11560647_32","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"Q. Long","year":"2005","unstructured":"Long, Q., Qiu, Z., Liu, Z., Shao, L., Jifeng, H.: POST: A Case Study for an Incremental Development in rCOS. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 485\u2013500. Springer, Heidelberg (2005)"},{"key":"71_CR16","first-page":"1845","volume-title":"Proc. SAC\u201906","author":"I. Poernomo","year":"2006","unstructured":"Poernomo, I.: The Meta-Object Facility Typed. In: Proc. SAC\u201906, pp. 1845\u20131849. ACM Press, New York (2006)"},{"key":"71_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11786160_15","volume-title":"Architecting Systems with Trustworthy Components","author":"I. Poernomo","year":"2006","unstructured":"Poernomo, I.: A Type Theoretic Framework for Formal Metamodelling. In: Reussner, R., Stafford, J.A., Szyperski, C.A. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.\u00a03938, pp. 262\u2013298. Springer, Heidelberg (2006)"},{"key":"71_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-45314-8_13","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Reggio","year":"2001","unstructured":"Reggio, G., Cerioli, M., Astesiano, E.: Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol.\u00a02029, pp. 171\u2013186. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2007: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69507-3_71","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,24]],"date-time":"2020-04-24T22:08:54Z","timestamp":1587766134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69507-3_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540695066","9783540695073"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69507-3_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}