Constraint-driven generation of model structures

Authors:
Jerzy W. Rozenblit;Yueh-Min Huang
Affiliations:
Dept. of Electrical and Computer Engineering, University of Arizona, Tucson, Arizona;Dept. of Electrical and Computer Engineering, University of Arizona, Tucson, Arizona
Venue:
WSC '87 Proceedings of the 19th conference on Winter simulation
Year:
1987

Citing 10
Cited 5

Local area networks: selection guidelines

Local area networks: selection guidelines
Multifacetted modelling and discrete event simulation

Multifacetted modelling and discrete event simulation
Entity structure representation for local area network simulation

Entity structure representation for local area network simulation
Artificial intelligence (2nd ed.)

Artificial intelligence (2nd ed.)
Principles of artificial intelligence

Principles of artificial intelligence
Computer networks

Computer networks
Concepts for knowledge-based system design environments

WSC '85 Proceedings of the 17th conference on Winter simulation
Local Area Networks in Large Organzitions

Local Area Networks in Large Organzitions
Local Networks

Local Networks
Local Area Networks: An Advanced Course

Local Area Networks: An Advanced Course

AI based simulation in reusability

ACM SIGSOFT Software Engineering Notes
Model base management for multifacetted systems

ACM Transactions on Modeling and Computer Simulation (TOMACS)
Systems theory instrumented simulation modeling

WSC '88 Proceedings of the 20th conference on Winter simulation
Applying knowledge-based system design and simulation in information system requirements determination

WSC' 90 Proceedings of the 22nd conference on Winter simulation
Entity Structure Based Design Methodology: A LAN Protocol Example

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article presents a framework for generating model structures with respect to a set of constraints and modelling requirements. The framework is based on multifacetted modelling and artificial intelligence concepts. Two knowledge representations, the system entity structure and the production rule formalism are incorporated into an automatic procedure for generating model configurations. The procedure is implemented in the Turbo Prolog environment. A simple case study based on a local area network (LAN) modelling problem is discussed to illustrate the conceptual framework.