{"entities":{"Q4537846":{"pageid":6567438,"ns":120,"title":"Item:Q4537846","lastrevid":108915131,"modified":"2026-11-10T19:01:32Z","type":"item","id":"Q4537846","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1758619"}},"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":"Q4537846$9001F003-792A-4C0E-90B6-35F95E785B84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"023567aa150ce85ee582c320885e0c56fd504221","datavalue":{"value":"0994.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4537846$73C468C2-758F-4D66-945A-E283A20B861B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0318fd15e53ae0111f84cf5210c1a945db20da1d","datavalue":{"value":{"entity-type":"item","numeric-id":2773807,"id":"Q2773807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4537846$E7230043-2945-4474-8C33-FB5A01FBBEC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdd63e74125a64b52265510548f082cbef9c284","datavalue":{"value":{"time":"+2002-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4537846$635439AB-282D-44F8-98A9-AC1A9436164F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4537846$5C739B57-92DC-4FA0-93A9-B41D47E305F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4537846$41E0BE20-892A-4FFD-B0F1-704F9D62D2D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2575229888895574868fc7bb194481a080cf4721","datavalue":{"value":"1758619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4537846$309F0D68-674A-41F3-815D-C2BB3159E0E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516b4625c31a1b70af03c435975fc024b10e33f7","datavalue":{"value":"database systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537846$A744924F-9B4D-42DA-BFA5-2C1B29FF0F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cdb56e7a6844daf0438715a0992276c81853ad","datavalue":{"value":"TROLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537846$3AEE6BD6-A50F-4437-99B1-3CA3BBC14DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07f8fdb6571d5a5f33cc1a8ef7322df11b611b64","datavalue":{"value":"MDTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537846$58955F85-7BC5-4071-9F93-21B5432E67B7","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":"Q4537846$9FA00A54-7485-48CC-A632-CA784968C153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2752f0c806e35e9a82e511899275ef124bcbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372459,"id":"Q4372459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb08c931889bed5eccb6d4bba5242316bcdf048f","datavalue":{"value":{"amount":"+0.9131988","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":"Q4537846$A27493A0-07AC-41FB-972D-58E8DAAE30C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82b1752585f0823b20307ccbc3d95857dc2edbc4","datavalue":{"value":{"entity-type":"item","numeric-id":3044229,"id":"Q3044229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74453842f6e5f4c49b5487dd4d6360e4c5e2b7a9","datavalue":{"value":{"amount":"+0.9059885","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":"Q4537846$8D058768-EF6B-43A3-B13D-768FF81E587D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636e0f6b9fac92841d161e6efdaff937fb222950","datavalue":{"value":{"entity-type":"item","numeric-id":4223006,"id":"Q4223006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29da51e55f38c3cf17e5f7d7e61a29051f22d612","datavalue":{"value":{"amount":"+0.90157986","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":"Q4537846$24F5C917-0C4C-460D-9711-BAC4E5C285ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0cfe5316668a61004dc55e01e01fdf1a79bee10","datavalue":{"value":{"entity-type":"item","numeric-id":4375195,"id":"Q4375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413acad2c0df6f0d319c5a090c637a5c47335dd7","datavalue":{"value":{"amount":"+0.90157974","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":"Q4537846$360F02A7-E6BE-4AD3-9A6C-FA511BD74092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eec39ab3e6d587fa2adb6ee9f96e44c4768fa05","datavalue":{"value":{"entity-type":"item","numeric-id":1943924,"id":"Q1943924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9956cf941b4611b6374b623611236f8da3f5f881","datavalue":{"value":{"amount":"+0.89328426","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":"Q4537846$9E991272-929B-41FB-B9EE-4291E7A1F779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3834775a4c41cde25955da072630af9dfe8fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4412479,"id":"Q4412479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b5f29a749568b01b6ccbe9c388423b8ec5f5eb","datavalue":{"value":{"amount":"+0.8822621","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":"Q4537846$DC9A3AE5-0F9D-4A7D-B6CA-5F83D6ED5FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741de5babb559ba35f010c61953aafc7227ca119","datavalue":{"value":{"entity-type":"item","numeric-id":4519866,"id":"Q4519866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da5255403ee42e66d0db6261c86698a193fc4b7","datavalue":{"value":{"amount":"+0.87964135","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":"Q4537846$784EE95C-ADB2-40FE-ABA3-FD7A560FF8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23c900a262ae38470ebe44bc5942d2438efc238","datavalue":{"value":{"entity-type":"item","numeric-id":5390275,"id":"Q5390275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e5d199d4388d8985a37b35a9b172a40b6dd0e6","datavalue":{"value":{"amount":"+0.87781864","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":"Q4537846$473973C6-A1AF-4B9B-9709-7F198705A55E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5a6915f5fd474ab11d1efb153d0c9457b424c43","datavalue":{"value":"Kurzfassung: Wie im Bereich der Datenbanksysteme und mehr noch in dem der Programmiersprachen hat sich auch im Bereich der Spezifikationssprachen das objektorientierte Paradigma etabliert. Allerdings hat die Objektorientierung nicht den erhofften Fortschritt in Bezug auf die Wiederverwendbarkeit von Software bzw. Spezifikationen mit sich gebracht und den reinen objektorientierten Sprachen fehlt au\u00dferdem ein \u00fcber Objektklassen hinausgehendes Strukturierungskonzept. Gegenstand der vorliegenden Abhandlung sind Konzepte zur Strukturierung und Wiederverwendung objektorientierter Spezifikationen. Speziell wird die Spezifikationssprache TROLL syntaktisch und semantisch um zwei entsprechende Arten von Modulkonzepten erweitert. Der Kontext, in dem TROLL eingesetzt wird, ist die Spezifikation von Informationssystemen auf einer hohen, implementierungsunabh\u00e4ngigen Abstraktionsebene. Die entsprechende Phase im Softwareentwurfsprozess wird als Spezifikationsphase und im Datenbankumfeld auch als konzeptioneller Entwurf bezeichnet. Da es in der Literatur etliche Sprachvorschl\u00e4ge in diesem Bereich gibt, stellen wir eine Reihe von semiformalen und formalen objektorientierten Spezifikationssprachen vor und ordnen TROLL darin ein. Des Weiteren wird ein \u00dcberblick \u00fcber bestehende Ans\u00e4tze zur Strukturierung und zur Wiederverwendung in den Bereichen Programmierung, Spezifikation und formale Grundlagen gegeben und darauf aufbauend Anforderungen an solche Konzepte f\u00fcr die Sprache TROLL aufgestellt. Zur Strukturierung von Spezifikationen dienen einfache und komplexe Subsysteme, und zur Wiederverwendung von Spezifikationsteilen werden Sprachkonstrukte zur Erstellung generischer Spezifikationen, zur Instanziierung formaler Parameter sowie zur Einbindung von Modulen in aktuelle Spezifikationen zur Verf\u00fcgung gestellt. Alle Sprachkonstrukte werden mit einer formalen Syntax und Semantik versehen. Die formale Grundlage der Sprachdefinition bilden erweiterte Datensignaturen und die \u00fcber Ereignisstrukturen interpretierte verteilte temporale Logik DTL sowie Modulsignaturen und die ebenfalls \u00fcber Ereignisstrukturen interpretierte modulare verteilte temporale Logik MDTL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4537846$4959EF8E-E9DA-4576-B330-710F15251719","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4537846","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4537846"}}}}}