L2C2: Logic-based LSC Consistency Checking

Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam

Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems. In this paper, we introduce a l…