L2C2: Logic-based LSC Consistency Checking

Details L2C2: Logic-based LSC Consistency Checking L2C2: Logic-based LSC Consistency Checking

2010-02-16

arxiv.org/abs/1002.3083v1

WLPE 2009 proceedings

Computer Science

Logic in Computer Science

To be included in the on-line proceedings of WLPE'2009

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

L2C2: Logic-based LSC Consistency Checking does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with L2C2: Logic-based LSC Consistency Checking, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and L2C2: Logic-based LSC Consistency Checking will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-598447