Restrictions on concurrent construction and time delays of UCM language

Conference "Technologies Microsoft in the theory and programming practice"
Authors:
Abstract:

The paper describes an approach to adjustment of semantics for UCM real time constructions in implementation of translator into Basic Protocols notation. The following constructions and their adjustment are described: multithreading and delays. The main problem of such constructions is that initial version of UCM standard allows to create semantically incorrect models. Proposed extensions and restrictions of UCM semantics allowed solving of these problems for different types of projects.