{"entities":{"Q1089795":{"pageid":1100547,"ns":120,"title":"Item:Q1089795","lastrevid":66109623,"modified":"2026-04-12T07:37:20Z","type":"item","id":"Q1089795","labels":{"en":{"language":"en","value":"Algebraic specification of modules and their basic interconnections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4005599"}},"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":"Q1089795$C5CF03DE-DAC2-4564-AA0B-9A3F58142BE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b96a25a863b4b4d69e0ed24fd6a425f03b82a573","datavalue":{"value":{"text":"Algebraic specification of modules and their basic interconnections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089795$E613A35D-1C2D-4CD5-B547-6340BB8F34CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c64eb76a067e3336227b41374b6bdfd04819763","datavalue":{"value":"0619.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089795$727FB628-04DB-4450-ADF0-59F3EC8BF4DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d289fcdc2be114a0a93a1c72e826eaefe82dfd","datavalue":{"value":"10.1016/0022-0000(87)90028-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089795$28443B91-154A-4E9E-B0C0-4035F527C39C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$D5115045-89FD-4AE4-A817-C1786EBE2065","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$2A008086-949C-4783-80B8-3454480C1338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1089795$BCD447FA-706E-43E1-8DBE-A44E77069BFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1de1eb9597d6b4ab1e9d249f81a0b241717d0245","datavalue":{"value":"An algebraic specification concept for modules in software engineering is introduced which includes, in addition to a parameter and body part, explicit import and export interfaces. This concept integrates the main ideas of parameterized specifications for abstract data types and the information-hiding concept required for modules in software engineering. The concept is carefully motivated and defined with formal syntax and semantics within the framework of algebraic specifications. The basic constructions for combining modules are composition, actualization, extension, and union of modules with shared submodules. In this paper, composition and union are studied in detail. Both constructions are shown to be compositional. This means that the semantics of a combined module can be expressed in terms of the semantics of the components. To show the practical significance, specifications for the modules of an airport- schedule system and corresponding Ada packages are presented as an example.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089795$D28691AB-4B63-46AA-91EE-96468094DE28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089795$AEE61F1B-1E90-4532-9066-7DE8E68D10F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4252b524179c144e4a0138c8feb95647ebc5bb7","datavalue":{"value":"4005599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089795$A94AC379-DABD-4828-A493-711A90C49421","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cd434daa5679288342b497e9ce0fc7370dadfe","datavalue":{"value":"parameterized specifications for abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089795$645769E0-7318-4C28-9F9B-C84FC3981D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9948c31b086b9bad5dc65945107cdfe3aaa74fa7","datavalue":{"value":"modules in software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089795$9169D7D2-D005-4779-B604-C5C49DA5E89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5bd0f8407a8085869a860933ca95d3f6e921e34","datavalue":{"value":"airport-schedule system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089795$37430CAC-C057-4AB7-BCB7-33F0D6D86EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e3ed517e64ef2d3e676c5ab03d094c73beb6cd","datavalue":{"value":"Ada packages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089795$513B15E3-587B-484E-B644-C93553267237","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":"Q1089795$4A2C09FC-7C57-4403-ACD7-E660350B8E74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e146be47c0732233f269094eef8d4e2ab63a40b","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90028-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089795$3663246D-BF4C-4E01-AA77-2BA064F392BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0655de55008cb009e8c20d99f14411d462dfdbaa","datavalue":{"value":"W1967975156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089795$C3651EE5-93FA-4388-B165-80ECFBA088E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94217594ef35be3deb367cf7c994e9fc128e2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1150265,"id":"Q1150265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$4C344341-F271-44F3-B46E-510E3726F6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0000993f4de5bb6f2b4816aef094b75c0ed2b83","datavalue":{"value":{"entity-type":"item","numeric-id":792753,"id":"Q792753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$1733EE24-FCF3-4A4E-835B-17587B3B933A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dbb4e440c2c0a440372140a7aa1bfa2a146dc3","datavalue":{"value":{"entity-type":"item","numeric-id":3677150,"id":"Q3677150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$EA7B3037-7F73-42B7-8BA9-28DD40EC0B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2419f8c9d6c10d019611c13f934dddd0827e017","datavalue":{"value":{"entity-type":"item","numeric-id":3923579,"id":"Q3923579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$CD6BCA88-4882-4E30-9C39-DB49F479FE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349532c118a3f683d6a4558f520406ba42210f52","datavalue":{"value":{"entity-type":"item","numeric-id":3917480,"id":"Q3917480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$8ABCF666-44E0-4CD3-9227-B77BFC522722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ee2ab2bfe369cc3a73971160f426fcfd3db215","datavalue":{"value":{"entity-type":"item","numeric-id":3341871,"id":"Q3341871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$05F2692E-3BA2-479E-BB99-BA395C851B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c220e387490d51b0585ed7635719ba38d026b4","datavalue":{"value":{"entity-type":"item","numeric-id":3738549,"id":"Q3738549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$F52DE4A1-4D68-4CE9-8673-09C3481D6588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e149bd4cad7f9bd977529484d6051301ccc9b","datavalue":{"value":{"entity-type":"item","numeric-id":759479,"id":"Q759479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$F532FD6F-1A32-46D9-9386-D22A815785D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$184A0140-15E0-457C-A30D-E034B72F194D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$B6284882-C3E9-4EBA-87D0-2958FAB0ABCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1768a6ad34deabea6c5da39a01f17d511add666c","datavalue":{"value":{"entity-type":"item","numeric-id":3725525,"id":"Q3725525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$18BCF29B-20E2-485A-B467-0FF797F83146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d43a7f349137163fbf3bdc9176ea638979311f2","datavalue":{"value":{"entity-type":"item","numeric-id":1067768,"id":"Q1067768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$4144353D-BAD8-428D-9FCD-0FB61A3D12D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$3E9BF3EE-E58D-4A12-8235-535EA4277AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$926996AF-92E7-4EA5-960C-2D6A28CEB817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3813ab614a97a156330c623ed2e7bf909d45fa","datavalue":{"value":{"entity-type":"item","numeric-id":4105777,"id":"Q4105777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$4D27580B-3E0A-4070-8E2F-7B5BF916A7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6843f2cdbddca881ecf79ceeef64690dea1e78b3","datavalue":{"value":{"entity-type":"item","numeric-id":4743722,"id":"Q4743722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$3660E0CA-1F7B-4282-AF13-811A56FCE34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653438d7947829d6714d81187175e2433c8365a6","datavalue":{"value":{"entity-type":"item","numeric-id":1234591,"id":"Q1234591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$B1D69007-CA25-4727-AD88-B613924739E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b8feb15b691e5a574007c51d2c9b24290c2f35","datavalue":{"value":{"entity-type":"item","numeric-id":1091801,"id":"Q1091801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$3FACDEBE-8102-404F-A4EC-D13A9B2B8D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92b3837bf98b9d1fdc064c99ef05d9f812b5715","datavalue":{"value":{"entity-type":"item","numeric-id":3718136,"id":"Q3718136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$E76E9911-8848-4097-BCB1-AD2A06FAA7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8332b10186708c6708131542afb51481ba405","datavalue":{"value":{"entity-type":"item","numeric-id":3938468,"id":"Q3938468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$60C34DBC-B2C1-4481-8AB4-2305B8CD28D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5787419833ae793485cab934000d48fbf0c1a20f","datavalue":{"value":{"entity-type":"item","numeric-id":3727366,"id":"Q3727366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$52BDDDB6-76AF-41BA-9247-0586F26053C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e8b6e0225c099b28efab78750ff516982ed5e","datavalue":{"value":{"entity-type":"item","numeric-id":3948567,"id":"Q3948567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089795$946016F8-F83B-444B-98E8-C296507E098F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0600d7cec67342dc489859d936dc6b428c0864","datavalue":{"value":{"entity-type":"item","numeric-id":3725525,"id":"Q3725525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf800b90859634076e732145e751183bcc6e1ec","datavalue":{"value":{"amount":"+0.923050343990326","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":"Q1089795$FD6EA7A8-59D9-41BA-95F8-76E1216ECCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db400f7189d7fc65faa59649a121982c53c6c9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3330488,"id":"Q3330488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3ecbf38b4c7fc101a1d2cc2c4320d4e12386bb","datavalue":{"value":{"amount":"+0.8979936242103577","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":"Q1089795$D7F28ED3-E90E-4CB1-88F8-DE21E83B28B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7e455919bf7b410fba0cd3f3b6754f1ddfc44a","datavalue":{"value":{"entity-type":"item","numeric-id":3738549,"id":"Q3738549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8471c2c62b108defaa0a9b40c13a0908435d5e43","datavalue":{"value":{"amount":"+0.8638742566108704","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":"Q1089795$D702C67E-F42C-4F85-96BB-61625DBB44E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0a3b1fb10bc0cc10ed2e94312a652763962d6c","datavalue":{"value":{"entity-type":"item","numeric-id":3745247,"id":"Q3745247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf27ab8c8938e5ae8bb96f1a328f9ccf12828c6","datavalue":{"value":{"amount":"+0.8393977284431458","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":"Q1089795$E112F3A8-2D95-4372-AC60-ED805D8A56D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307e6ac7e93efb510efa8f9db70f3ce5d9a4fab6","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc39e41a8c87c582667f5c1c015a7958d3ceec54","datavalue":{"value":{"amount":"+0.8288673162460327","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":"Q1089795$D808D6C2-F5DB-4CFF-9F19-B099F7CC366A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic specification of modules and their basic interconnections","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_specification_of_modules_and_their_basic_interconnections"}}}}}