OOPN and DEVS Formalisms for System Specification and Analysis
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89581" target="_blank" >RIV/00216305:26230/10:PU89581 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
OOPN and DEVS Formalisms for System Specification and Analysis
Original language description
The paper describes an approach to Simulation Based Design (SBD) of systems, which combines design models with simulation models. Obviously, a system representation allowing simulation analysis differs from design models and have to be generated or the design formalism has to be extended by special formalism. The presented approach uses formalisms which can be used for system design as well as system analysis. It uses high-level Petri nets, objects and systems-theoretic approach represented by DEVS formalism. The paper outlines the design methodology of SBD based on the formalism and demonstrates a technique of simulation analysis on the simplified example.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Fifth International Conference on Software Engineering Advances
ISBN
978-0-7695-4144-0
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos
Event location
Nice
Event date
Aug 22, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—