{"entities":{"Q1284698":{"pageid":1295448,"ns":120,"title":"Item:Q1284698","lastrevid":67444998,"modified":"2026-04-12T17:53:46Z","type":"item","id":"Q1284698","labels":{"en":{"language":"en","value":"Towards a theory of consistency enforcement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1279211"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284698$59F16F5A-1C42-480C-8D26-4C73C0E83BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dab1e4195e18cb3be8d3586892c3e04fce6775a2","datavalue":{"value":{"text":"Towards a theory of consistency enforcement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284698$082DD191-F380-41C8-9E65-1E31A1B092D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7bf7808ec69bc5435f22c2e2eed57d68500d886","datavalue":{"value":"0927.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284698$73CE6FB6-D6EA-4857-9B7D-BCBB121CB335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284698$DD46B119-97B7-4DCA-B9BC-95114A9CBFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faa31f5f6544f4477ca3d945a3ede1d3cd9b3b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1284697,"id":"Q1284697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284698$CF14AAE7-CECD-4671-B754-D40DF6753E18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284698$E2EB6FED-CD2E-46D2-B082-51073376CEC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284698$DF48478F-51C6-493C-B17C-5D134D1EEDFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29a24c6a83c8914857cd011182b683d20c0d6f59","datavalue":{"value":"The article discusses consistency enforcement for static invariants as an alternative to consistency verification in model-based formal specifications. The basic idea is to replace inconsistent operations by new consistent ones preserving at the same time the intention of the old one. More precisely, this can be formalized by consistent spezializations, where specialization is a specific partial order on semantic equivalence classes of operations defined via predicate transformers.   In the article it is shown that Greatest Consistent Specializations (GCSs) always exist and are compatible with conjunctions of invariants. Then under certain technical restrictions described by the notion of \\({\\mathcal I}\\)-reducedness a compositionality result for the construction of such GCSs is achieved. Precisely, given the GCSs of simple basic assignments the GCS of a complex operation results from replacing involved assignments by their GCSs and the investigation of a guard.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284698$36947A21-6F56-4B24-9476-D3962CFBE218","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45e32328b29b367ab2aa6bec3bbf956a4b29653f","datavalue":{"value":{"entity-type":"item","numeric-id":1284697,"id":"Q1284697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284698$FB97E7A6-53D8-44E0-AC16-2FE357876EB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284698$09020B87-8191-45F4-9240-F3FE761200C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e65b78d7f052bc4382045a839fe99c448325a77","datavalue":{"value":"1279211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284698$30616E48-5C19-4232-8E54-DAE45C24DE9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e11cae05a4d889fdc811a6df961170b83a3280","datavalue":{"value":"greatest consistent specializations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284698$BF292CD3-AAC1-41EB-9F39-BD026048FDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac21ca53a12992042f7c00f07d00eb4c03a37bff","datavalue":{"value":"consistency enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284698$F12F09AE-5111-4088-8795-38E5A16FD52A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284698$6FA37FE3-D5E4-4CC2-A2F4-E75AA30F4DED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77464cce08d5011febccc0f753bc4d7dfe2fb41f","datavalue":{"value":"https://doi.org/10.1007/s002360050155","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284698$A969EA14-4EA5-40F9-AE17-A5AE8DC17296","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c3204831993ae3d8e57b1285f6ff40653784824","datavalue":{"value":"W1989131788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284698$1A0D93CA-5EC1-4D99-A5B2-353D179505A0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"51f9e9b85af04ed00c97e079e0cc85ce2857e59a","datavalue":{"value":"Q57376473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284698$610D01D3-FA81-4F2B-9F07-8BAB06970C23","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"527a0e636f236ecea14689133e4e5cf59ef594a6","datavalue":{"value":"journals/acta/ScheweT99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284698$9649167D-C20C-42D6-AE38-A8ED841CE40B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fa4956f7f6cf98bfb03521372985c5ac8aaa472","datavalue":{"value":"10.1007/S002360050155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284698$D9408C45-463F-407C-A24E-B545D9DD1806","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5879bb3e98138959a7581053d62ab8c1735104c","datavalue":{"value":{"entity-type":"item","numeric-id":4671951,"id":"Q4671951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aba5719b02e22e627c832ee0b869b0d8f93f5ca","datavalue":{"value":{"amount":"+0.8600627779960632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284698$A30A30F9-3EFC-4474-A369-ECDAE45C7D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5828b9971ec80406e773e2d2653d1d822fa57508","datavalue":{"value":{"entity-type":"item","numeric-id":2841258,"id":"Q2841258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f67ef906ea53f955642f2f984b811d56b9df655","datavalue":{"value":{"amount":"+0.8347852826118469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284698$0CBEA989-A414-43F3-A97B-4C1756782452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f3dc062dffcda6aa3fcd989602662e5456efe7","datavalue":{"value":{"entity-type":"item","numeric-id":2703751,"id":"Q2703751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ad5bfb5387f885488dae219c0f0faabeba3299","datavalue":{"value":{"amount":"+0.8136805891990662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284698$21C2138D-653C-4D12-9503-1D9AC167A3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e3661a6bb54da53a96963c945dbcf6d27df98c","datavalue":{"value":{"entity-type":"item","numeric-id":4413448,"id":"Q4413448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f1f23d776f45c8c9d67efe5f0a88a9ffedff8f","datavalue":{"value":{"amount":"+0.7930492758750916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284698$6B6BDF43-9CAB-415B-BCCA-7D6C49A7EE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346b5f00643fae748e1bc6e16fec5329fdce8ce9","datavalue":{"value":{"entity-type":"item","numeric-id":4472216,"id":"Q4472216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015fa20e6bd5941139e0c976c8e495bf54e06998","datavalue":{"value":{"amount":"+0.7796616554260254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284698$99121B2A-BD20-4B51-9787-B95B33B3193F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a theory of consistency enforcement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_theory_of_consistency_enforcement"}}}}}