An object-oriented modelling enviornment

Many tools and techniques exist for the modeling and analysis of computer and communication systems. These tools are often complex and tailored to a narrow range of problems. The system analysis task often requires coordinated use of multiple tools and techniques which is not supported by currently available systems. The Tangram project goal is to develop an environment which makes a large set of tools and techniques readily accessible and is easily tailored to specialized applications. This system has been prototyped in an object-oriented extension to Prolog. The impact that these two paradigms, logic and objects, have had on the design is discussed. Several example applications are presented to illustrate the extensibility of the system.

[1]  R. Muntz,et al.  An object oriented methodology for the specification of Markov models , 1988 .

[2]  Jayadev Misra,et al.  Distributed discrete-event simulation , 1986, CSUR.

[3]  Arthur M. Geoffrion,et al.  An Introduction to Structured Modeling , 1987 .

[4]  Charles H. Sauer,et al.  Queueing Network Simulations of Computer Communication , 1984, IEEE J. Sel. Areas Commun..

[5]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[6]  Koichi Fukunaga,et al.  An experience with a Prolog-based object-oriented language , 1986, OOPSLA 1986.

[7]  Naftaly H. Minsky,et al.  A law-based approach to object-oriented programming , 1987, OOPSLA 1987.

[8]  Bertrand Meyer.  Genericity versus inheritance , 1986, OOPSLA 1986.

[9]  C. Childs,et al.  ANALYTICOL — An analytical computing environment , 1985, AT&T Technical Journal.

[10]  Robert J. T. Morris,et al.  Visual Simulation: The Performance Analysis Workstation , 1985, Computer.

[11]  W. Whitt,et al.  The Queueing Network Analyzer , 1983, The Bell System Technical Journal.

[12]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[13]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[14]  Kishor S. Trivedi,et al.  Analysis of Typical Fault-Tolerant Architectures using HARP , 1987, IEEE Transactions on Reliability.

[15]  Kishor S. Trivedi,et al.  Reliability Modeling Using SHARPE , 1987, IEEE Transactions on Reliability.

[16]  Daniel G. Bobrow,et al.  Vulcan: Logical Concurrent Objects , 1987, Research Directions in Object-Oriented Programming.