A Visual Concurrent Programming Based on Extended State Transition Graph

확장 상태 전이 그래프에 기반을 둔 시각 병렬 프로그래밍

  • 정원호 (덕성여자대학교 컴퓨터과학부) ;
  • 허혜정 (덕성여자대학교 대학원 전산 및 정보통신학과)
  • Published : 2000.08.01

Abstract

A visual concurrent programming environment, called ESTGVP is designed and implemented, which is easy to understand, highly portable, and can represent parallel behaviors. For our purpose, a conventional state transition graph is extended so as to enable both of synchronous and asynchronous parallel operations. We call it extended state transition graph (ESTG). ESTGVP uses the ESTG and texts for programming, and makes it easy programming sequential and parallel behaviors. Also, it is easy to understand the control structure of a program because ESTGVP is a visual programming environment based on the graph. ESTGVP is written in Tel language and thus it is highly portable on various operating systems. It consists of three major components; edition, transformation and execution. If necessary, ESTG can be transformed into C or Tel language, and its execution is based on Tel.

이해하기 쉽고, 병렬 동작을 표현할 수 있으며, 이식성이 좋은 시각 병렬 프로그래밍 환경인 ESTGVP가 설계, 구현된다. 이를 위해, 기존의 상태 전이 그래프를 동기식 혹은 비동기식 병렬 동작을 포함할 수 있도록 확장시킨 확장 상태 전이 그래프(ESTG)가 제안된다. ESTGVP는, 확장 상태 전이 그래프와 텍스트를 병용하고 있으며, 순차 및 병렬 프로그래밍 작업을 이해할 수 있다. Tcl로 설계 구현되어 있으므로, 다양한 운영체제 환경에서 실행할 수 있어 높은 이식성을 가지고 있다. ESTGVP에 있어서, 주 기능은 편집, 변환, 실행으로 구성되어지며, 필요시 C언어와 Tcl 언어로 변환될 수 있으며, 실행은 Tcl을 기반으로 이루어진다.

Keywords

References

  1. S. S. Yau and P. Grabow, 'A Model for Representing Programs Using Hierarchical Graphs,' IEEE Trans. on SE, Vol.SE-7, No.6, Nov. 1981
  2. S. P. Reiss, 'An Object-Oriented Framework for Graphical Programming,' Tech. Rep. No.CS-86-17, Dept. of Comp. Sci., Brown Univ., March 1986
  3. G. P. Brown and C. F. Herot, P. Souza, 'Program Visualization : Graphical Support for Software Development,' IEEE Computer, Aug. 1985
  4. R. J. K. Jacob, 'A state Transition Diagram Language for Visual Programming,' IEEE Computer, Aug. 1985
  5. E. P. Glinert and S. L. Tanimoto, 'Pict : An Interactive Graphical Programming Environment,' IEEE Computer, Vol.17, No.11, Nov. 1984
  6. M. Moriconi and D. F. Hare, 'Visualizing Progem Designs Through PegaSys,' IEEE Computer, Aug. 1985
  7. Won-Ho Chung, 'A Petri Net Approach to Graphical Programming,' Proc. of 1996 ITC-CSCC, Vol.2, July 1996
  8. M. Usher and D, Jackson, 'A Concurrent Visual Language Based on Petri Nets,' Proceedings of VL'98, 1-4 September, 1998, Nova Scotia, Canada, IEEE Computer Society Press https://doi.org/10.1109/VL.1998.706139
  9. G. M. Karam, 'An Icon-Based Design Method for Prolog,' IEEE Computer, Jan. 1988
  10. J. Johnson, T. L. Roberts, et al, 'The Xerox Star : A Restospective,' IEEE Computer, Sep. 1989
  11. M. Ackroyd and D. Daum, 'Graphical Notation for object-oriented design and programming,' Journal of OOP, Jan. 1991
  12. A. Repeonning, 'Agentsheets : A Medium for Creating Domain-Oriented Visual Languages,' IEEE Computer, Mar. 1995 https://doi.org/10.1109/2.366152
  13. G. Raeder, 'A Survey of Current Graphic Programming Techniques,' IEEE Computer, aug 1985
  14. Shi-Huo Chang, 'Visual Language : A Tutorial and Survey,' IEEE Computer, Jan. 1987
  15. J. C. Browne, M. Azam and S. Sobek, 'CODE : A Unified Approach to Parallel Programming,' IEEE Software, 1989 https://doi.org/10.1109/52.31648
  16. J. C Brown and S. I Hyder, 'Visual Programming and Debugging for Parallel Computing,' IEEE Computer, Spring 1995 https://doi.org/10.1109/88.384586
  17. E. Ghittori, M. Mosconi, M. Porta 'Designing new Programming Constructs in a Data Flow VL,' Proceedings of VL'98, 1-4 September, 1998, Nova Scotia, Canada, IEEE Computer Society Press https://doi.org/10.1109/VL.1998.706142
  18. N. C. Shu, 'Formal: A Forms-Oriented, Visual-Directed Application Development System,' IEEE Computer, Aug. 1985
  19. Takayuki Dan Kimura, et al, 'Form/Formula A Visual Programming Paradigm for User-Definable User Interfaces,' IEEE Computer, Mar. 1995
  20. A. L. Ambler and M. M. Burnett, 'Influence of Visual Technology on the Evolution of Language Environments,' IEEE Computer, Oct. 1989 https://doi.org/10.1109/2.42011
  21. Takao Shimomura and Sadahiro Isoda, 'Linked-List Visualization for Debugging,' IEEE, May. 1991 https://doi.org/10.1109/52.88943
  22. R. Hesketh, 'Perly-UNIX with Buttons,' Software-Practice and Experience, Vol.21(11), Nov. 1991 https://doi.org/10.1002/spe.4380211103
  23. M. Bhattacharyya, et al, 'A Visual Process Connector for Unix,' IEEE Computer, July 1988 https://doi.org/10.1109/52.17801
  24. B. Melamed and R. J. T. Morris, 'Visual Simulation : The Performance Analysis Workstation,' IEEE Computer, Aug. 1985
  25. Shi-Kuo Chang, G. Costagliola, G. Pacini, M. Tucci, G. Tortora, Bing Yu and Jung-Sheng Yu, 'Visual Language System For User Interfaces,' IEEE Trans. on SE, Vol.12 No.2 Mar. 1995 https://doi.org/10.1109/52.368262
  26. M. Burnett and M. J. Baker, 'A Classification System for Visual Programming Languages,' Tech. Report93-60-14, OSU, June 1994
  27. M. Burnett et al, 'Visual Object-Oriented Programming,' Manning Pub., 1995
  28. 허혜정, 정원호, '확장 상태 전이 그래프에 기초한 시각 병렬 프로그래밍', 한국 정보처리학회 춘계학술대회 논문집, 1999