{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:13:09Z","timestamp":1775052789413,"version":"3.50.1"},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5025,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1995,6]]},"abstract":"<jats:p>We propose a semantic framework for dynamic systems, which, in a sense, extends the well-known algebraic approach for modelling static data structures to the dynamic case. The framework is based on a new mathematical structure, called a d-oid, consisting of a set of instant structures and a set of dynamic operations. An instant structure is a static structure, <jats:italic>e.g<\/jats:italic>. an algebra; a dynamic operation is a transformation of instant structures with an associated point to point map, which allows us to keep track of the transformations of single objects and thus is called a tracking map. By an appropriate notion of morphism, the d-oids over a dynamic signature constitute a category.<\/jats:p><jats:p>It is shown that d-oids can model object systems and support an abstract notion of possibly unique object identity; moreover, for a d-oid satisfying an identity preserving condition, there exists an essentially equivalent d-oid where the elements of instant structures are just names.<\/jats:p>","DOI":"10.1017\/s0960129500000736","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:00:54Z","timestamp":1236157254000},"page":"257-282","source":"Crossref","is-referenced-by-count":28,"title":["D-oids: a model for dynamic data-types"],"prefix":"10.1017","volume":"5","author":[{"given":"Egidio","family":"Astesiano","sequence":"first","affiliation":[]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000736_ref016","doi-asserted-by":"crossref","unstructured":"Wegner P. (1987) Dimensions of object based language design. In: Proc. OOPSLA \u201887 168\u2013182.","DOI":"10.1145\/38765.38823"},{"key":"S0960129500000736_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BF00995808"},{"key":"S0960129500000736_ref013","first-page":"264","article-title":"Evolving algebras, a tutorial introduction","volume":"43","author":"Gurevich","year":"1991","journal-title":"Bulletin of the EATCS"},{"key":"S0960129500000736_ref011","doi-asserted-by":"crossref","unstructured":"Goguen J. A. and Diaconescu R. (1993) Towards an algebraic semantics for the object paradigm. In: Proc. ADT \u201892. Springer-Verlag Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-57867-6_1"},{"key":"S0960129500000736_ref010","volume-title":"IFIP - Formal Description of Programming Concepts II","author":"Gaudel","year":"1983"},{"key":"S0960129500000736_ref009","volume-title":"IFIP - Formal Description of Programming Concepts II","author":"Ganzinger","year":"1983"},{"key":"S0960129500000736_ref007","unstructured":"Dauchy P. (1992) D\u00e9veloppement et Exploitation d\u2019une Sp\u00e9cification Alg\u00e9brique du Logiciel Embarqu\u00e9 d\u2019un M\u00e9tro. PhD thesis, Universite de Paris-Sud, Centre d\u2019Orsay, Paris."},{"key":"S0960129500000736_ref005","unstructured":"B\u00f6rger E. and Rosenzweig D. (1992) The WAM-definition and compiler correctness. Technical Report 14\/92, Dipartimento di Informatica, Universit\u00e0 di Pisa."},{"key":"S0960129500000736_ref004","unstructured":"Astesiano E. and Zucca E. (1994) A free construction of dynamic terms. (To appear in Journal of Computer and System Sciences.)"},{"key":"S0960129500000736_ref003","article-title":"Algebraic specification of concurrency","volume":"655","author":"Astesiano","year":"1992","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129500000736_ref008","volume-title":"Proc. ISCORE \u201893 (International Workshop on Information Systems - Correctness and Reusability","author":"Dauchy","year":"1993"},{"key":"S0960129500000736_ref001","volume-title":"Abstract and Concrete Categories","author":"Ad\u00e1mek","year":"1990"},{"key":"S0960129500000736_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)72018-4"},{"key":"S0960129500000736_ref017","article-title":"Algebraic Methods: Theory, Tools and Applications","volume":"394","author":"Wirsing","year":"1987","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129500000736_ref002","volume-title":"Proc. ISCORE \u201893","author":"Ancona","year":"1993"},{"key":"S0960129500000736_ref012","first-page":"417","volume-title":"Research Direction in Object-Oriented Programming","author":"Goguen","year":"1987"},{"key":"S0960129500000736_ref006","doi-asserted-by":"crossref","unstructured":"Breu R. (1991) Algebraic Specification Techniques in Object Oriented Programming Environment. PhD thesis, Universit\u00e4t Passau - TU M\u00fcnchen, Berlin.","DOI":"10.1007\/3-540-54972-2"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T21:43:09Z","timestamp":1557783789000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000736\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,6]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["S0960129500000736"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000736","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,6]]}}}