Journal of Systems Integration

, Volume 3, Issue 2, pp 103–132 | Cite as

A unified formal basis for the CASE tools system

  • C. S. Tang


XYZ system is a CASE tools system based on a temporal logic language XYZ/E which can represent every essential feature of conventional HLL's (sequential or concurrent), specifications of different levels, production rules, operational semantics of graphic languages in a uniform framework. With this formal language as the common basis, all the CASE tools including various kinds of graphic tools for distributed process, concurrent programs with phased memory and sequential programs, tools for verification, rapid-prototyping, language transformation, and module management can be connected freely to form more sophisticated and integrated systems.

Key Words

Temporal logic language CASE tools specification verification rapid prototyping graphic languages software engineering formal language 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    E. Ashcraft, and W.W. Wadge, “Lucid: A nonprocedural language with iteration,” CACM, vol. 20, 1977.Google Scholar
  2. 2.
    H. Barringer, R. Kuiper, and A. Pnueli, “Now you may compose temporal logic specifications,” Proc. 16th ACM Symp. on Theory of Comp., 1984.Google Scholar
  3. 3.
    K.M. Chandy, and J. Misra, Parallel Program Design, Addison-Wesley, 1988.Google Scholar
  4. 4.
    Y. Feng, H. Lin, and Z. Tang, “A proof system for temporal logic programs,” R&D of Comp. no. 10, Beijing, 1985, (in Chinese).Google Scholar
  5. 5.
    D. Gabbay, “A past tense condition and future tense action temporal logic language,” draft, London, 1990.Google Scholar
  6. 6.
    A. Giacalone, et. al., “Toward a formally-based programming environment,” Integrated Interactive Computing System. 1983.Google Scholar
  7. 7.
    J. Gong, “An interactive graphic CASE tool to transform a program into its well-structured form,” to appear in J. of Softw., Beijing, 1992, (in Chinese).Google Scholar
  8. 8.
    J. Gong, R. Zhang, and C.S. Tang, “XYZ/CFC & XYZ/PAD: Graphic editors for program design,” to appear in J. of Softw., Beijing (in Chinese).Google Scholar
  9. 9.
    M. Hagiya, and T. Sakuragawa, “Temporal prolog,” Res. Inst. Math. Sci., Kyoto Univ., draft, Kyoto, 1984.Google Scholar
  10. 10.
    D. Harel, “Statecharts: A visual formalism for complex system,” Sci. Comp. Prog., no. 8, 1986.Google Scholar
  11. 11.
    C.H. Kung, and A. Solvberg, “Activity modelling and behavior modelling of information systems,” Proc. IFIP WG. 8.1 Working Conf., North Holland, Amsterdam, 1986.Google Scholar
  12. 12.
    L. Lamport, “What good is temporal logic,” Proc. IFIP Cong., North Holland, Amsterdam, 1983.Google Scholar
  13. 13.
    L. Lamport, “The temporal logic of action,” draft, Palo Alto, 1991.Google Scholar
  14. 14.
    P. Lee, et. al., “Research on semantically-based program design environment,” Dept. Comp. Sci. CMU. Tech. Rep. CMU-CS-88-118, Pittsburgh, 1988.Google Scholar
  15. 15.
    R. Li, W. Zhang, and P. He. “An introduction to Incaps system,” Inst. Softw. Acad. Sin. Tech. Rep. No. IS-CAS-XYZ-91-2. To appear in J. of Comp. Sci. & Tech, no. 4, Beijing, 1992.Google Scholar
  16. 16.
    H. Lin, C. Gong, and H. Xie, “Abstract implementation of algebraic specifications in a temporal logic language,” J. of Comput. Sci. & Technol., vol. 6, No. 1, Beijing, 1991.Google Scholar
  17. 17.
    J. Liu, and X. Cai, “An attributes evaluator based on partitioned grammar,” Inst. Softw. Acad. Sin. Tech. Rep. IS-AS-XYZ-88-9, Beijing.Google Scholar
  18. 18.
    T. Liu, and C.S. Tang, “Semantic specification and verification of data flow diagram,” J. of Comp. Sci. & Tech., vol. 6, no. 1, Beijing, 1991.Google Scholar
  19. 19.
    T. Liu, C.S. Tang, and R. Zhang, “A formal approach to the semantic specification of data flow diagrams,” Proc. COMPSAC'91, Tokyo, 1991.Google Scholar
  20. 20.
    Z. Manna, “Verification of sequential programs, temporal axiomatization,” Theoretical Foundations of Programming Methodology, North Holland, Amsterdam, 1982.Google Scholar
  21. 21.
    Z. Manna, and A. Pnueli,The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer-Verlag: New York, 1991.Google Scholar
  22. 22.
    J. McCarthy, “Elephant” draft, Stanford, USA, 1979.Google Scholar
  23. 23.
    X. Miao, and C.S. Tang, “A methodology and environment for stepwise refinement according to design decisions,” Inst. Softw. Acad. Sin. Tech. Rep. IS-CAS-XYZ-89-5, 1989.Google Scholar
  24. 24.
    B. Moszkowski, Executing temporal logic programs, Cambridge Univ. Press, Cambridge, MA, 1986.Google Scholar
  25. 25.
    B. Mu, Y. Xiao, and C.S. Tang, “A compiler-compiler source-to-source transformation system,” to be submitted to J. of Softw., Beijing, (in Chinese).Google Scholar
  26. 26.
    A. Pnueli, “Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends,” LNCS 224 Springer-Verlag: Berlin, 1986.Google Scholar
  27. 27.
    M. Pong, Y. Zhang, H. Xu, and J. Ding, “OOMMS: A module management system based on object-oriented model,” Inst. Softw. Acad. Sin. Tech. Rep. IS-CAS-XYZ-92-4, Beijing, 1992.Google Scholar
  28. 28.
    W. Shen, and C. Zhao, “A compiler of distributed XYZ/E,” to be submitted to J. of Softw., Beijing (in Chinese).Google Scholar
  29. 29.
    C.S. Tang, “A programming development environment conforming to various ways of programming,” R&D of Comp., vol. 11, 1982, Beijing (in Chinese).Google Scholar
  30. 30.
    C.S. Tang, “Toward a unified logic basis for programming languages,” Dept. Comp. Sci. Stanford, Tech. Rep. No. STAN-CS-81-865; revised version in Proc. IFIP congress., North Holland, Amsterdam, 1983.Google Scholar
  31. 31.
    C.S. Tang, “XYZ: A programming development environment based on temporal logic,” Programming Languages and Systems, North Holland, Amsterdam, 1983.Google Scholar
  32. 32.
    C.S. Tang, “A temporal logic language for behavior modelling of information and expert system,” Knowledge & Data, North Holland, Amsterdam, 1986.Google Scholar
  33. 33.
    C.S. Tang, “To unify programming with logic,” I, Proc. of PREVLDB Intl. Symp. Beijing, 1986; II, Proc. Entl. Symp. Softw. Eng. Beijing, 1986.Google Scholar
  34. 34.
    C.S. Tang, “D&R of programming technology for thirty years,” Comp. Sci., no. 3, 1988, (in Chinese).Google Scholar
  35. 35.
    C.S. Tang, “To unify programming with a temporal logic system,” Dept, Comp. Sci. CMU, Tech. Rep. No. CMU-CS-87-160; Revised version in Proc. Jap. Ann. Softw. Symp. Tokyo, 1989.Google Scholar
  36. 36.
    C.S. Tang, “Design Philosophy of XYZ system,” J. of Softw. no. 1, Beijing, 1990, (in Chinese).Google Scholar
  37. 37.
    C.S. Tang, et. al., “The syntax and explanation of the temporal logic language ZYZ/E,” Inst. Softw. Acad., Sin. Tech. Rep. IS-CAS-XYZ-90-1, Beijing.Google Scholar
  38. 38.
    C.S. Tang, M. Zheng, and X. Li, “A two level formal semantics and semantic-directed compilation,” Scientia Sinica, Teries A, vol. XXVIII, no. 9, Beijing, 1985.Google Scholar
  39. 39.
    S. Wang, “Rapid prototyping with Prolog in XYZ system,” Master thesis in Inst. Softw. Acad. Sin. 1989; to be submitted to J. of Softw., Beijing (in Chinese).Google Scholar
  40. 40.
    T. Winograd, “Beyond programming languages,” CACM, 1979.Google Scholar
  41. 41.
    H. Xie, J. Gong, and C.S. Tang, “A structured temporal logic language XYZ/SE, J. of Comp. Sci. & Tech., vol. 6, no. 1, Beijing, 1991.Google Scholar
  42. 42.
    H. Xie and C.S. Tang, “An Approach to Concurrent Programming in Temporal Logic,” to be published inJ. of Comp. Sci. & Tech., Beijing, 1993.Google Scholar
  43. 43.
    R.T. Yeh, “System development as a wicked problem,” Intl. J. of Softw. Eng. & Knowled. Eng., vol. 1, no. 2, 1991.Google Scholar
  44. 44.
    R.T. Yeh, R.A. Schlemmer, and R.T. Mittermeir, “A systematic approach to process modeling,” J. of Systems Integration, vol. 1, nos. 3/4, 1991.Google Scholar
  45. 45.
    Y. Zheng, and C.S. Tang, “Formalization of data flow diagram,” The Role of AI in DB&IS, North Holland, Amsterdam, 1987.Google Scholar

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • C. S. Tang
    • 1
  1. 1.Institute of SoftwareAcademia SinicaBeijingP.R. China

Personalised recommendations