한국정보과학회논문지:소프트웨어및응용 (Journal of KIISE:Software and Applications)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

SDL-92에서 객체지향 언어의 코드 생성을 위한 개념 변환

Conceptual Transformation for Code Generation from SDL-92 to Object-oriented Languages

  • 이시영 (경북대학교 컴퓨터공학과) ;
  • 이동길 (한국전자통신연구원 개발환경연구실) ;
  • 이준경 (한국전자통신연구원 개발환경연구실) ;
  • 김승호 (경북대학교 컴퓨터공학과)
  • 발행 : 2000.05.15
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

시스템의 명세 및 기술 언어인 SDL-92는 객체지향 개념의 도입에서 기존의 시스템 명세 및 설계 문서들과 사용자들을 포용하기 위해 프로세스와 시그널에 기반한 통신 방법을 고수하였다. 이러한 객체지향 개념의 도입은 메소드와 객체 기반의 객체지향 언어 프로그램의 자동 생성에 있어 대응 개념의 부재라는 문제점뿐만 아니라 이에 따르는 가시성 및 통신 방법과 같은 부수적인 문제점들까지 유발하고 있다. 따라서 본 논문에서는 메소드와 객체에 기반한 일반적인 객체지향 언어 모델을 제시한 후, SDL-92에서 제시된 모델로의 변환에서 발생하는 문제점들을 고찰하고 이를 해결할 수 있는 개념 변환 방법들을 제시한다. 제시된 변환 방법은 목적 언어의 구문으로의 사상 방법을 제공함으로써 객체들에 내장된 병렬성을 활용할 수 있고 변환된 프로그램에 대해 컴파일러 수준의 이식성을 보장할 수 있다.

SDL-92, the language for specification and description of system, has held on to the communication method that based on processes and signals in the adoption of object-oriented concept to embrace the previous documents of system specification and description and users. It has caused problems, not only the absence of corresponding concepts in automatic generation to object-oriented language program based on method and object, but also some side effects accompanied by them like visibility and communication method. So, in this paper, we present a general object-oriented language model, which based on method and object, make a study of problems in the transformation fromSDL-92 to proposed model, and then propose conceptual transformation methods to solve them. The proposed transformation method can utilize the built-in parallelism in objects and guarantee the compiler level portability in translated program by providing translation into the syntax of target language.

키워드

