{"entities":{"Q4252989":{"pageid":6282590,"ns":120,"title":"Item:Q4252989","lastrevid":108472502,"modified":"2026-11-06T14:36:05Z","type":"item","id":"Q4252989","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1307655"}},"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":"Q4252989$1554C207-3CFD-4CDB-B396-6423CE35639E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72177257381e91c47c449146ebd5e742a0418e41","datavalue":{"value":"0930.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252989$B4AF85B2-C5EF-4CFA-B911-919D190D915C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29ae4be8dc8aa04cdf104a615c2f7f5f795d19b0","datavalue":{"value":{"time":"+1999-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4252989$4A4A2877-3E82-49AC-AA01-46CBF8596B16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252989$E89CEBFC-7E7C-4452-9C3C-CC8121B3A611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252989$36C771EE-68A6-4E35-9970-59BC8195C728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252989$9C445FAB-DB7D-42B2-8CBF-FC489AC74209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252989$9D7A2201-777A-43E7-A0EA-996C787F5222","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f74b21678877f4d8280402c09ca6e1918e9f0658","datavalue":{"value":"1307655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252989$629A046E-A11B-42A2-A712-D58D034764F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b359ce1e831dc977a15bf7b5292b59843c5982f3","datavalue":{"value":"message sequence chart","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252989$5225971A-2FCA-4697-805D-43C02670BD59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4252989$AF11736C-CEFE-4BE4-83B8-5E51D919308B","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":"Q4252989$64560579-10AF-4EF7-80D5-211B39775D14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a1ef8b54123563c694e34d356f971b501d0bda","datavalue":{"value":{"entity-type":"item","numeric-id":5712282,"id":"Q5712282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78e0be1f0e35442fa2c9d3087c735676084267e","datavalue":{"value":{"amount":"+0.8947156667709351","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":"Q4252989$E42D79ED-4805-4F9A-9703-A69239CFCF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220fd759cac38ad94ad63746ea5b976f1d054719","datavalue":{"value":{"entity-type":"item","numeric-id":4907862,"id":"Q4907862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1212eb2079ab01892d61f82c954b08e9573c029","datavalue":{"value":{"amount":"+0.8934136629104614","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":"Q4252989$1E013908-BDBF-4B41-ACB1-DF586FB22CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcd2ae260f7488f5047cfe3ae95d1c6a7569f67","datavalue":{"value":{"entity-type":"item","numeric-id":703583,"id":"Q703583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9158eb73caabbd3334006928dae7a6d5f186f5","datavalue":{"value":{"amount":"+0.8884397745132446","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":"Q4252989$47955AAD-8740-46D5-B051-3E2439D641E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a47fb3023f97db33e6b7d5ff395bda83ce45d2","datavalue":{"value":{"entity-type":"item","numeric-id":4536991,"id":"Q4536991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04bb91cc62232612db281f3c18742a10ef805c27","datavalue":{"value":{"amount":"+0.8721110820770264","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":"Q4252989$0677B9A7-19A2-4B51-87F2-8DF3504E3858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001d1ce5d23695bc2e4a209a300e9c76fb3b5e78","datavalue":{"value":{"entity-type":"item","numeric-id":2841319,"id":"Q2841319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57aeb26b69dc4a3112625ebfe2d1f70bd23c7048","datavalue":{"value":{"amount":"+0.8623934388160706","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":"Q4252989$62F14503-548F-4D58-89C8-8CBF0D750F7F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"063f4a081718fdc47a3bc2d1aa7a7db7cb1978a5","datavalue":{"value":"The subject of this thesis is the language Message Sequence Chart (MSC) and its formal semantics. This is a graphical language for the description of the interaction between system components which is applied mostly in telecommunications and in software engineering but is finding its way into practice rapidly. It is most frequently used for requirement specification, visualization and simulation, and the descriptions of test cases. This thesis is structured as follows. In Chapter 2 the language MSC as it is standardized by the ITU in October 1996 is introduced. This chapter presents MSC in an informal but nevertheless rigorous way. The basic concepts introduced are: the core language (BMSC), process creation and termination, timer events, incomplete messages and conditions, inline expressions, reference expressions, extensions with gates. In Chapter 3 the process theory is developed, consisting of terms constructed from constants (events) and operators (composition of these). By means of Plotkin-style deduction rules the dynamic behavior of processes described by these terms and the equivalence of these processes is defined. In Chapter 4 a denotational semantics of MSCs is defined and a short review of some other approaches to the semantics of MSC is done. In the author's opinion the most important reason for heaving a formal semantic for MSC (the central point of thesis) is the need for an unambigous description of the meaning of a system description.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252989$A3C2F70B-B48F-4464-8777-6D4603665A5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4252989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4252989"}}}}}