{"entities":{"Q1330423":{"pageid":1341173,"ns":120,"title":"Item:Q1330423","lastrevid":47260246,"modified":"2026-01-01T04:01:14Z","type":"item","id":"Q1330423","labels":{"en":{"language":"en","value":"A compositional framework for fault tolerance by specification transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 609564"}},"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":"Q1330423$2EC8B0F8-5683-45B8-BF05-6C324E937D27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5572072cb9bcb49135cd4b9a809f4eef611cef8a","datavalue":{"value":{"text":"A compositional framework for fault tolerance by specification transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330423$CE3782DF-EB7E-42B3-8CD6-806A13BFA4B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2c59f4a16c688d44f777fd01eecfa01c010e779","datavalue":{"value":"0812.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330423$F83EF3CC-EAA8-45B3-B66D-DEA3550E1504","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a68942c8d057891b1a13aa890b7e94c7e67efa8","datavalue":{"value":"10.1016/0304-3975(94)90166-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330423$44D90F03-3C39-4282-A63E-71371EA17458","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3979302b875c048dc5c989eccf025415e00902","datavalue":{"value":{"entity-type":"item","numeric-id":757078,"id":"Q757078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$0E9B1747-A6A5-4F32-8143-CBF8DCC422DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$EF3BD2DD-EFD4-435A-A98E-83AC08DFA436","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$E16FCD8E-37F6-45E2-8F14-51FA0120E2DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71edc96fcbd008bfd3061c3ff4af97a6b34cf242","datavalue":{"value":{"time":"+1994-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330423$993AF6A8-82C7-4130-AEBE-D65C0C712603","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ad443d9945327f900fa3bcfd9d4bd05a4ebb40d","datavalue":{"value":"A program can be converted into a fault-tolerant version by incorporation of a recovery algorithm into the given program. The properties of the recovery algorithm itself appear only as a fixed part of any application of this transformation on a formulae, expressed in temporal logic. The converted, fault-tolerant program has accordingly other specification than the basic one. The paper introduces a framework in which such program transformations are accompanied by a corresponding specification transformation.   The paper shows that it is not necessary to prove separately; the correctness of each transformed program, if the specification transformation has been carried out correctly. The paper presents a verification method for proving the correctness of the specification transformation.   The introduced specification transformation can also be used for other applications of program superposition, such as for deadlock detection.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330423$93C57636-FEF5-48B1-B486-154192D14185","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330423$01A7EA93-1BBD-44CE-94C5-F9C62C1336DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330423$D3AAFBF6-D9E9-4DD1-95E3-9BD46F33C035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330423$C8E87CB8-822B-4ECF-A905-79E517E5A393","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38a2973ab127dc5de4c854a5b0b149a59cafeae8","datavalue":{"value":"609564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330423$E76ED020-4954-4530-B05B-809BB67C73BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb1b162aa5df5223a2be9ec703fdbd5c5028c6b","datavalue":{"value":"specification transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330423$6DC58570-8144-4C2F-9187-470E3F97F1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102bab3882ef0085bad39044abbc30a769283506","datavalue":{"value":"program superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330423$872D7D05-C01D-4BC3-970E-33E31275961A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f8ff4e37ca923917187ada05cf5d58be49dce50","datavalue":{"value":{"entity-type":"item","numeric-id":1742377,"id":"Q1742377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$7F6E7515-26AA-4D2F-A8ED-57384657FD02","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$5AA5C7F9-14A8-4881-9A9C-B3AB53F60318","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":"Q1330423$40116A47-590D-4769-8C50-8CEC6F71E2EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c83eb07c8eb036d8487757e15724d726132008d","datavalue":{"value":{"entity-type":"item","numeric-id":3735060,"id":"Q3735060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$AC2E1B15-3F72-4986-8E4B-F209293CF861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$D06D3D84-0BB4-4985-9AF5-73F716483E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$F1781463-3D09-45EE-BF1C-654397C0E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1bfc73cddaf2fd9ed4483fd6b40a78290e1de6","datavalue":{"value":{"entity-type":"item","numeric-id":1090102,"id":"Q1090102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$40778A73-8010-4F32-8B0E-7EE6A544E2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d0914bdca48e6c2551bf3b4ba329eb5e3ee964","datavalue":{"value":{"entity-type":"item","numeric-id":3740209,"id":"Q3740209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$1E973808-4538-4D42-8B95-F95076C14A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c426a78f3bd52467e944e76ff889b81b5e40b2","datavalue":{"value":{"entity-type":"item","numeric-id":3976059,"id":"Q3976059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$2BB16996-B456-464A-8434-0F2FAC3AF59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$714700DD-7253-4E03-8E46-954EB1689B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68570c590aea6577fbdb8c1b492181e368e89267","datavalue":{"value":{"entity-type":"item","numeric-id":1201297,"id":"Q1201297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$C1645D6F-FF74-42F5-B5ED-613AD62DBE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$4C4DBE6C-EE12-485E-853A-9553BDE7C880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c327d54b89f1d9396d01a5c0a7b87dc33721b9","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$DA7CD0D0-C655-42CD-81D7-089986CBEFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2e9aeb250aee552f9c7acabe3d57da193b2393","datavalue":{"value":{"entity-type":"item","numeric-id":1187626,"id":"Q1187626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330423$E0133C1A-18C0-410C-9707-CEB585BCE847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98522aade3ab0f1afd476ad330104fbbdf21d14","datavalue":{"value":{"entity-type":"item","numeric-id":1201297,"id":"Q1201297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1413d2623a0c476702164fa45496e36d1bea5f","datavalue":{"value":{"amount":"+0.8138631582260132","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":"Q1330423$588F7F35-51E7-4989-8D53-2663E468F252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840413a97a81c5aae3b4b290eef25c08019e7976","datavalue":{"value":{"entity-type":"item","numeric-id":2730080,"id":"Q2730080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae00029ac63fe3e357fab680abee3dd35265b87","datavalue":{"value":{"amount":"+0.8071292042732239","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":"Q1330423$FD4D2F77-A37F-4EC0-9C33-F6FE23E7A506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c9f16645ae1bd89f915a28b04f5e50e13328de","datavalue":{"value":{"entity-type":"item","numeric-id":4520798,"id":"Q4520798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e849b4b762405ac3c206c1fcf8e1034b26bf494e","datavalue":{"value":{"amount":"+0.7940801978111267","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":"Q1330423$7D12A0D5-9336-4735-8BF6-75225C4CF07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9f0d92821a979f2878d2a5f39b94977c77e73e","datavalue":{"value":{"entity-type":"item","numeric-id":2766635,"id":"Q2766635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ee8289b6adf55a166355bd6c9edb0dee04aa1d","datavalue":{"value":{"amount":"+0.7630259394645691","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":"Q1330423$9548B17B-ED05-48BA-B653-E2B0D4754B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706132c4f847fe146974b37aff86c988ea9b6fab","datavalue":{"value":{"entity-type":"item","numeric-id":5458792,"id":"Q5458792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09271938c511c5c5fcff006108da496f7f0123ba","datavalue":{"value":{"amount":"+0.730993926525116","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":"Q1330423$9C039585-04F3-4897-A431-412FC055D0ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1330423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1330423"}}}}}