Engineering Journal: Science and InnovationELECTRONIC SCIENCE AND ENGINEERING PUBLICATION
Certificate of Registration Media number Эл #ФС77-53688 of 17 April 2013. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Article

Development of model synchronization processes and principles of their verification

Published: 19.11.2013

Authors: Devyatkov V.V., Oshkalo D.V.

Published in issue: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1052

Category: Information technology

This paper presents new principles of solving a model synchronization problem based on the definition of synchronization mechanisms in terms ofprocess calculus and a description of their correctness properties in terms of temporal modal logic with further verification by applying rules of logical inference. The main correctness properties of model synchronization process and basic features of designing model synchronization tools are discussed.