{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T01:01:14Z","timestamp":1649034074458},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T00:00:00Z","timestamp":1204588800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1007\/s10270-008-0085-0","type":"journal-article","created":{"date-parts":[[2008,3,3]],"date-time":"2008-03-03T11:06:52Z","timestamp":1204542412000},"page":"287-301","source":"Crossref","is-referenced-by-count":4,"title":["Automatic maintenance of association invariants"],"prefix":"10.1007","volume":"7","author":[{"given":"James","family":"Welch","sequence":"first","affiliation":[]},{"given":"David","family":"Faitelson","sequence":"additional","affiliation":[]},{"given":"Jim","family":"Davies","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,4]]},"reference":[{"key":"85_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Arief, M.: Executable declarative business rules and their use in electronic commerce. In: SAC \u201902: Proceedings of the 2002 ACM symposium on Applied computing, pp. 6\u201310. ACM Press, New York (2002)","DOI":"10.1145\/508791.508794"},{"key":"85_CR2","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# programming system: An overview. In: Proceedings of CASSIS 2004. LNCS, vol. 3362. Springer, Heidelberg (2004)"},{"issue":"3","key":"85_CR3","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"Ceri S., Fraternali P., Paraboschi S. and Tanca L. (1994). Automatic generation of production rules for integrity maintenance. ACM Trans. Database Syst. 19(3): 367\u2013422","journal-title":"ACM Trans. Database Syst."},{"key":"85_CR4","doi-asserted-by":"crossref","unstructured":"Davies, J., Crichton, C., Crichton, E., Neilson, D., S\u00f8rensen, Ib H.: Formality, evolution, and model-driven software engineering. In: Proceedings of SBMF 2004, Electronic Notes in Computer Science. Elsevier, Amsterdam (2005)","DOI":"10.1016\/j.entcs.2005.03.004"},{"key":"85_CR5","doi-asserted-by":"crossref","unstructured":"Davies, J., Faitelson, D., Welch, J.: Domain-specific semantics and the data refinement of object models. In: Proceedings of SBMF 2006, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2007)","DOI":"10.1016\/j.entcs.2007.08.031"},{"key":"85_CR6","doi-asserted-by":"crossref","unstructured":"Demuth, B., Hussmann, H., Loecher, S.: OCL as a Specification Language for Business Rules in Database Applications. In: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pp. 104\u2013117, London, UK. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45441-1_9"},{"key":"85_CR7","doi-asserted-by":"crossref","unstructured":"Faitelson, D., Welch, J., Davies, J.:. From predicates to programs: the semantics of a method language. In: Proceedings of SBMF 2005, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2006)","DOI":"10.1016\/j.entcs.2007.03.021"},{"key":"85_CR8","volume-title":"Object-Oriented Databases: A Semantic Data Model Approach","author":"P.M.D. Gray","year":"1992","unstructured":"Gray P.M.D., Kulkarni K.G. and Paton N.W. (1992). Object-Oriented Databases: A Semantic Data Model Approach. Prentice Hall, USA"},{"key":"85_CR9","doi-asserted-by":"crossref","unstructured":"Hall, A.: Using Z as a Specification Calculus for Object-Oriented Systems. In: VDM \u201990: Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development, pp. 290\u2013318, London, UK. Springer, Heidelberg (1990)","DOI":"10.1007\/3-540-52513-0_16"},{"key":"85_CR10","volume-title":"Object-Oriented Databases","author":"J.G. Hughes","year":"1991","unstructured":"Hughes J.G. (1991). Object-Oriented Databases. Prentice Hall, USA"},{"key":"85_CR11","unstructured":"Jagadish, H.V., Qian, X.: Integrity maintenance in object-oriented databases. In: Proceedings of the 18th International Conference on Very Large Data Bases, pp. 469\u2013480. Morgan Kaufmann Publishers Inc., Los Altos (1992)"},{"key":"85_CR12","volume-title":"MDA Explained, The Model Driven Architecture: Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe A., Warmer J. and Bast W. (2003). MDA Explained, The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading"},{"key":"85_CR13","first-page":"62","volume-title":"ER (Workshops), of Lecture Notes in Computer Science, vol. 1727","author":"E. Mayol","year":"1999","unstructured":"Mayol E. and Teniente E. (1999). A survey of current methods for integrity constraint maintenance and view updating. In: Chen, P.P., Embley, D.W., Kouloumdjian, J., Liddle, S.W. and Roddick, J.F. (eds) ER (Workshops), of Lecture Notes in Computer Science, vol. 1727, pp 62\u201373. Springer, Heidelberg"},{"key":"85_CR14","volume-title":"Model Driven Architecture with Executable UML","author":"C. Raistrick","year":"2004","unstructured":"Raistrick C., Francis P., Wright J., Carter C. and Wilkie I. (2004). Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge"},{"key":"85_CR15","first-page":"174","volume-title":"FMLDO, Workshops in Computing","author":"K.-D. Schewe","year":"1992","unstructured":"Schewe K.-D., Thalheim B., Schmidt J.W. and Wetzel I. (1992). Integrity enforcement in object-oriented databases. In: Lipeck, U.W. and Thalheim, B. (eds) FMLDO, Workshops in Computing, pp 174\u2013195. Springer, Heidelberg"},{"key":"85_CR16","unstructured":"Progress Software. ObjectStore Database (2006). www.objectstore.com"},{"key":"85_CR17","doi-asserted-by":"crossref","unstructured":"Welch, J., Faitelson, D., Davies, J.: Automatic maintenance of association invariants. In: Proceedings of SEFM 2005, pp. 282\u2013292. Springer, Heidelberg (2005)","DOI":"10.1109\/SEFM.2005.9"},{"key":"85_CR18","unstructured":"Woodcock, J., Davies, J.: Using Z. Prentice Hall, USA (1996) www.usingz.com"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0085-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0085-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0085-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:55:25Z","timestamp":1559116525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0085-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,4]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["85"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0085-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,4]]}}}