Review of theory in model abstraction

被引:2
|
作者
Zeigler, BP [1 ]
机构
[1] Univ Arizona, Dept Elect & Comp Engn, AI & Simulat Grp, Tucson, AZ 85721 USA
关键词
D O I
10.1117/12.319323
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Abstr. is key to model construction for simulation. While traditionally considered to be a black art, the importance of methodological support for abstraction is becoming increasing evident. Complex distributed simulation systems, supporting multiresolution model sharing, presuppose effective ways to develop and correlate the underlying abstractions, Although a conceptual and computational framework grounded in mathematical systems theory has been around for some time, discussions of abstraction issues still often proceed through individual anecdotal experiences with little cumulative impact. This paper reviews theory and concepts available for working with abstraction in model construction.
引用
收藏
页码:2 / 13
页数:12
相关论文
共 50 条
  • [41] Abstraction in conceptual model design
    Kao, D
    Archer, NP
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1997, 46 (01) : 127 - 152
  • [42] Model abstraction and the simulation sandbox
    Trevisani, DA
    Sisti, AF
    Mayhew, MJ
    ENABLING TECHNOLOGIES FOR SIMULATION SCIENCE VI, 2002, 4716 : 211 - 217
  • [43] Model checking for action abstraction
    Fecher, Harald
    Huth, Michael
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 112 - 126
  • [44] Abstraction and refinement in model checking
    Grumberg, Orna
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 219 - 242
  • [45] A methodology for dynamic model abstraction
    Lee, K
    Fishwick, PA
    TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION, 1996, 13 (04): : 217 - 229
  • [46] Model abstraction for formal verification
    Hsieh, YW
    Levitan, SP
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 140 - 147
  • [47] A summary of model abstraction techniques
    Caughlin, D
    Sisti, AF
    ENABLING TECHNOLOGY FOR SIMULATION SCIENCE, 1997, 3083 : 2 - 13
  • [48] Characteristics of a New Abstraction Model
    Pozna, Claudiu
    Precup, Radu-Emil
    Minculete, Nicusor
    Antonya, Csaba
    ISCII 2009: 4TH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, PROCEEDINGS, 2009, : 129 - 134
  • [49] The Deployment Model Abstraction Framework
    Weller, Marcel
    Breitenbuecher, Uwe
    Speth, Sandro
    Becker, Steffen
    ENTERPRISE DESIGN, OPERATIONS, AND COMPUTING: EDOC 2022 WORKSHOPS, IDAMS 2022, SOEA4EE 2022, TEAR 2022, 2023, 466 : 319 - 325
  • [50] Stuttering abstraction for model checking
    Nejati, S
    Gurfinkel, A
    Chechik, M
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 311 - 320