{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:37:21Z","timestamp":1752550641520,"version":"3.32.0"},"reference-count":15,"publisher":"Wiley","issue":"8","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":4473,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1994,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The Esprit DOCKET project seeks to reduce the problems associated with software maintenance through enhancing traditional, reverse engineering tools with other sources of knowledge, enabling mainters to produce more accurate system models. To produce accurate system models, knowledge about an information system, obtained from different sources, must be interpreted and integrated into a single model (known as the global system model in DOCKET). The definition and implementation of such a model involves the resolution of many issues. These include multiple views of a system at different levels of abstraction, handling inconsistency, incompleteness and system description evolution. This paper reports on the implementation of the Global System Model using the language SML. SML enabled design and implementation problems to be surmounted at a high level of abstraction and facilitated the rapid implementation and testing of the global system model, greatly reducing the effort required to implement it compared to more conventional facilities.<\/jats:p>","DOI":"10.1002\/spe.4380240803","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T17:06:02Z","timestamp":1163783162000},"page":"703-728","source":"Crossref","is-referenced-by-count":3,"title":["Experience realising a meta\u2010model for wide system understanding: The global system model"],"prefix":"10.1002","volume":"24","author":[{"given":"M. J.","family":"Freeman","sequence":"first","affiliation":[]},{"given":"P. J.","family":"Layzell","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"volume-title":"Tutorial on Software Maintenance","year":"1983","author":"Parikh G.","key":"e_1_2_1_2_2"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","unstructured":"P. J.LayzellandL.Macaulay \u2018An investigation into software maintenance\u2014perception and practice\u2019 Proc. IEEE Conference on Software Maintenance San Diego December1990 pp.130\u2013140.","DOI":"10.1109\/ICSM.1990.131342"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"P. J.Layzell R.ChampionandM. J.Freeman \u2018DOCKET: program comprehension\u2010in\u2010the\u2010large\u2019 Proc. 2nd IEEE Workshop on Program Comprehension Capri Italy 8\u20139 July 1993 pp.140\u2013148.","DOI":"10.1109\/WPC.1993.263897"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(90)90018-K"},{"journal-title":"Information and Software Technology.","article-title":"A meta\u2010model of information systems to support reverse engineering","author":"Freeman M. J.","key":"e_1_2_1_6_2"},{"volume-title":"Information Systems Methodologies: A Framework for Understanding","year":"1988","author":"Olle T. W.","key":"e_1_2_1_7_2"},{"key":"e_1_2_1_8_2","unstructured":"J. J. van Griethuysen (ed.) Concepts and Terminology for the Conceptual Schema and the Information Base ISO\/TC97\/SC5 1982."},{"volume-title":"SSADM","year":"1986","author":"Longworth G.","key":"e_1_2_1_9_2"},{"volume-title":"System Development","year":"1983","author":"Jackson M. A.","key":"e_1_2_1_10_2"},{"key":"e_1_2_1_11_2","unstructured":"I.MacDonald \u2018Information engineering\u2014an improved automatable methodology for designing data sharing systems\u2019 Proc. IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies: Improving the Practice Noordwijkerhout The Netherlands 5\u20137 May1986 pp.173\u2013224."},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/0268-4012(87)90014-4"},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","unstructured":"H.Sneed \u2018Inverse transformation of software from code to specification\u2019 IEEE Conference on Software Maintenance Phoenix AZ October1988 pp.102\u2013109.","DOI":"10.1109\/ICSM.1988.10149"},{"key":"e_1_2_1_14_2","doi-asserted-by":"crossref","unstructured":"P. J.LayzellandM. J.Freeman \u2018DOCKET: a CASE tool and method to support software system understanding and modification\u2019 Sixth International Workshop on Computer Aided Software Engineering Singapore 19\u201323 July1993 pp.221\u2013229.","DOI":"10.1109\/CASE.1993.634823"},{"key":"e_1_2_1_15_2","unstructured":"DOCKET DOCKET Architecture Manual UMIST UK 1991 copies available from the authors."},{"volume-title":"Object\u2010Oriented Databases","year":"1991","author":"Hughes J. G.","key":"e_1_2_1_16_2"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380240803","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380240803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:53:02Z","timestamp":1736639582000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380240803"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,8]]},"references-count":15,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1994,8]]}},"alternative-id":["10.1002\/spe.4380240803"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380240803","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"type":"print","value":"0038-0644"},{"type":"electronic","value":"1097-024X"}],"subject":[],"published":{"date-parts":[[1994,8]]}}}