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

No abstract is available for this paper.

• Publication year

  2006

• Venue

  Information and Software Technology

• Publication date

  2006-04-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/j.infsof.2005.04.008
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Discrete event model verification methodology using system morphism = 시스템 사상성을 이용한 이산사건 모델 검증 방법론

  2005cited by this paper
• Design and Validation of Computer Protocols

  2003cited by this paper
• DEVS framework for systems development: unified specification for logical analysis, performance evaluation and implementation

  2001cited by this paper
• Exploration testing

  2001cited by this paper
• Real time simulation framework for RT-DEVS models

  2001cited by this paper
• Overview of software testing

  1999cited by this paper
• Specification and Description Language (SDL)

  1999cited by this paper
• A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development

  1997cited by this paper
• A framework for verifying discrete event models within a DEVS-based system development methodology

  1996cited by this paper
• A timed-SDL for performance modeling of communication protocols

  1995cited by this paper
• Formal methods for generating protocol conformance test sequences

  1990cited by this paper
• Communication and concurrency

  1989cited by this paper
• The CCITT-Specification and Description Language SDL

  1989cited by this paper
• Information and software technology

  1987cited by this paper
• A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour

  1985cited by this paper

• DEVS Closure Under Coupling, Universality, and Uniqueness: Enabling Simulation and Software Interoperability from a System-Theoretic Foundation

  2025cites this paper
• Parallel-Devs Specification Language for Modeling: Mathematical Approach and Grammar

  2025cites this paper
• Integrated modelling and simulation method of hybrid systems based on X language

  2024cites this paper
• DEVS Copilot: Towards Generative AI-Assisted Formal Simulation Modelling based on Large Language Models

  2024influential citation
• Metamodel-based formalization of DEVS atomic models

  2021cites this paper
• A DEVS-based pivotal modeling formalism and its verification and validation framework

  2020cites this paper
• Discrete event simulation–based energy efficient path determination scheme for probabilistic voting–based filtering scheme in sensor networks

  2020cites this paper
• Model Management and Execution in DEVS Unified Process

  2019cites this paper
• A multi-target compiler for CML-DEVS

  2019cites this paper
• Validation of DEVS Models Using AGILE-Based Methods

  2019cites this paper
• Unified Approaches to Modeling

  2019cites this paper
• Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems

  2019influential citation
• DEVSML 2.0

  2016cites this paper
• Integrated framework for Model-Driven Systems Engineering: A research roadmap

  2016cites this paper
• CML-DEVS: A specification language for DEVS conceptual models

  2015cites this paper
• Integrating a neutral action language in a DEVS modelling environment

  2015cites this paper
• SPDML: Graphical Modeling Language for Executable Architecture of Systems

  2014cites this paper
• A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically

  2014cites this paper
• MODEL-DRIVEN DESIGN AND VALIDATION OF SERVICE ORIENTED ARCHITECTURE BASED ON DEVS SIMULATION FRAMEWORK

  2014cites this paper
• PRODUCTION SYSTEM MODELING AND SIMULATION USING DEVS FORMALISM

  2014cites this paper
• PRODUCTION SYSTEM MODELING AND SIMULATION USING

  2014cites this paper
• DEVS models design and test using AGILE-based methods with DEVSimPy

  2014cites this paper
• Translating DEVS conceptual models into simulation models

  2014influential citation
• Structured DEVS Formalism: A Structural Modelling Method of Discrete Event Systems

  2012cites this paper
• DEVSML 2.0: the language and the stack

  2012cites this paper
• From domain specific languages to DEVS components: application to cognitive M&S

  2011cites this paper
• DEVS Diagram Revised: A Structred Approach For DEVS Modling

  2010cites this paper
• A DEVS-oriented intuitive modeling language

  2009cites this paper
• Realization of the DEVS Formalism In MATLAB / Simulink

  2008cites this paper
• Simulation Environment of DEVS Models using MATLAB/Simulink

  2008cites this paper
• Specification languages as front-ends towards the DEVS formalism

  2006cites this paper
• Modeling Portlet Aggregation Through Statecharts

  2006cites this paper
• Script-based Test System for Rapid Verification of Atomic Models in Discrete Event System Specification Simulation

  year unknowncites this paper