{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:02:43Z","timestamp":1725494563109},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418634"},{"type":"electronic","value":"9783540453147"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45314-8_11","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:01:23Z","timestamp":1194955283000},"page":"140-155","source":"Crossref","is-referenced-by-count":10,"title":["On Use Cases and Their Relationships in the Unified Modelling Language"],"prefix":"10.1007","author":[{"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Rajeev Alur and Thomas A. Henzinger. Reactive modules. Formal Methods in System Design, 15:7\u201348, 1999.","journal-title":"Formal Methods in System Design"},{"key":"11_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR 1998)","author":"R. Alur","year":"1998","unstructured":"Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, and Moshe Y. Vardi. Alternating refinement relations. In Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR 1998), number 1466 in LNCS, pages 163\u2013178. Springer-Verlag, 1998."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"C. Bolton and J. Davies. Activity graphs and processes. In Proceedings of IFM 2000, 2000.","DOI":"10.1007\/3-540-40911-4_6"},{"key":"11_CR4","unstructured":"Alistair Cockburn. Writing Effctive Use Cases. Addison-Wesley, 2001."},{"key":"11_CR5","unstructured":"Desmond D\u2019Souza and Alan Cameron Wills. Catalysis: Objects, Frameworks and Components in UML. Addison-Wesley, 1998."},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/3-540-44659-1_20","volume-title":"proceedings of TPHOLs 2000","author":"P. B. Jackson","year":"2000","unstructured":"Paul B. Jackson. Total correctness refinement for sequential reactive systems. In proceedings of TPHOLs 2000. (13th International Conference on Theorem Proving in Higher Order Logics), number 1869 in LNCS, pages 320\u2013337. Springer-Verlag, August 2000."},{"key":"11_CR7","unstructured":"OMG. Unified Modeling Language Specification version 1.3, June 1999. OMG document 99-06-08 available from \n                    http:\/\/www.omg.org\n                    \n                  ."},{"key":"11_CR8","first-page":"309","volume-title":"Proceedings of \u300aUML\u300b\u300b98: Beyond the Notation","author":"G. Overgaard","year":"1998","unstructured":"G. Overgaard and K. Palmkvist. A Formal Approach to Use cases and their Relationships. In P.-A. Muller and J. B\u00e9zivin, editors, Proceedings of \u300aUML\u300b\u300b98: Beyond the Notation, pages 309\u2013317. Ecole Sup\u00e9rieure des Sciences Appliqu\u00e9es pour l\u2019Ing\u00e9nieur-Mulhouse, Universit\u00e9 de Haut-Alsace, France, June 1998."},{"key":"11_CR9","volume-title":"Formal Specification of Object-Oriented Modelling Concepts","author":"G. Overgaard","year":"2000","unstructured":"Gunnar Overgaard. Formal Specification of Object-Oriented Modelling Concepts. PhD thesis, Department of Teleinformatics, Royal Institute of Technology, Stockholm, Sweden, 2000."},{"key":"11_CR10","unstructured":"James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison Wesley, 1998."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45314-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T01:08:45Z","timestamp":1551056925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45314-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418634","9783540453147"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45314-8_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}