{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T03:49:44Z","timestamp":1770436184376,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540204619","type":"print"},{"value":"9783540398936","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_36","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:35:57Z","timestamp":1294396557000},"page":"641-664","source":"Crossref","is-referenced-by-count":27,"title":["A Relational Model for Formal Object-Oriented Requirement Analysis in UML"],"prefix":"10.1007","author":[{"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Jifeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoshan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifeng","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Aguirre, N., Maibaum, T.: A temporal logic approach to component-based system specification and verification. In: Proc. ICSE 2002 (2002)"},{"key":"36_CR2","unstructured":"Back, R.J.R., Petre, L., Paltor, I.P.: Formalizing UML use cases in the refinement calculus. Technical Report 279, Turku Centre for Computer Science, Turku, Finland (May 1999)"},{"key":"36_CR3","series-title":"Component Software series","volume-title":"UML Components","author":"J. Cheesman","year":"2001","unstructured":"Cheesman, J., Daniels, J.: UML Components. Component Software series. Addison-Wesley, Reading (2001)"},{"key":"36_CR4","unstructured":"Davies, J., Crichton, C.: Concurrency and refinement in the unified modelling language. In: Preliminary Proceedings of REFINE 2002: An FME Sponsored Refinement Workshop in Collaboration with BCS FACS, Copenhagen, Denmark (2002)"},{"key":"36_CR5","volume-title":"Objects, Components and Framework with UML: The Catalysis Approach","author":"D. D\u2019Souza","year":"1998","unstructured":"D\u2019Souza, D., Wills, A.C.: Objects, Components and Framework with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)"},{"key":"36_CR6","unstructured":"Egyed, A.: Scalable consistency checking between diagrams: The Viewintegra approach. In: Proc. of the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA (2001)"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Engels, G., Kuster, J.M., Heckel, R., Groenewewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: The Proc. of International Conference on Foundation of Software Engineering, FSE-10, Austria (2001)","DOI":"10.1145\/503271.503235"},{"key":"36_CR8","volume-title":"Fomal Methods and Object Technology","author":"J. Fiadeiro","year":"1996","unstructured":"Fiadeiro, J., Maibaum, T.: Design structures for object-based systems. In: Goldsack, S., Kent, S. (eds.) Fomal Methods and Object Technology. Springer, Heidelberg (1996)"},{"key":"36_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-45314-8_8","volume-title":"Fundamental Approaches to Software Engineering","author":"C. Fischer","year":"2001","unstructured":"Fischer, C., Olderog, E.-R., Wehrheim, H.: A CSP view on UML-RT structure diagrams. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 91\u2013108. Springer, Heidelberg (2001)"},{"key":"36_CR10","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","volume":"19","author":"R. France","year":"1998","unstructured":"France, R., Evans, A., Lano, K., Rumpe, B.: The UML as a formal modeling notation. Computer Standards & Interfaces\u00a019, 325\u2013334 (1998)","journal-title":"Computer Standards & Interfaces"},{"key":"36_CR11","unstructured":"Object Modelling Group. Unified Modelling Language Specification, version 1.3 (1999), URL: \n                    \n                      uml.shl.com:80\/docs\/UML.1.3\/99-06-08.pdf"},{"key":"36_CR12","unstructured":"Harel, D., Rumpe, B.: Modeling languages: Syntax, semantics and all that stuff - part I: The basic stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Israel (September 2000)"},{"key":"36_CR13","unstructured":"He, J., Liu, Z., Li, X.: A relational model for object-oriented programming. Technical Report UNU\/IIST Report No 231, UNU\/IIST, P.O. Box 3058, Macau (March 2001)"},{"key":"36_CR14","volume-title":"Proc. ICCI 2002","author":"J. He","year":"2002","unstructured":"He, J., Liu, Z., Li, X.: Towards a refinement calculus for object-oriented systems. In: Proc. ICCI 2002, Alberta, Canada. IEEE Computer Scociety, Los Alamitos (2002)"},{"key":"36_CR15","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 International, Englewood Cliffs (1998)"},{"key":"36_CR16","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":"36_CR17","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Formal semantics for interacting UML subsystems. In: FMOODS 2002, pp. 29\u201344 (2002)","DOI":"10.1007\/978-0-387-35496-5_4"},{"key":"36_CR18","volume-title":"OOPSLA 1997","author":"S. Kent","year":"1997","unstructured":"Kent, S.: Constraint diagrams: Visualising invariants in object-oriented models. In: OOPSLA 1997. ACM Press, New York (1997)"},{"key":"36_CR19","unstructured":"Kruchten, P.: The Rational Unified Process \u2013 An Introduction, 2nd edn."},{"key":"36_CR20","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns. Prentice-Hall International, Englewood Cliffs (2001)"},{"key":"36_CR21","first-page":"215","volume-title":"COMPSAC 2001","author":"X. Li","year":"2001","unstructured":"Li, X., Liu, Z., He, J.: Formal and use-case driven requirement analysis in UML. In: COMPSAC 2001, Illinois, USA, October 2001, pp. 215\u2013224. IEEE Computer Society, Los Alamitos (2001)"},{"key":"36_CR22","doi-asserted-by":"crossref","unstructured":"Li, X., Liu, Z., He, J.: Generating a prototype from a UML model of system requirements (2003) (Submitted for publication)","DOI":"10.1007\/978-3-540-30555-2_30"},{"key":"36_CR23","unstructured":"Liu, J., Liu, Z., Li, X., He, J.: Towards an integrating a formal method with the Rational Unified Process (2003) (Submitted for publication)"},{"key":"36_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/3-540-36103-0_54","volume-title":"Formal Methods and Software Engineering","author":"Z. Liu","year":"2002","unstructured":"Liu, Z., Li, X., He, J.: Using transition systems to unify uml models. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 535\u2013547. Springer, Heidelberg (2002)"},{"key":"36_CR25","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Mana","year":"1981","unstructured":"Mana, Z., Pnueli, A.: The temporal framework for concurrent programs. In: Boyer, R.S., Moore, J.S. (eds.) The Correctness Problem in Computer Science, pp. 215\u2013274. Academic Press, London (1981)"},{"key":"36_CR26","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.) FASE 2001. LNCS, vol.\u00a02029, p. 171. Springer, Heidelberg (2001)"},{"key":"36_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/BFb0057795","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"B. Selic","year":"1998","unstructured":"Selic, B.: Using UML for modelling complex real-time systems. In: M\u00fcller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol.\u00a01474, pp. 250\u2013262. Springer, Heidelberg (1998)"},{"key":"36_CR28","volume-title":"The Object Constraint Language: precise modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: precise modeling with UML. Addison-Wesley, Reading (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:30:08Z","timestamp":1558294208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}