Requirement Analysis and System Synthesis Technique for FIC Applications

Abstract

The popularity of smartphone has increased explosively for the last few years, and it brought a new ecology of software developers. It has been always true that developing software is not an easy task for the not-properly- trained developers. Therefore, support for easier development process has been an important topic in computer science, especially in software engineering. The Live Sequence Chart specification is an extended variant of Message Sequence Charts, giving more expressiveness and correctness to system behavior scenarios. However, the LSC specification has been suffered from the lack of rigorous formal semantics, which is the shortcoming of other requirement specification languages too. In this paper, I define the formal semantics of the LSC specification. With the refined formal semantics, I propose an algorithm which synthesizes an FSM out of a set of LSCs. I also propose an optimization technique and a verification scheme for the generated FSM. The range of proposed formal semantics of the LSC specification is broader than the previous work, and much closer to the complete LSC semantics. Therefore, generated FSMs carry much more information than previous work, and maintain the efficiency through the proposed optimization technique.