Wyniki wyszukiwania - BazTech

1

MGST approach to information systems development

Takahara Y.

Systems Science

|

2004

|

Vol. 30, no 1

5-21

EN

This paper presents a new systems development method. This method builds a model using systems concepts of general systems theory and describing it in the model theoretic way. The generated model is translated into an extProlog program by a compiler and implemented as an executable system. The paper applies the method to a solver design.

2

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

Takahara Y., Yano Y.

Systems Science

|

2004

|

Vol. 30, no 3

133-142

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.

3

MGST (mathematical general systems theory) + extProlog = another operational UML for problem solving EUD

Takahara Y., Liu Y.

Systems Science

|

2001

|

Vol. 27, nr 1

5-23

EN

We are working for research on problem solving end user development. A problem solving EUD requires an EU (end user) to develop a System to solve his decision problem. In order to build a system, an EU should have a modeling language to describe the system, and at the same time a fourth generation language should be provided for him to implement the model on computers. This paper proposes a general system development methodology (GSDM) for problem solving EUD, and asserts that the GSDM is quite an effective methodology for it. GSDM adopts MGST (mathematical general systems theory) as a desirable modeling tool and extProlog (an extended Prolog which our group is developing) as its implementation language. It consists of six stages, block diagram description, input-output specification in the set theory, goal seeking specification in the set theory, automaton formulation, frame representation of state and implementation in extProlog. Since MGST uses set theory, it can describe a system in a more formal and precise way. Furthermore, a model described in MGST can have an easy implementation on computer by using extProlog.