Application of mathematical general systems theory-based approach to railway diagram system

• Autorzy: Takahara Y. , Yano Y.
• Języki publikacji: EN

Abstrakty

EN

Mathematical General Systems Theory-Based Approach is a new formal approach to the design of the information system including its implementation that our group advocates. This paper discusses its application to the development of a Railway Diagram System. The paper targets only a problem solving type information system, however the approach covers all types of the information systems, which are loosely divided into two types, data processing types and problem solving types. The conceptual base of the approach is a system model of the general systems theory, and we apply a goal seeking model to the problem solving type information system. To describe the model, we use a pure set theory and logic. Then, the set theoretic model is transformed to the Prolog programming by our compiler, that is the automatic implementation. It can be realized because of the very narrow semantic gap between set theoretic description and the Prolog specification. Because we do not apply the systems concept to a specific problem but to the overall problem solving system, we can reveal its abstract structure and then we can apply the approach to various problems due to the generality of the model. The paper makes an attempt to show this by applying it to the design of a practical system, the Railway Diagram System.

Słowa kluczowe

EN

railway diagram system; set theory; mathematical general systems theory; Prolog programming; information system; problem solving system

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Systems Science
• Rocznik: 2004
• Tom: Vol. 30, no 3
• Strony: 133--142
• Opis fizyczny: Bibliogr. 5 poz., rys., wykr.

Twórcy

autor

Takahara Y.

• Chiba Institute of Technology, 2-17-1 Tsudanuma, Narashino, Chiba, Japan

autor

Yano Y.

• Chiba Institute of Technology, 2-17-1 Tsudanuma, Narashino, Chiba, Japan

Bibliografia

• [1] Fitzgerald J., Larsen P. G., Modelling Systems - Practical Tools and Techniques in Software Development, Cambridge University Press, 1998.
• [2] Matsumura T., Research for Express Train Setting Method, Internal Report of Chiba Institute of Technology, Japan, 1989.
• [3] Mesarovic M. D., Takahara Y., Abstract Systems Theory, Springer, 1989.
• [4] Takahara Y., Liu Y., Yano Y., A Formal Systems Approach to Solver Design - Hill Climbing Method with Push Down Stack, Journal of Systems Science and Systems Engineering, Vol. 12, No. 2, 2003, 138-158.
• [5] Takahara Y., Shiba N., Takagi T., Yano Y., Solver Design and Implementation in Systems Theoretic Approach - Formulation of Solver for Problem Solving Type Information System, Journal of the Japan Society for Management Information, Vol. 12, No. 4, 2004, 1-20.