Simulating simulation-agnostic SysML models for enterprise information systems via DEVS

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Simulation modelling practice and theory

• Publication date

  2016-08-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/j.simpat.2016.04.001
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modeling pedestrian behavior with Cell-DEVS: theory and applications

  2016cited by this paper
• Simulating SysML models: Overview and challenges

  2015cited by this paper
• Model-based enterprise information system architectural design with SysML

  2015cited by this paper
• Capturing simulation tool and application domain knowledge for automating simulation model creation

  2015cited by this paper
• Load Balance Strategies for DEVS Approximated Parallel and Distributed Discrete-Event Simulations

  2015cited by this paper
• Model-based system engineering using SysML: Deriving executable simulation models with QVT

  2014cited by this paper
• A survey of Model-Driven approaches applied to DEVS - a comparative study of metamodels and transformations

  2014cited by this paper
• An integrated framework for automated simulation of SysML models using DEVS

  2014cited by this paper
• Conceptual modeling using Petri nets

  2013cited by this paper
• Extending SysML to explore non-functional requirements: the case of information system design

  2012cited by this paper
• System modeling in SYsML and system analysis in Arena

  2012cited by this paper
• DEVS-FIRE: design and application of formal discrete event wildfire spread and suppression models

  2012cited by this paper
• Basic guidelines for simulating SysML models: An experience report

  2012cited by this paper
• SLIM: collaborative model-based systems engineering workspace for next-generation complex systems

  2011cited by this paper
• TEPE: a SysML language for time-constrained property modeling and formal verification

  2011cited by this paper
• A formal framework for capturing knowledge to transform structural models into analysis models

  2011cited by this paper
• Applying a model-based approach to IT systems development using SysML extension

  2011cited by this paper
• Ontologies and simulation: a practical approach

  2011cited by this paper
• Evaluating software architecture in a model-based approach for enterprise information system design

  2010cited by this paper
• Virtual Verification of System Designs against System Requirements

  2010cited by this paper
• Verification and validation of declarative model-to-model transformations through invariants

  2010cited by this paper
• Employing Zachman Enterprise Architecture Framework to Systematically Perform Model-Based System Engineering Activities

  2009cited by this paper
• Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems

  2009cited by this paper
• Modelica Modeling Language (ModelicaML) : A UML Profile for Modelica

  2009cited by this paper
• Handling Non-functional Requirements in Information System Architecture Design

  2009cited by this paper
• A simple example of SysML-driven simulation

  2009cited by this paper
• First steps towards a general SysML model for discrete processes in production systems

  2009cited by this paper
• Toward on-demand wafer fab simulation using formal structure & behavior models

  2008cited by this paper
• System and simulation modeling using SYSML

  2007cited by this paper
• UPPAAL 4.0

  2006cited by this paper
• THE DEVSJAVA SIMULATION VIEWER: A MODULAR GUI THAT VISUALIZES THE STRUCTURE AND BEHAVIOR OF HIERARCHICAL DEVS MODELS

  2003cited by this paper

• Integrated SysML/Modelica-based modeling and validation of a lightweight autonomous aerial propulsion system

  2026cites this paper
• Goal Driven Code Generation for Smart Contract Assemblies

  2023cites this paper
• Review on R&D task integrated management of intelligent manufacturing equipment

  2022cites this paper
• Providing Designers with Automated Decision-Making within SysML Models to Promote Efficient Model-Based Systems Design

  2021cites this paper
• A Declarative Approach for Transforming SysML Models to Executable Simulation Models

  2021cites this paper
• Maximal structure generation of superstructure for semantic triple generated by DEVS ontology in the process industry

  2020cites this paper
• Employing SysML to model and explore levels‐of‐service: The case of passenger comfort in railway transportation systems

  2019cites this paper
• Analysis of the possibility of SysML and BPMN application in formal data acquisition system description

  2017cites this paper