Concepts for knowledge-based system design environments

ABSTRACT

The paper sets up a conceptual framework for constructing knowledge-based, computer-aided environments for system design. The framework is based on the formal structures underlying the expert system design methodology being developed by Zeigler [18], namely that of the system entity structure and experimental frame. The system entity formalism is employed to structure the family of design configurations. The rules for design model synthesis are generated by pruning the design entity structure with respect to generic experimental frames [13] that represent the design objectives. This leads to a methodology for design of system design environments which recognizes three primary relationships of the application domain that must be modelled: the decomposition hierarchy (of the system being designed), the taxonomic structure (determining the design alternatives), and the coupling constraints (restricting the combinations in which components can be synthesized into the target system).

REFERENCES

• 1: "Belongs D., "multifacetted Modelling and Simulation : A Software Engineering Implementation ", Doct Diss Weizamann Institute of science ,Rehovot , Israel .1985.
• 2: Eizas M.S "The Use of structured Design Methodology to improve Realism in National Economic Planning ".In Model Adequacy (ed.H. Wedde), Pergramon Press ,London 1982.
• 3: Fasang P.P. , Ulrich P., Whelam M. "A Perspective on the Levels of Methodologies in Digital System Design,Proc of the 1983 IEEE Conference on Computer Dewsign
• 4: Gonauser, R., Sauer, A., "Needs for High-Level Tools", Proc. of the 1983 IEEE Conference on Computer Design
• 5: Gonauser, Kober R., Wenderoth W., "A Methodology fo__E_r Design of ~ Systems and Requirements for ~ ComputeF Aided System Design Environment", IFIP WG IO.O, Sept. 1983
• 6: Javor, A. , "Proposals on -the Structure of Simulation Systems'Jin:Discrete Simulation and Related Fields,ied. Ja~o~" A.), North- Holland, Amsterdam 1982.
• 7: Kober R., Wenderoth W., "Problems and practical experience in High-Level Des.e~.,q.n", Proc. of the 1983 IEEE Conference on Computer Design
• 8: Oren, T01,, Zeigler B.P. "Concepts for Advanced Simulation Systems", Simulation, 32,3 pp. 69- 82, 1979
• 9: Reddy Y.V., Fox M.S., Husain N., "Automating the An aa~ of Simulations in KBS", in Proc. of the SCS Multiconference, San Diego, January 1985.
• 10: Rozenblit J.W., "EX.___PP - ~ Software Tool for Experimental Frame Specification j_n Discrete Event ~odel)}nq and Simulation", in Proc. of the 198~ Summer Computer Simulation Conference, pp. 967-97l, Boston 1984.
• 11: Rozenblit J.W., "A Conceptual Basis for an Inte~rat.e~ Simulation Based ~ ~", Doct. Diss. Dept. of Computer Sci., Wayne State University, Detroit, Michigan, 1985
• 12: Rozenblit J,W., "Structures for a ~odel-Based ~ Environment", Technical Report, Siemens AG, West Germany Munich, 1984 (internal distribution)
• 13: Rozenblit J.W., "Generatinq Meaningful Experimental Modules for Simulation Design", to appear in KnowleOoe-Based Modelling and Simulation Methodoloqies, ed. M.S, Elzas el, al., North Mol}and, Amsterdam, 1986
• 14: Shannon R.E., Mayer R., Adelsberger H.H,, "~ Systems and Simu}ation", Simulation vol. 44, number 6, June 1985.
• 15: Siewiorek D.P., Giuse D., Birmingham W.P., '~Pr_~osaI for Research on DEMETER: A Desi~_n Methodology and Environment", Carnegie-Mellon University, Pittsburgh, PA, Jan. 1983
• 16: Zeigler B.P. "Structures for Model Based Simulation Systems", in: Simulation and , Model-Based Methodology: An Inteerative View, Springer-Verlag, New York, 1984
• 17: Bernard P. Zeigler, Multifacetted modelling and discrete event simulation, Academic Press Professional, Inc., San Diego, CA, 1984
• 18: Zeigler B.P., "Exper..t Systems: ~ Modellin~ Framework", (in preparation)
• 19: Wymore, W.A,, "~ Mathematical Theor~ o__ff Systems Design", Technical Report, University of Arizona, Tucson, 1980
• 20: Wymore W., q'Systems Engineering Methodoloqy fo___rr Interdisciplinary Team~", John Wiley, New York, 1976
• 21: Zeigler B.P., Belogus D., Bolshoi A., "ES__.PP - A._nn interactive Tool fo_._~r System Structuring", Proc. of the 19BO European Meeting on Cybernetics and Systems Research, Hemisphere Press 1980