Automatic Revision of Simulation Models

Anita Pos; Hans Akkermans; Jan Top

doi:10.1109/5254.671095

Automatic Revision of Simulation Models

Anita Pos, Hans Akkermans, Jan Top

Research output: Contribution to journal › Article › Academic › peer-review

3 Citations (Scopus)

Abstract

We have developed 007, an intelligent modeling assistant that assists a human modeler in three main revision tasks: (i) representation of the physical models, (ii) clarification of goals and formulation of explicit requirements, and (iii) modification of the physical model. 007 helps users to formulate explicit, testable requirements and to assess the current model. It then executes generic repair plans and revises the model until the requirements are met.

Original language	English
Pages (from-to)	75-81
Journal	IEEE intelligent systems
Volume	13
Issue number	2
DOIs	https://doi.org/10.1109/5254.671095
Publication status	Published - 1998

Keywords

n/a OA procedure

Access to Document

10.1109/5254.671095

3 Citations
1 Report

Automatic Revision of Simulation Models
Pos, A., Akkermans, J. M. & Top, J. L., 1997, Centre for Telematics and Information Technology (CTIT). 37 p. (CTIT Technical Report Series; no. 97-23)
Research output: Book/Report › Report › Academic

Cite this

@article{206e7e4554694bce8e3670e36d4ad3ba,

title = "Automatic Revision of Simulation Models",

abstract = "We have developed 007, an intelligent modeling assistant that assists a human modeler in three main revision tasks: (i) representation of the physical models, (ii) clarification of goals and formulation of explicit requirements, and (iii) modification of the physical model. 007 helps users to formulate explicit, testable requirements and to assess the current model. It then executes generic repair plans and revises the model until the requirements are met.",

keywords = "n/a OA procedure",

author = "Anita Pos and Hans Akkermans and Jan Top",

year = "1998",

doi = "10.1109/5254.671095",

language = "English",

volume = "13",

pages = "75--81",

journal = "IEEE intelligent systems",

issn = "1541-1672",

publisher = "IEEE",

number = "2",

}

TY - JOUR

T1 - Automatic Revision of Simulation Models

AU - Pos, Anita

AU - Akkermans, Hans

AU - Top, Jan

PY - 1998

Y1 - 1998

N2 - We have developed 007, an intelligent modeling assistant that assists a human modeler in three main revision tasks: (i) representation of the physical models, (ii) clarification of goals and formulation of explicit requirements, and (iii) modification of the physical model. 007 helps users to formulate explicit, testable requirements and to assess the current model. It then executes generic repair plans and revises the model until the requirements are met.

AB - We have developed 007, an intelligent modeling assistant that assists a human modeler in three main revision tasks: (i) representation of the physical models, (ii) clarification of goals and formulation of explicit requirements, and (iii) modification of the physical model. 007 helps users to formulate explicit, testable requirements and to assess the current model. It then executes generic repair plans and revises the model until the requirements are met.

KW - n/a OA procedure

U2 - 10.1109/5254.671095

DO - 10.1109/5254.671095

M3 - Article

SN - 1541-1672

VL - 13

SP - 75

EP - 81

JO - IEEE intelligent systems

JF - IEEE intelligent systems

IS - 2

ER -

Automatic Revision of Simulation Models

Abstract

Keywords

Access to Document

Fingerprint

Research output

Automatic Revision of Simulation Models

Cite this