1 / 30

Questions to Answers via Models: Answers to Questions?

Questions to Answers via Models: Answers to Questions?. Professor Rob Pooley Heriot-Watt University. We all agree…. Systems are becoming far too complex to understand easily in their entirety. Abstraction is the key to managing complexity.

nadine
Télécharger la présentation

Questions to Answers via Models: Answers to Questions?

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Questions to Answers via Models:Answers to Questions? Professor Rob Pooley Heriot-Watt University

  2. We all agree…. • Systems are becoming far too complex to understand easily in their entirety. • Abstraction is the key to managing complexity. • Modelling provides abstractions which answer questions. So what are the questions that are left? SummerSim 2008

  3. More questions than answers? • Modelling has been an important tool in many areas for four decades or more. • Today sees renewed interest in the application of modelling to the understanding of enormously complex systems. • Yet, there remain many challenges in making modelling accessible to non-specialists. • Here I pose the questions which seem meaningful to me and attempt to answer some of them. SummerSim 2008

  4. Key questions • How can modelling be more accessible? • How can modelling be more efficient? • How can we model more complex systems? Clearly these are inter-related to some extent. SummerSim 2008

  5. How can modelling be more accessible? • From its earliest uses, modelling has sought to make itself understandable. • From its earliest uses modelling has sought to make itself precise. • This has created a major tension in the definition of modelling techniques and in their automation. SummerSim 2008

  6. How can modelling be more accessible? • Broadly speaking there are three aspects to this problem: • How can we make it easier to create models? • How can we make the results from models more understandable? • How can we make it possible to ask our questions? SummerSim 2008

  7. How can we make it easier to create models? • Here the key questions are: • How can we describe models more effectively? • How can we make it easier to implement the models we have described? • How can we aid validation of our models? SummerSim 2008

  8. Tocher began the move to intuitive ways of expressing models with his activity cycle diagrams. Tocher K.D. 1963. The Art of Simulation, The English Universities Press, London Describing models Awaiting arrivals Unloading Arrival cycle Idle arrivals Jetty cycle Docking Idle jetty Tug cycle 1 Leaving Idle tug Tug cycle 2 SummerSim 2008

  9. Progress since Tocher • We can see many developments in making diagrams a key for describing models • Hills P.R. 1968. "Hocus a simple approach to simulation", Data Processing, May 1968 • Pegden C.D. 1985 Introduction to SIMAN, Systems Modeling Corp., State College, Penn. • Kurose J.F., J.G. Kurtiss, R.F. Gordon, E.A. McNair and P.D. Welch March 1986. A graphics-oriented modeller's workstation environment for the RESearch Queueing Package (RESQ), IBM Research Report RC11803, IBM Hawthorne Laboratories, Yorktown Heights, NY10596 • Pritsker A.A.B. 1984. Introduction to simulation and SLAM II, John Wiley and Sons, New York • etc. SummerSim 2008

  10. Implementing models • With graphical workstations came graphical input. • Kurose J.F., J.G. Kurtiss, R.F. Gordon, E.A. McNair and P.D. Welch March 1986. A graphics-oriented modeller's workstation environment for the RESearch Queueing Package (RESQ), IBM Research Report RC11803, IBM Hawthorne Laboratories, Yorktown Heights, NY10596 • Pritsker A.A.B. 1979. Modelling and analysis using Q-GERT Networks, Systems Publishing Corporation, Lafayette, Indiana • Barber E.O. and P.H. Hughes August 1990, “Evolution of the Process Interaction Tool, A Graphical Editor for DEMOS”, in Proceedings of the Seventeenth SIMULA Users Conference, Pilsen, pp 171-180, Association of SIMULA Users SummerSim 2008

  11. Solution method focused • Many attempts focused on paradigms which could be readily solved, like Petri nets and queueing networks • Melamed B. and R.J.T. Morris 1985. “Visual Simulation: the Performance Analysis Workstation”, IEEE Computer, Vol 18 No 8, pp 87-94, August 1985 • Molloy M.K. and P. Riddle April 1986. The stochastic Petri net analyser system design tool for bit-mapped workstations, Technical Report, Department of Computer Science, University of Texas at Austin • Lindemann C. September 1992. “DSPNExpress: a Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets”, in R. Pooley and J. Hillston Eds. Computer Performance Evaluation - Modelling Techniques and Tools, 6th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Edinburgh, Edits 10, Edinburgh University Press SummerSim 2008

  12. Queueing networks – intuitive? SummerSim 2008

  13. Petri nets – easy to query? SummerSim 2008

  14. Validation • Mostly focuses on animation (was tracing) of simulations • Some work on proving behaviour • Stochastic Petri nets (GSPNs) have behavioural checking of untimed nets • Stochastic process algebras such as PEPA also have some behavioural checking • Limited work on proving simulations correct • Yücesan E. and L. Schruben 1992 “Structural an Behavioural Equivalence of Simulation Models”, ACM Transactions on Modelling and Computer Simulation, Vol 2 No 1, January 1992, pp 82-103 • Birtwistle G.M., C. Tofts and R.J. Pooley October 1993, “Characterising the Structure of Simulation Models in CCS”, Transactions of the SCS Vol 10 No 3, pp 205-237 • Zeigler B.P. 1976 Theory of Modeling and Simulation, Wiley, New York SummerSim 2008

  15. How can modelling be more efficient? • Here we can perhaps identify two aspects: • Are there more efficient techniques for model solution? • Can models be simplified prior to solution? SummerSim 2008

  16. Are there more efficient techniques for model solution? • Model level techniques • Decomposition and aggregation • Norton’s Theorem applied to queues • Beilner H. June 1989. “Structured Modelling - Hierarchical Modelling”, in Proceedings of the European Simulation Multiconference, Rome • Solution techniques • See elsewhere in this conference SummerSim 2008

  17. Queueing networks – efficient and intuitive? Database • Decompose and short circuit • CPU SCSI Disc Compose SummerSim 2008

  18. HIT – a basis for decomposition SummerSim 2008

  19. Can models be simplified prior to solution? • This depends on proving equivalence of a complex and a simpler model • Schruben tackled simple cases of equivalence in simulation • PEPA uses it extensively for stochastic process algebra • Hillston J.E. April 1994. A Compositional Approach to Performance Modelling, PhD Dissertation CST-107-94, University of Edinburgh, Department of Computer Science • Some progress has been made for wider classes of simulation model • Rob Pooley, "Behavioural Equivalence in Simulation Modelling", Simulation Modelling, Practice and Theory, to appear 2007 SummerSim 2008

  20. How can we model more complex systems? • Crucially this combines much from before, resulting in three key questions: • Can we find meaningful, but solvable abstractions of complex systems? • Can we relate detailed results to high level structure? • Have we ignored significant details? SummerSim 2008

  21. Meaningful, but solvable abstractions? • There have been several domain specific modelling systems • Software – HIT • Networking – OPNET • Can we find a general abstraction? • Petri nets – too technical? • Queues – too abstract? • Unified Modelling Language??? SummerSim 2008

  22. UML • The Unified Modelling Language comes from the software domain • It is used for other kinds of models • Business processes • Biological systems • Performance models can be derived using annotation Is this the way of the future? SummerSim 2008

  23. Collaborating objects SummerSim 2008

  24. States describe internal behaviour of objects SummerSim 2008

  25. Combine the two SummerSim 2008

  26. States reachable in model SummerSim 2008

  27. Relate detailed results to high level structure? • If our input is high level • If our solvers are low level • (Except simulation?) • How do we return the results in a meaningful way? Still an issue! SummerSim 2008

  28. Have we ignored significant details? • How do we know about rare events? • Have we designed for the average? • Have we answered the real question? SummerSim 2008

  29. Issues and ideas • Look to other paradigms • Biologically inspired approaches • Membrane computing • “System heart rate” – diagnostic analogues • Dialogues and wizards • High Level Architecture (HLA) style heterogeneity SummerSim 2008

  30. To borrow a phrase “No silver bullet” Yet! SummerSim 2008

More Related