{"entities":{"Q869690":{"pageid":871538,"ns":120,"title":"Item:Q869690","lastrevid":64967178,"modified":"2026-04-11T23:25:29Z","type":"item","id":"Q869690","labels":{"en":{"language":"en","value":"A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5131650"}},"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":"Q869690$89797C00-4B27-4997-BC9A-FDD7F304F042","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c6b8f1d0ad1e7d90f911f179fc7274a70adb21e","datavalue":{"value":{"text":"A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q869690$A5F641E8-C857-4651-9CF7-BBB5061549C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32ce8dc62f564b6a5726ef78b7cd83d1dfcdf588","datavalue":{"value":"1109.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869690$CA9F16E6-3D99-42B0-9632-59BBADBEAED9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05189a997ca4b691f687bff1ec7aaa1b6fd6d335","datavalue":{"value":{"entity-type":"item","numeric-id":869686,"id":"Q869686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869690$FF819480-7A5E-4AD7-8D18-0296097D540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"033ae85e257048e751eba9ae7b70d186243a7b50","datavalue":{"value":{"entity-type":"item","numeric-id":869687,"id":"Q869687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869690$90984997-2485-4838-AF2A-4A54B4E12FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8abe01e1976c8a563c2287764f9bac9526a8d0a5","datavalue":{"value":{"entity-type":"item","numeric-id":869688,"id":"Q869688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869690$00A7F67C-A2CA-44CD-80ED-CB0A01F9EDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78b9ca773dedf837f25c3e162afd13d97740f776","datavalue":{"value":{"entity-type":"item","numeric-id":869689,"id":"Q869689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869690$F711D639-468E-46AD-8670-147800486AFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q869690$DDD793DE-86D0-4F5B-BB92-CD7C179F9C40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98de7ac5d0d4ff1396834df23ff7caf6645b6ad9","datavalue":{"value":{"time":"+2007-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q869690$A9DC13D3-EE4D-4600-AFFE-28DE48AAA6D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869690$8F57A99A-0A44-4CC9-BB58-71A12AAFA0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869690$40A7D7E1-1588-4993-8FDA-B17E35E05247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d30dc1fa6f9ea740c204e924f818a53fd1dd5214","datavalue":{"value":"5131650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869690$D3801A02-B6E1-4C3E-AE58-26C1F5A21A7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c42d8f3c81a7663c42a3ca52b236029dac6d42b","datavalue":{"value":"CSP+T","type":"string"},"datatype":"string"},"type":"statement","id":"Q869690$ABBEB890-115F-4184-AC1B-8457E4B132E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q869690$3A8D5CB3-4D8A-46E2-AE63-5DBECAB2A0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c31daf4ce104153d683c713571291a1372f6f03e","datavalue":{"value":"real-time software systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q869690$EB2CA53E-E3C3-4B4F-988B-2E9B824BCCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d088180e5c7ba4ccb1e897ac5c478623bb5328d1","datavalue":{"value":"UML-RT","type":"string"},"datatype":"string"},"type":"statement","id":"Q869690$40E4DD0A-5811-41B2-98F3-A02E06A7980E","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":"Q869690$E6921F77-E160-4AB9-9CFE-DF3F5ABC6FE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e748c28a43f4c2edf6233ec36380a7ed4414f0e","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.08.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q869690$6B7913DB-02CC-4B7D-B916-E0CAA00CE3D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9660c0d88f92ba72ff0d27745f63ec4bf7505d2e","datavalue":{"value":"W1968483059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869690$DDD4EE7E-9FF6-46D2-A661-82C3685C0ECB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24fc73ed41169f22dd82d492846acc30e1f1356c","datavalue":{"value":"10.1016/J.SCICO.2006.08.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q869690$B2082F36-CD09-4E58-93D2-7EBA2756F17B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbe74af66d26e2582dbb9c083db7a49316ffcb8","datavalue":{"value":{"entity-type":"item","numeric-id":4417825,"id":"Q4417825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7ea5736a0745e9f6adcfa831ba14553107c091","datavalue":{"value":{"amount":"+0.8211275935173035","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":"Q869690$ECAF4B7C-6DFD-4B09-9159-87C3D2EFB79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94237608cd26ef4c16d4bc0609423dac1f3615f5","datavalue":{"value":{"entity-type":"item","numeric-id":2703737,"id":"Q2703737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae27d2f37a4153ebb081dc51e99f17952f8affbe","datavalue":{"value":{"amount":"+0.8094973564147949","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":"Q869690$A071DE24-3F09-4671-B24E-854D80388756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1f84139a6208c0aa467c89490785cfc0c5d637","datavalue":{"value":{"entity-type":"item","numeric-id":4421296,"id":"Q4421296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2554dcf186b744cc45473a8a8a5ca0fae183e71","datavalue":{"value":{"amount":"+0.7748202681541443","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":"Q869690$85D1B7C8-8607-4F4C-8651-DE03C7FCBF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422a4412c1148c23d193fc2adc222c00112f8f78","datavalue":{"value":{"entity-type":"item","numeric-id":4435871,"id":"Q4435871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2554dcf186b744cc45473a8a8a5ca0fae183e71","datavalue":{"value":{"amount":"+0.7748202681541443","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":"Q869690$B7950478-B350-4FA5-9274-E6B4E3688F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddc8fbcfde29dc89b295d829e70c652943b77bf","datavalue":{"value":{"entity-type":"item","numeric-id":2873608,"id":"Q2873608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546744318015bb22ade03dc4f3a053913ceac257","datavalue":{"value":{"amount":"+0.7699066996574402","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":"Q869690$A71956B2-F992-4966-8E8B-9B984F9F6A3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_methodological_approach_to_the_formal_specification_of_real-time_systems_by_transformation_of_UML-RT_design_models"}}}}}