DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems Export

@article{citeulike:528343, abstract = {Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a 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.}, author = {Hong, Ki J. and Kim, Tag G.}, citeulike-article-id = {528343}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.infsof.2005.04.008}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6V0B-4GNKRG0-1/2/05850e6eb22782765c9656a0c8096e05}, doi = {10.1016/j.infsof.2005.04.008}, journal = {Information and Software Technology}, keywords = {dsl, ontopipe, orchestration}, month = {April}, number = {4}, pages = {221--234}, posted-at = {2006-03-03 15:27:45}, priority = {2}, title = {DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems}, url = {http://dx.doi.org/10.1016/j.infsof.2005.04.008}, volume = {48}, year = {2006} }

TY - JOUR ID - citeulike:528343 L3 - citeulike-article-id:528343 N2 - Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a 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. IS - 4 JF - Information and Software Technology EP - 234 TI - DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems VL - 48 SP - 221 KW - dsl KW - ontopipe KW - orchestration AU - Hong, Ki AU - Kim, Tag PY - 2006/04// UR - http://dx.doi.org/10.1016/j.infsof.2005.04.008 ER -