참고문헌

  1. K. E. Cheng and L. N. Jackson. MELBA+: AN SDL SOFTWARE ENGINEERING ENVIRONMENT, The fourth SDL Forum, SDL 89: The Language at Work, pp.95-103, 1989
  2. D. G. Lee, J. K. Lee, W. Choi, B. S. Lee, and C. M. Han, A New Integrated Software Development Environment Based on SDL, MSC, and CHILL for Large-scale Switching Systems, ETRI journal, Vol.18, No.4, 1997
  3. R. R. Singh, and J. Serviss, Code generation Using GEODE: A CASE Study, The ninth SDL Forum, SDL97: TIME FOR TESTING-SDL, MSC and Trends, pp.539-550, 1997
  4. SINTEF Telecom and Informatics, TIMe 4.0 - The Integrated Method, 1999
  5. Telelogic, Telelogic Tau 3.5 Manual, 1998
  6. A. Valenzano, R. Sisto, and L. Ciminiera, Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS, The tenth International Phoenix Conference on Computers and Communications, Phoenix, pp.346-352, 1991 https://doi.org/10.1109/PCCC.1991.113832
  7. S. Budkowski and P. Dembinski, An Introduction to Estelle: A Specification Language for Distributed System, Computer Network and ISDN System, Vol.14, No.1, pp.2-23, 1987 https://doi.org/10.1016/0169-7552(87)90084-5
  8. ITU-T, Specification and Description Language(SDL), ITU Recommendation Z.100, 1992
  9. R. E. Miller and Y. Xue, Bridging Gap Between Formal Specification and Analysis of Communication System, IEEE Fifteenth Annual International Phoenix Conference on Computers and Communications, pp.225-231, 1996 https://doi.org/10.1109/PCCC.1996.493638
  10. G. Luo, A. Das, G. V. Bochmann, Software Testing Based on SDL Specifications with Save, IEEE Transaction on Software Engineering, Vol.20, No.1, pp.72-87, 1994 https://doi.org/10.1109/32.263756
  11. A. Olsen, O. Faergemond, B. Moller-Pedersen, R. Reed and J. R. W. Smith, Systems Engineering Using SDL-92, ELSEVIER SCIENCE B.V., 1995
  12. N. Durate, H. Galhardas, R. Carapuca, and M. M. Marques, Towards an Integrated SDL/CHILL Environment. The fifth SDL Forum, SDL 91:Evolving Methods, pp.379-392, 1991
  13. J. Fisher, E. Holz, M. v. Lowis, and D. Witaszek, A Run Time Library for the Simulation of SDL92-Specification, The sixth SDL Forum, SDL 93: Using Objects, pp.105-118, 1993
  14. G. Gries, SDL++ - A Toolset for the Object-Oriented Development of C++ Software, The sixth SDL Forum, SDL 93: Using Objects, pp.119-128, 1993
  15. E. Inocencio and M. M. Fonseca, SDL to C++ Translator for ISDN Basic Rate Terminal Signaling, The sixth SDL Forum, SDL 93: Using Objects, pp.349-360, 1993
  16. N. Mansurov, A. Kalinov, A. Ragozin, and A. Chernov, Design Issues of RASTA SDL-92 Translator, The seventh SDL Forum, SDL 95: with MSC in CASE, pp.165-174, 1995
  17. G. Booch, J. Rumbaugh, and I. Jacobsen, Unified Modeling Language User guide, Addison Wesley Longman, 1998
  18. ITU-T, CCITT HIGH LEVEL LANGU-AGE(CHILL), ITU Recommendation Z.200, 1996
  19. L. Guerby, hypertext Ada95 Rationale, http://lglwww.epfl.ch/Ada/rat95, 1996
  20. T. Ramalingon, K. Thulasiraman, and A. Das, Context Independent Unique Sequences Generation for Protocol Testing, INFOCOM 96, Vol.3, pp.1141-1148, 1996 https://doi.org/10.1109/INFCOM.1996.493058
  21. D. Y. Lee and J. Y. Lee, A Well-described Estelle Specification for the Automatic Test Generation, IEEE Transaction on Computer, Vol.40, No.4, pp.526-542, 1991 https://doi.org/10.1109/12.88471
  22. A. Scortesse, OO_CHILL : INTEGRATING THE OBJECT PARADIGM INTO CHILL, Proceedings of the 5th CHILL conference, Rio de Janeiro, Brazil, pp.111-117, March, 1990
  23. G. Booch, Object-Oriented Analysis and Design with Applications, 2nd Ed., The Benjamin/Cummings Publishing Company, Inc., 1994
  24. J. F. H. Winkler and G. DieBl, Object CHILL An Object Oriented Language for Telecom Applications, International Switching Symposium 92, Vol. 2, pp.204-208, 1992
  25. 이시영, 김성재, 이동길, 이준경, 김승호, 'SDL-92에서 CHILL-96으로 변환하기 위한 사상 규칙의 설계', 정보과학회 논문지, Vol. 25, No. 8, pp.12931303, 1998
  26. S. Y. Lee, D. G. Lee, J. K. Lee, and S. H. Kim, Conceptual Transformation from SDL-92 to CHILL-96 using Signal Subordination, The sixth International Conference on Real-Time Computing Systems and Applications(RTCSA'99), accepted, 1999 https://doi.org/10.1109/RTCSA.1999.811302
  27. L. Cardelli and P. Wegner, On Understanding Types, Data, Abstraction, and Polymorphism, ACM Computing Surveys, Vol. 17, No.4, pp.471-522, 1985