UML 정적구조 다이아그램으로부터 LOTOS 명세 생성

Generating LOTOS Specifications from UML Static Structure Diagrams

객체지향 기법과 정형 기법은 미래의 소프트웨어 공학 분야에 지대한 영향을 미칠 잠재력을 가진 두 갈래의 큰 영역으로 인식되고 있다. 따라서 이 두 영역의 접목 "객체지향 기술을 이용한 시스템 명세의 정형적 접근"은 빠른 속도로 성장하고 있으며 많은 연구결과를 산출하고 있다. LOTOS는 객체 기반 접근에 매우 적절하나, 완전한 객체지향 접근 방법을 제공하기 위하여 일반화(상속과 다형성)를 모델링할 수 있어야 한다. 이러한 주제를 연구해온 대부분의 연구자들은 LOTOS을 확장을 제안하였다. 본 논문은 ISO 8807 LOTOS로의 변환에 관심을 두며, 이러한 연구 동향의 일환으로 UML 정적구조 다이아그램으로부터 LOTOS 명세를 생성하는 방법을 제안한다.

It is recognized that object-oriented methods and formal methods are two different main streams that will influence on the future direction of software engineering. A merging effort on these two technologies, named "a formal approach on system specifications using object-oriented methods" emerges rapidly and produces remarkable research results LOTOS is well-suited to an object-based approach. However, to provide a full object-oriented approach, we need to model generalization (i.e. inheritance and polymorphism). Most authors who have examined this topic have proposed extensions to LOTOS. As an extension of such an effort, this paper proposes a method that generates LOTOS specification from static structure diagrams in UML.