{"entities":{"Q2760876":{"pageid":2771615,"ns":120,"title":"Item:Q2760876","lastrevid":83143334,"modified":"2026-05-07T06:17:15Z","type":"item","id":"Q2760876","labels":{"en":{"language":"en","value":"Languages for analysis and testing of event sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682381"}},"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":"Q2760876$B0BA0266-7A47-41D9-B5B7-B61C3ED4943C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f08f6b920147a929c822b08138da34d4530d61f","datavalue":{"value":"0988.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760876$490FDEE2-792B-43EF-AD7E-534A82C8CDC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e17443e218a43ea7a8a79c0f2fd6e295e37e0d","datavalue":{"value":{"entity-type":"item","numeric-id":701043,"id":"Q701043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760876$C33521D7-5C96-4691-BA27-1AD01501F13F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be3408172cb7c4f5c35f2c1bb457af9e14f903e6","datavalue":{"value":{"time":"+2001-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2760876$6BA71A7A-2379-4090-9AA3-078B3E525514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760876$8E26E156-D7D2-42BF-A65E-1FE04B297A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760876$F16BB065-2F3B-495D-8A2F-8861AA366DE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d63396d392b913e54f5e65653cf57e3d391c4287","datavalue":{"value":"1682381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2760876$9EEEA63D-E215-4759-ABE6-0B79FA1C93F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760876$31799EA6-A9FC-44AA-AA82-051E18DF72DC","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":"Q2760876$0D5AD75F-A80F-4501-8420-1449D8B1E755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c013251e014281e73a0d670b4711f01fa5f570c6","datavalue":{"value":{"text":"Languages for analysis and testing of event sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2760876$5171B36C-F1DF-4D00-A8A6-254B330AFDDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0fb3129aa4c136083d447c60d6ef97b4e570ec16","datavalue":{"value":"In computer science there is a natural requirement of ability to describe a computer system action. Natural languages are not a sufficient tool in the most cases. NEWLINENEWLINENEWLINEThe book is devoted to formal languages for analysis and testing of event sequences. The author looks at the construction of formal languages (with a special interest in finding a good semantics) and at their usage. For both tasks a few case studies have been conducted. NEWLINENEWLINENEWLINEThe book is diveded into 8 chapters. The first is an introduction. The next two discuss the subject of testing: Chapter 2 presents Model Checking as a tool for the derivation of test tracing, Chapter 3 introduces LOGAN -- a language developed to replace partly the manual check of test logs. NEWLINENEWLINENEWLINEThe rest of the book is about Message Sequence Charts (MSC) language. Chapter 4 is an introduction of MSC, with its history, features and semantics. In Chapter 5 it is shown how formal language descriptions of a system can be used to determine the properties of that system. Chapter 6 discusses the introduction of data in MSC. The last two Chapters (7 and 8) suggest some extensions that could be added in the future to MSC: the first -- message refinment, the second -- disrupt and interrupt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2760876$06B5BF63-2449-4074-867B-07D9C4389944","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e54fe4fe3e6664e5182164ccf3d0d36292225c","datavalue":{"value":{"entity-type":"item","numeric-id":706789,"id":"Q706789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2760876$E91689D8-2760-46D6-A720-575F25EC86A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7ad28d1b2d6454957e1b5ac4b39a1c889a7fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4252989,"id":"Q4252989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c11d12af0c7ade2775394a600cc80a80e4cfad","datavalue":{"value":{"amount":"+0.8065669536590576","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":"Q2760876$3E10F6D1-3CD2-4996-AC4C-884D9451F6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dfd344fb7d173c2f1f28fbd16715d9bf992503","datavalue":{"value":{"entity-type":"item","numeric-id":2754187,"id":"Q2754187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c11d12af0c7ade2775394a600cc80a80e4cfad","datavalue":{"value":{"amount":"+0.8065669536590576","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":"Q2760876$5F42859E-7FC7-48BB-8245-B5659D41AAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f0b9ae5d9a326adf01d0a4753544c1bbadd886","datavalue":{"value":{"entity-type":"item","numeric-id":557468,"id":"Q557468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530a1c68c6720f6103c82375eeb2440cddebfee5","datavalue":{"value":{"amount":"+0.7909818291664124","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":"Q2760876$7F20BAB0-4E98-4FD7-815C-44369215BF9A","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":"79ea06bd81be3eb0bdb4b27dba5d51fb435f4c94","datavalue":{"value":{"amount":"+0.781194269657135","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":"Q2760876$6F0BDAF7-F4BE-44C1-8EC4-C213E2C67CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243801f255c0914e0412070f5ab04bd9f6d98a59","datavalue":{"value":{"entity-type":"item","numeric-id":2779792,"id":"Q2779792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4264df298d1f9f9995727b2b9a611a346004164","datavalue":{"value":{"amount":"+0.7728362083435059","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":"Q2760876$0E5C128A-B881-43F0-86E2-564F4F26A31F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Languages for analysis and testing of event sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Languages_for_analysis_and_testing_of_event_sequences"}}}}}