{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:14:32Z","timestamp":1725718472828},"publisher-location":"Boston, MA","reference-count":13,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461373834"},{"type":"electronic","value":"9781461552291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-1-4615-5229-1_11","type":"book-chapter","created":{"date-parts":[[2013,3,10]],"date-time":"2013-03-10T20:07:08Z","timestamp":1362946028000},"page":"161-174","source":"Crossref","is-referenced-by-count":2,"title":["Formalising the UML in Structured Temporal Theories"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Lano","sequence":"first","affiliation":[]},{"given":"Juan","family":"Bicarregui","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"C Atkinson and M Weisskopf. An approach to process description using FUSION. In Object-oriented Development at Work: The FUSION Method in the Real World. Prentice Hall, 1996.","DOI":"10.1016\/S0967-0661(96)90032-5"},{"key":"11_CR2","volume-title":"ECOOP 97, LNCS","author":"JC Bicarregui","year":"1997","unstructured":"J C Bicarregui, K C Lano, and T S E Maibaum. Objects, associations and subsystems: a hierarchical approach to encapsulation. In ECOOP 97, LNCS. Springer-Verlag, 1997."},{"key":"11_CR3","unstructured":"D Coleman, P Arnold, S Bodoff, C Dollin, H Gilchrist, F Hayes, and P Jeremaes. Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series, 1994."},{"key":"11_CR4","unstructured":"[CD94]S Cook and J Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, September 1994."},{"key":"11_CR5","unstructured":"[R97]Rational Software et al. UML documentation set version 1.1, \n                  http:\/\/www.rational.com\n                  \n                \/uml, 1997."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"A Evans, R France, K Lano, and B Rumpe. The UML as a formal modelling notation, 1998.","DOI":"10.1016\/S0920-5489(98)00020-8"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"M Gogolla and M Richters. Equivalence rules for UML class diagrams. In UML 98, 1998.","DOI":"10.1007\/978-3-540-48480-6_8"},{"key":"11_CR8","unstructured":"[L97]K Lano. Transformations on syntropy and UML models, 1997. Technical Report, \u201cFormal Underpinnings for Object Technology\u201c project, Dept. of Computing, Imperial College."},{"issue":"5","key":"11_CR9","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1093\/logcom\/8.5.679","volume":"8","author":"L98K Lano","year":"1998","unstructured":"[L98]K Lano. Logical specification of reactive and real-time systems. Journal of Logic and Computation, 8(5):679\u2013711, 1998.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR10","unstructured":"[LB98]K Lano and J Bicarregui. UML refinement and abstraction transformations. In ROOM 2 Workshop. Bradford University, 1998."},{"key":"11_CR11","unstructured":"[LE99]K Lano and A Evans. Verification of uml models, 1999. Technical Report, \u201cFormal Underpinnings for Object Technology\u201d project, Dept. of Computing, Imperial College."},{"key":"11_CR12","unstructured":"M Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1992."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"[WJS93]R Wieringa, W de Jonge, and P Spruit. Roles and dynamic subclasses: A model logic approach. Technical report, IS-CORE report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, 1993.","DOI":"10.1007\/BFb0052175"}],"container-title":["Behavioral Specifications of Businesses and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4615-5229-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T05:45:12Z","timestamp":1557553512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4615-5229-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9781461373834","9781461552291"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4615-5229-1_11","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}