L2C2: Logic-based LSC consistency checking

Hai Feng Guo, Wen Zheng, Mahadevan Subramaniam

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Abstract

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 logic-based framework to check the consistency of an LSC specification. An LSC simulator has been implemented in logic programming, utilizing a memoized depth-first search strategy, to show how a reactive system in LSCs would response to a set of external event sequences. A formal notation is defined to specify external event sequences, extending the regular expression with a parallel operator and a testing control. The parallel operator allows interleaved parallel external events to be tested in LSCs simultaneously; while the testing control provides users to a new approach to specify and test certain temporal properties (e.g., CTL formula) in a form of LSC. Our framework further provides either a state transition graph or a failure trace to justify the consistency checking results.

Original languageEnglish (US)
Title of host publicationPPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Pages183-194
Number of pages12
DOIs
StatePublished - 2009
Externally publishedYes
Event11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP'09 - Coimbra, Portugal
Duration: Sep 7 2009Sep 9 2009

Publication series

NamePPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Conference

Conference11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP'09
Country/TerritoryPortugal
CityCoimbra
Period9/7/099/9/09

Keywords

  • Live sequence chart (LSC)
  • Logic programming
  • Memoization
  • PLAY-tree
  • Scenario-based programming

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Fingerprint

Dive into the research topics of 'L2C2: Logic-based LSC consistency checking'. Together they form a unique fingerprint.

Cite this