About: OOPN and DEVS Formalisms for System Specification and Analysis     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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.
  • 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. (en)
Title
  • OOPN and DEVS Formalisms for System Specification and Analysis
  • OOPN and DEVS Formalisms for System Specification and Analysis (en)
skos:prefLabel
  • OOPN and DEVS Formalisms for System Specification and Analysis
  • OOPN and DEVS Formalisms for System Specification and Analysis (en)
skos:notation
  • RIV/00216305:26230/10:PU89581!RIV11-MSM-26230___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • S, Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 277048
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/10:PU89581
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • simulation-based design, Object-Oriented Petri Nets, DEVS, (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [4532C1FED60E]
http://linked.open...v/mistoKonaniAkce
  • Nice
http://linked.open...i/riv/mistoVydani
  • Los Alamitos
http://linked.open...i/riv/nazevZdroje
  • The Fifth International Conference on Software Engineering Advances
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Kočí, Radek
  • Janoušek, Vladimír
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
http://linked.open...n/vavai/riv/zamer
number of pages
http://purl.org/ne...btex#hasPublisher
  • IEEE Computer Society
https://schema.org/isbn
  • 978-0-7695-4144-0
http://localhost/t...ganizacniJednotka
  • 26230
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software