{"entities":{"Q1116320":{"pageid":1127069,"ns":120,"title":"Item:Q1116320","lastrevid":66160707,"modified":"2026-04-12T07:57:19Z","type":"item","id":"Q1116320","labels":{"en":{"language":"en","value":"Specifying distributed computer architectures in AADL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4088899"}},"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":"Q1116320$73890434-6431-4A21-A58F-0B80F1978761","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e47c63b49319fec3afaada251b55803b1b22859","datavalue":{"value":{"text":"Specifying distributed computer architectures in AADL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1116320$FA594C13-A13B-4E52-9F1A-912F3131F1B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d27dae5602efd4579857be6112e6be062321227b","datavalue":{"value":"0665.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116320$5AC3541B-48C5-4E05-823B-F75C0624F177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d309adeebf9f8e00d206ebfda20c843779dfb5d0","datavalue":{"value":"10.1016/0167-8191(89)90128-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116320$88161AC5-A556-4D64-9E8B-7F1F18FFF9E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0819517f6797f40e9daf5db654b1d9f8a25e7f50","datavalue":{"value":{"entity-type":"item","numeric-id":1116319,"id":"Q1116319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116320$84F9D2FB-6960-485D-A9CD-8393AC8D0FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116320$2272E41D-3212-47A0-BA02-3E2F69D6DEF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eeac13f60c55bdb04ecb49274cc7b24a1688345d","datavalue":{"value":{"entity-type":"item","numeric-id":71527,"id":"Q71527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116320$5A24BC25-2FCD-4035-A056-A353ECC7FCB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1116320$1721FDCA-A29A-4B54-B77D-708EB3E25BB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae58b54287bd0907a6b98f158401f7b33196f603","datavalue":{"value":"This paper presents a specification-methodology for distributed computer architectures based on the axiomatic architecture description language AADL. AADL allows for a modular and concise specification of multiprocessor architectures at levels of abstraction ranging from compiler/operating-system interface down to chip-level. The specification method is illustrated by several examples taken from an AADL-definition of an abstract view of DOOM, a distributed object oriented machine, currently developed at Philips Research Laboratories, Eindhoven within ESPRIT-project 415.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116320$7C3E8F58-0293-4DA4-BF34-438E85F4212A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116320$BD45599E-D7DA-44E0-BB29-4B9F8BC04830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116320$FDCAA32E-BBE3-4ECD-A690-029EAF1D527F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51467e42cba77f64af7a23b9b3c9ce06f5a297f3","datavalue":{"value":"4088899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116320$6DA04378-3A25-429C-89C5-F7A6245B6576","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116320$79AEEE19-5981-4529-B00D-AB7EA390B9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116320$AFF79022-A935-4932-95C6-F13E7A7E897B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e0ffe27c99fa94ed5b1da9c26054a831547cf7","datavalue":{"value":"hierarchic design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116320$38A5CDC3-CC30-42C3-95D4-F27108E9824C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"123506a8d284f65af86fe35bf2855bc3dda68c64","datavalue":{"value":"distributed computer architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116320$192CF02F-9F1E-4257-9628-DAB9B7895EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f1d599f49ee2a898b49354be24d722870d4dbf","datavalue":{"value":"architecture description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116320$F7565CD0-79C3-40C8-85A3-7880D5CE3C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5857f76acc4c6e422115b9b8c49fc730f7f62b","datavalue":{"value":"multiprocessor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116320$5BF1729A-1F10-4387-B8FA-FBEF40BF5E77","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":"Q1116320$E85B62C5-40CC-4010-8B24-93FEC8398BFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0ad104d139f688f71385fb79a0b890b41807128","datavalue":{"value":"https://doi.org/10.1016/0167-8191(89)90128-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1116320$F08FA8D2-F3BD-48D7-AC18-0D407A0EB414","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c3eab0287de28abcec8ac196e0dbc26d9395ef7","datavalue":{"value":"W2089688233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116320$8131BB76-FADB-4283-B534-B6AD9990FABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b73b61fb075ee41fa8e36bcb24b38adc915702b","datavalue":{"value":{"entity-type":"item","numeric-id":3721801,"id":"Q3721801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9eead9125238d1c2d47e1e3f2af33c59e5f572","datavalue":{"value":{"amount":"+0.8725593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116320$AC85A2A1-6CD6-4BA5-A223-7474802B1E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd949f16d0bf6be49cc213c409bbf3ce8366464","datavalue":{"value":{"entity-type":"item","numeric-id":1089790,"id":"Q1089790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1063d9efcd91c6ae15f308c122cedbd21321d82","datavalue":{"value":{"amount":"+0.8628629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116320$762B62C9-2851-46CB-9702-A6AFCE812F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1db904de6cdfc733fa1374be65f9332c016d63","datavalue":{"value":{"entity-type":"item","numeric-id":2739560,"id":"Q2739560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480769eef34343974c499ccba8697f8169457448","datavalue":{"value":{"amount":"+0.8574071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116320$01D15C08-0013-4447-A9CD-13337A082EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edcd92a7db476a82bf885ead04d707bae7f2277","datavalue":{"value":{"entity-type":"item","numeric-id":3677156,"id":"Q3677156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf95202861c35ee8b3a9ac02d98b4e8682dd95d","datavalue":{"value":{"amount":"+0.8573885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116320$484F7197-D2E2-415D-9459-AA7794F04E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6458ee3c2b1056a3f76cc435b29b363c6e2186","datavalue":{"value":{"entity-type":"item","numeric-id":5398312,"id":"Q5398312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81530381c993beaee1d0f0221ec09918f488a59d","datavalue":{"value":{"amount":"+0.8566073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116320$08423553-03E9-47E3-92FA-A78AF5817097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e848ec505523ece40979254232c5ed7143962201","datavalue":{"value":{"entity-type":"item","numeric-id":3334964,"id":"Q3334964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1c32a905569f7b607e48989a6f814d4890d599","datavalue":{"value":{"amount":"+0.8489032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116320$D6349F74-64AE-417C-9D19-26BE399B3F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f29a9dca0b456bda2f7b2fcc4478d0b3b601bc","datavalue":{"value":{"entity-type":"item","numeric-id":5167855,"id":"Q5167855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4161ebf64996f72f01cfa120045529d8fd5c52","datavalue":{"value":{"amount":"+0.8458289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116320$B734F7FB-520C-434C-989B-4E6E141BC36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff314710313ab34a3fac7abc9954509098ba7e4","datavalue":{"value":{"entity-type":"item","numeric-id":4790909,"id":"Q4790909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee99a928a38636b0e4d22cef4535745b7ccba675","datavalue":{"value":{"amount":"+0.8446362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1116320$ACEEF66D-E05F-425E-9125-4F0118119348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying distributed computer architectures in AADL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specifying_distributed_computer_architectures_in_AADL"}}}}}