XYZ/E(ID:7869/)

Temporal logic programming language  - programs consist of a conjunction of transitions

Tang, 1983

References:
  • TANG, Zhisong "A Programming Development Environment Conforming to Various Ways of Programming" (in Chinese), R&D of Comp., 1982(11) view details
  • Tang, C. "Toward a unified logic basis for programming languages" pp425-429 view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • TANG, Zhisong "XYZ: a Programming Development Environment Based on Temporal Logic", in: Programming Language and Systems (Bormann de.), 1983, North Holland. view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • TANG, Zhisong A Temporal Logic Language for Behavior Modelling of Information and Expert System, in: "Knowledge & Data"(A. Sernadas ed.), 1986 ,North Holland. view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • TANG, Zhisong "To Unify Programming with Logic, I" (Invited speech), Proc. of PREVLDB Intl. Symp. Beijing, 1986,. II, (Invited speech), Proc. Intl. Symp. Softw. Eng., Beijing, 1986 view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • TANG, Zhisong "To Unify Programming with a Temporal Logic System", Dept. Comp. Sci. CMU, Tech. Rep. No. CMU-CS-87-160, Revised version: Proc. Japanese Ann. Softw. Symp. Tokyo, 1989 view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • Design Philosophy of XYZ System (in Chinese), J. of Softw., 1990(1) view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • A Unified Formal Basis for the CASE Tool System, J. System Integration, 1993; 3(2); 109-132. view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • A Temporal Logic Language and Its Related Philosophical Problems. An Invited Speech Delivered on: The International Conference of Vienna Circle and Contemporary Science and Philosophy: In memory of Tscha Hung Beijing, Oct. 1994. To be published in "Boston studies of the Philosophy of Science" Kluwer Academic Publisher, Boston. view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • A Temporal Logic Language Oriented Toward Software Engineering -- An introduction to XYZ System (I). Chinese Journal of Advanced Software Research, Vol. 1 No 1, 1994, 1-29. view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • Tang Z. and Yang L., Real-time Programming with XYZ System, Chinese J. of Adv. Softw. Res. Vol 2, NO 4, 1995. view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • Tang Z. et. al, "Temporal Logic Programming and Software Engineering" Science Press, Beijing 1996 (Chinese) view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
  • Tang Z., The Characteristics and Applications of XYZ System (Chinese) Invited speech, Proc. Chinese Computer Conf. 1996. view details
          in Mason, R. E. A. (Ed.): Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983. North-Holland/IFIP, 1983, view details
    Resources
    • Page of designer
      As for the XYZ System, it was desired with the good to enhance productivity and reliability of software. It is a system of two orthogonal dimensions: one is a Temporal Logic Language called XYZ/E which is, in fact, a family of hierarchal languages (i.e. a system of wide spectrum languages, or Xiliehua Yuyan Zu in Chinese Pingying); the order is a CASE toolskit.

      The TLL XYZ/E can represent conventional programming (sequential or concurrent higher level statements form, state-transition form or production rules form), programming with specification of different abstract levels, object-oriented programming and visual programming with a unified program framework.

      The CASE tools implement various kinds of methodologies such as stepwise refinement (structured or non-structured design), verification, rapid prototyping, formal-based language transformation and module management. Because the semantics of the connected together safely to form more complicated tools. By means of the language transformation tool, many international standard languages of specific domains such as Estelle, SDL, VHDL, etc have been transformed into XYZ/E and many program properties can be verified by the verification tools on the basis of XYZ/E.
      The system is designed under the direction of some Chinese traditional philosophical methodoligies to lay emphasis on unification.
      In order to enchance the applicability of the system, 5 integrated environments oriented toward specific engineering domains: OO programming, multi-media (animated carton, in particular), process modelling, Real-time Reactive system and Software Engineering, have been implementation based on XYZ tools.

      external link