{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:08:24Z","timestamp":1748750904719,"version":"3.41.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,4,7]]},"DOI":"10.1109\/syscon64521.2025.11014829","type":"proceedings-article","created":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T17:43:30Z","timestamp":1748627010000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Checking Model Consistency in Service-Oriented Systems"],"prefix":"10.1109","author":[{"given":"Hao","family":"Jiang","sequence":"first","affiliation":[{"name":"Western University,Computer Science Dept.,London,ON,Canada"}]},{"given":"Kostas","family":"Kontogiannis","sequence":"additional","affiliation":[{"name":"York University,Dept. of Electrical Eng. … Computer Science,Toronto,ON,Canada"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3465480.3467839"},{"key":"ref2","article-title":"Towards Holistic Modeling of Microservice Architectures Using LEMMA","author":"Rademacher","year":"2021","journal-title":"ECSA (Companion)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00049"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.2001.948567"},{"volume-title":"Software Abstractions: logic, language, and analysis","year":"2012","author":"Jackson","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68270-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_33"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1869542.1869625"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISMSIT52890.2021.9604746"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7549.003.0004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843004001012"},{"key":"ref12","first-page":"1","article-title":"Multi-staged and multi-viewpoint service choreography modelling","author":"Barros","year":"2007","journal-title":"Software Engineering Methods for Service-Oriented Architecture 2007 (SEMSOA 2007)"},{"volume-title":"A multi-perspective methodology for agent-oriented business modelling and simulation","year":"2004","author":"Taveter","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2095536.2095556"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0211-2"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.104"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45441-1_21"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0109-9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_15"},{"key":"ref24","article-title":"Triple graph grammars: Concepts, extensions, implementations, and application scenarios","author":"Kindler","year":"2007","journal-title":"Tech. Rep. TR-ri-07\u2013284, Dept. of Computer Science, University of Paderborn, Germany"},{"key":"ref25","first-page":"173","article-title":"A survey on mqtt: a protocol of internet of things (iot)","volume-title":"International conference on telecommunication, power analysis and computing techniques (ICTPACT-2017)","volume":"20","author":"Soni","year":"2017"},{"issue":"47","key":"ref26","first-page":"9478","article-title":"Apache kafka: Next generation distributed messaging system","volume":"3","author":"Thein","year":"2014","journal-title":"International Journal of Scientific Engineering and Technology Research"}],"event":{"name":"2025 IEEE International systems Conference (SysCon)","start":{"date-parts":[[2025,4,7]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2025,4,10]]}},"container-title":["2025 IEEE International systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11014641\/11014642\/11014829.pdf?arnumber=11014829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:57:08Z","timestamp":1748667428000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11014829\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/syscon64521.2025.11014829","relation":{},"subject":[],"published":{"date-parts":[[2025,4,7]]}}}