Defining Semantics of Live Sequence Chart Specification (Live Sequence Chart 명세언어의 의미론적 정의)

이은영

Defining Semantics of Live Sequence Chart Specification

Journal of The Korea Society of Computer and Information
Abbr : JKSCI
2006, 11(6), pp.49-58
Publisher : The Korean Society Of Computer And Information
Research Area : Engineering > Computer Science

이은영 ¹

¹동덕여자대학교

Candidate

ABSTRACT

While developing a complex reactive software system, it is very important to analyze the user requirement and reflect it to the developed system. Therefore understanding the need of users precisely and promptly is the key to the successful software system development. Among several requirement specification languages, message sequence charts (MSCs), also known as sequence diagrams in UML are the most widely used scenario notation. Live Sequence Charts (LSCs) are a variant of MSCs, characterized by its message abstraction facility and the modality of scenarios. In this paper, I define the formal semantics of LSC specification including the essential language constructs such as pre-charts, variables, assignment and conditions. The range of the formalized LSC language has been broadened, and the scope of the formalized semantics is much closer to the complete LSC specification.

KEYWORDS

UML, Message Sequence Charts, Scenario-based Language, Formal Specification, Language Semantics

Citation status

* References for papers published after 2023 are currently being built.

[journal] D. Harel. Statecharts / 1987. / a visual formalism for complex systems. Science of Computer Programming : 8:231~274

[journal] J. Coplien / 1995. / Pattern Languages of Program Design

[journal] P. Kruchten / 1999. / The Rational Unified Process: An Introduction

[journal] G. Schneider / 1998. / Applying Use Cases: A Practical Guide

[journal] G. Booch / 1998.09 / The Unified Modeling Language User Guide

[journal] UML / Documentation of the Unified Modeling Langauge (UML)

[journal] UML Distilled / 1999 / 2nd Edition

[journal] ITU-TS recommendations Z.120: Message sequence chart (MSC) / 1996. / ITU-TS recommendations Z.120: Message sequence chart (MSC).

[journal] W. Damm / 2001. / Breathing life into message sequence charts. Formal Methods in System Design 19(1) : 45~80

[journal] D. Harel / 2003. / Come, Let's Play: Scenario-Based Programming Using LSCs and the Play Engine

[journal] D. Amyot / March2001 / An Evaluation of Scenario Notations for Telecommunication Systems Development

[journal] D. Harel / February2002 / Synthesizing state-based object systems from lsc specifications 13(1) : 5~51

[journal] Y. Bontemps / May2002 / Turning high-level live sequence charts into automata

[journal] D. Harel / 199707 / Executable Object Modeling with Statecharts : 31~42

[journal] D. I. Cohen / 1996. / Introduction to Computer Theory

[journal] J. Drissi / February1999 / Submodule construction toolIn Proc. of International Conference on Computational Intelligence for Modelling, Control and Automation / IOS Press : 314~324

[journal] Z. P. Tao / 1995.09 / A model and an algorithm of subsystem construction : 619~622

KJCKorea
Journal Central

Journal of The Korea Society of Computer and Information 2023 KCI Impact Factor : 0.65