{"entities":{"Q2175983":{"pageid":2186726,"ns":120,"title":"Item:Q2175983","lastrevid":57226674,"modified":"2026-03-27T13:24:48Z","type":"item","id":"Q2175983","labels":{"en":{"language":"en","value":"Automatic analysis of complex interactions in microservice systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7195485"}},"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":"Q2175983$6279D3A6-B3E6-4C35-B4AC-8096EB1E13FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe5b1e5f87fed8194d9afc5c4249c13602fd0444","datavalue":{"value":{"text":"Automatic analysis of complex interactions in microservice systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2175983$44F27191-DBAE-49CB-91E4-5B44BFDB4663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9b50a09c0b2989cc3d2b80936adc35b2780720c","datavalue":{"value":"1435.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2175983$C6BC08A4-7CFC-4DD3-9942-55BD3C5C8169","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b184de95ed3f5c57ef0f4c7354aefd55e63f174d","datavalue":{"value":"10.1155/2020/2128793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2175983$5110139D-5D68-4CBA-A4FF-D7E2BE9947BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"490c49e0071d170377db9b000f95dd96247a7552","datavalue":{"value":{"entity-type":"item","numeric-id":426508,"id":"Q426508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$7E2A63DD-D8B5-4270-B5C4-14E533C785B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21d3e92f985fb5bc6926dc5ef8ef1b4f71f06c9","datavalue":{"value":{"entity-type":"item","numeric-id":328692,"id":"Q328692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$21222E4A-A147-49DB-9226-FEDB5CF35F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"368f8b01c3adc71e0fb2a754b4dcda6cbce7accd","datavalue":{"value":{"entity-type":"item","numeric-id":2175979,"id":"Q2175979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$C245DC7D-FA5F-4EA1-AE53-1DB534A25679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e16f1f1d37275209949469bdb013fa4db1d046","datavalue":{"value":{"entity-type":"item","numeric-id":2175980,"id":"Q2175980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$11388517-9C21-406A-8C8B-06C2A9239F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a28dabb1a583e486a3e65cdd25ce23d8ad16d2fc","datavalue":{"value":{"entity-type":"item","numeric-id":2175981,"id":"Q2175981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$667C5CDF-A8C6-4F0E-83B6-EF2D478E1A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9b08f0148e0f1f76d43d07f872190b1ecf51811","datavalue":{"value":{"entity-type":"item","numeric-id":2175982,"id":"Q2175982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$DBDD8F92-58ED-4956-BC8F-ECCAB1BD2165","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1dec05d6eca21826ddc25d78a5bfbbb3575f964c","datavalue":{"value":{"entity-type":"item","numeric-id":86231,"id":"Q86231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$48347905-51AE-417C-8F5E-D5A3D0A8994D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dde1b11a90e0e18f0bcca3b838f9ec9fe003c840","datavalue":{"value":{"time":"+2020-04-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2175983$BE223604-CF94-40BB-B3E4-06F62CB02AF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b00e07e5605bf65ea161172d9ee4972b01e6af31","datavalue":{"value":"Summary: Interactions in microservice systems are complex due to three dimensions: numerous asynchronous interactions, the diversity of asynchronous communication, and unbounded buffers. Analyzing such complex interactions is challenging. In this paper, we propose an approach for interaction analysis using model checking techniques, which is supported by the Process Analysis Toolkit (PAT) tool. First, we use Labeled Transition Systems (LTSs) to model interaction behaviors in microservice systems as sequences of send actions under synchronous and asynchronous communications. Second, we introduce a notion of correctness called ``interaction soundness'' which is considered as a minimal requirement for microservice systems. Third, we propose an encoding of LTSs into the CSP\\# process algebra for automatic verification of the property interaction soundness. The experimental results show that our approach can automatically and effectively identify interaction faults in microservice systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2175983$CF210FA3-6782-455A-95A9-163627A2FDBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2175983$60EE983C-743D-4E19-A1AF-43B1594EE644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2175983$12B9CA9D-AF04-4B45-B415-11B2FF25D67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68c785e69a9d189ae397614b48fa61bc5294ca38","datavalue":{"value":"7195485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2175983$FC05E9AC-21AA-4A02-9359-20AFBDFB93E7","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":"Q2175983$542795F6-27CA-4927-9FC0-B05E3E6A2CC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26b9fc767ae003efb5d27269ba5b89a8eee53b05","datavalue":{"value":"https://doi.org/10.1155/2020/2128793","type":"string"},"datatype":"url"},"type":"statement","id":"Q2175983$9FDFC52B-3462-45B6-9E81-8526EC0ED9F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff74a2dfab37c492a0b63a45af307412e463676","datavalue":{"value":"W3014654115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2175983$5936FF29-87DD-44BC-982A-C167D50C3B21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"846b21fee14541008b007022b34d1b4fb3731ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2891401,"id":"Q2891401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$C4F58E12-4E51-4065-8987-19F1E6DDDD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aca6b3686947c16400c0bbe2ec8549cf7343ab","datavalue":{"value":{"entity-type":"item","numeric-id":344799,"id":"Q344799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$BE1CF44A-2772-4189-B58F-2D1B364C1AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$6B3E30EE-3E6B-44DC-A7CC-C5823885FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163fceefea075b43c7a97126b1282dd624b40c36","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$4B4D6D4A-49E0-49C7-8085-03F591359B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9089a03a77f982e57f3ea3d61d3b306a8ed76079","datavalue":{"value":{"entity-type":"item","numeric-id":703491,"id":"Q703491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$5158DE0A-BBD8-4251-B7A8-C9F25B6A169A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec39ea599cc55360badb4291e2e6f497e22d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":4649300,"id":"Q4649300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$B09E0428-9FA5-4623-A971-B2EFF41DC7D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b9ca715796e6471a8ff844849cf8b432045041","datavalue":{"value":{"entity-type":"item","numeric-id":2814621,"id":"Q2814621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abc7590fe130b640bccbf1ccb94414caa548f2b","datavalue":{"value":{"amount":"+0.83104914","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":"Q2175983$2B7A2E61-9DF7-46A3-AE98-C91DEA0A914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a512f9dc8a799a51bbc4b2915164793f31ba330b","datavalue":{"value":{"entity-type":"item","numeric-id":4989712,"id":"Q4989712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6daaa5d281354144d9579e16b7551856f28e96","datavalue":{"value":{"amount":"+0.80917245","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":"Q2175983$722C9042-7E6C-452A-9A15-7D5DFCD19BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d60fa22cd7cf3fd1a56125a32080adf65022496","datavalue":{"value":{"entity-type":"item","numeric-id":5256365,"id":"Q5256365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b17a1b8840a699738a768c49ebe0d778febd89","datavalue":{"value":{"amount":"+0.8019028","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":"Q2175983$30729400-E9BD-4A64-90AB-87C12EF2F65D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2175983$E7790733-BA21-4F91-90DA-87BF1F7CB4C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2175983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2175983"}}}}}