We propose an extension to Message Sequence Charts (MSC); MSC diagrams comprise processes (called instances) and messages. Messages in MSC are either asynchronous or method calls. Our extension adds multiple synchronous messages. We present a transformation algorithm that takes as input a diagram in the extended MSC and generates an equivalent one in the standard MSC. The synchronous messages a...

Main Courses lect. prac. lab. cr. prerequisite Semester 1 (autumn) Advanced Programming [1] 2 2 5 Cryptography and Information Security [2] 2 1 4 Modern measurement techniques [3] 2 3 Mathematics for Engineers II [4] 2 2 5 History of the physical and technical science [5] 2 2 Legal, Ethical and Informatics Issues of Personal [6] 2 3 Scientific and technical modeling [7] 2 3 Required facultative...