DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hong, Ki-Jung | ko |
dc.contributor.author | Kim, Tag-Gon | ko |
dc.date.accessioned | 2009-11-18T08:51:45Z | - |
dc.date.available | 2009-11-18T08:51:45Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2006-04 | - |
dc.identifier.citation | INFORMATION AND SOFTWARE TECHNOLOGY, v.48, no.4, pp.221 - 234 | - |
dc.identifier.issn | 0950-5849 | - |
dc.identifier.uri | http://hdl.handle.net/10203/12844 | - |
dc.description.abstract | Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes it DEVS modeling language called DEVS Specification Language (DEVSpecL) based on which discrete event systems are modeled, simulated and analyzed within a DEVS-based framework for seamless systems design. Models specified in DEVSpecL can be translated in different forms of codes by code generators, which are executed with various tools for models verification, logical analysis, performance evaluation, and others. (c) 2005 Elsevier Ltd All rights reserved. | - |
dc.language | English | - |
dc.language.iso | en_US | en |
dc.publisher | ELSEVIER SCIENCE BV | - |
dc.title | DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems | - |
dc.type | Article | - |
dc.identifier.wosid | 000236427800001 | - |
dc.identifier.scopusid | 2-s2.0-33344461243 | - |
dc.type.rims | ART | - |
dc.citation.volume | 48 | - |
dc.citation.issue | 4 | - |
dc.citation.beginningpage | 221 | - |
dc.citation.endingpage | 234 | - |
dc.citation.publicationname | INFORMATION AND SOFTWARE TECHNOLOGY | - |
dc.identifier.doi | 10.1016/j.infsof.2005.04.008 | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | Kim, Tag-Gon | - |
dc.contributor.nonIdAuthor | Hong, Ki-Jung | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | discrete event system | - |
dc.subject.keywordAuthor | DEVS formalism | - |
dc.subject.keywordAuthor | DEVS specification language | - |
dc.subject.keywordAuthor | model testing | - |
dc.subject.keywordAuthor | seamless design framework | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.