Mapping UML Diagrams to a Petri Net Notation for System Simulation

No abstract is available for this paper.

• Publication year

  2004

• Venue

  International Conference on Software Engineering and Knowledge Engineering

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Validating timed UML models by simulation and verification

  2006cited by this paper
• Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams

  2003cited by this paper
• Improving the Reliability of Concurrent Object-Oriented Software Designs

  2003cited by this paper
• Model-Driven Architecture

  2002cited by this paper
• Rhapsody: A Complete Life-Cycle Model-Based Development System

  2002cited by this paper
• Formalization of Object Behavior and Interactions from UML Models

  2001cited by this paper
• Statechart simulator for modeling architectural dynamics

  2001cited by this paper
• Model checking UML Statechart diagrams using JACK

  1999cited by this paper
• vUML: a tool for verifying UML models

  1999cited by this paper
• The Unified Modeling Language User Guide

  1998cited by this paper
• The practitioner’s guide to coloured Petri nets

  1998influential reference
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987cited by this paper

• Formalizing UML State Machines for Automated Verification – A Survey

  2023cites this paper
• Revisiting requirement engineering for intelligent manufacturing

  2022cites this paper
• Transformation of variants of Petri nets into context-dependent fusion grammars

  2021cites this paper
• Quality-centric security pattern mutations

  2019cites this paper
• Formal Verification of UML State Machine Diagrams Using Petri Nets

  2019cites this paper
• Model execution tracing: a systematic mapping study

  2019cites this paper
• Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System Consistency

  2018cites this paper
• An Automated Functional Testing Framework for Context-Aware Applications

  2018cites this paper
• Transforming context-aware application development model into a testing model

  2017cites this paper
• Behavior modeling method for functional verification of product considering ways of usage

  2017cites this paper
• School of Hospitality Management and Tourism 2006-0101 Process Modeling for Simulation

  2017cites this paper
• A framework for analytics and simulation of accounting information systems: A Petri net modeling primer

  2017cites this paper
• Safety Analysis of Safety-Critical Systems Using State-Space Models

  2017cites this paper
• Information systems validation using formal models

  2014cites this paper
• Transforming UML State Machine Diagram to High Level Petri Net Using Genetic Algorithm

  2014cites this paper
• Consistent integration between object oriented and coloured petri nets models

  2014cites this paper
• Consistency Checking of Specification in UML

  2014cites this paper
• A Framework for the Implementation of Industrial Automation Systems Based on PLCs

  2014cites this paper
• Develop an Executable Architecture for a System of Systems: A Teaching Management Model

  2014cites this paper
• Mapping of UML Diagrams to Extended Petri Nets for Formal Verification

  2013cites this paper
• Formalisation des diagrammes états-transitions UML concurrents

  2013cites this paper
• Scenario analysis of false indication in computer-control systems

  2013cites this paper
• Uml Representation for Rule-Based Application Models with XTT2-Based Business Rules

  2012cites this paper
• Translation Rules and a Supporting Tool for Model-Based Reuse

  2012cites this paper
• Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model‐driven systems development process

  2011cites this paper
• Formal verification of UML state diagrams: a petri net based approach

  2011cites this paper
• A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets

  2010cites this paper
• Scenario-Based Modeling in Industrial Information Systems

  2010influential citation
• Transformation of UML activity diagrams into analyzable systems and software blueprints construction

  2010cites this paper
• Transformation of an activity model into a Colored Petri Net model

  2010cites this paper
• A MDA-based contribution for integrating web services within embedded system's design

  2010cites this paper
• The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation

  2010cites this paper
• A Study of Information Systems model for Activity diagram Analysis

  2010cites this paper
• Generating transformation rules from examples for behavioral models

  2010cites this paper
• Semantic Equations for Formal Models in the Model-Driven Architecture

  2010cites this paper
• For more understandable UML diagrams

  2010cites this paper
• Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search

  2010cites this paper
• Verification, Validation, and Accreditation

  2010cites this paper
• An Evaluation of SysML to Support Simulation Modeling

  2010cites this paper
• Transformation by example

  2010cites this paper
• Methodology for the development of executable system architecture

  2010cites this paper
• Validation of Scenario-Based Business Requirements with Coloured Petri Nets

  2009cites this paper
• Modeling complex Petri nets operations in the Model-Driven Architecture

  2009cites this paper
• A Study of the Software Tools Capabilities in Translating UML Models to PN Models

  2009cites this paper
• Application of Software Testing Based on CPN Model Derived from UML Modes

  2008cites this paper
• Executable System Architecting Using SysML in Conjunction with Colored Petri Nets

  2008cites this paper
• Encoding Modalities into Extended Petri Net for Analyzing Discrete Event Business Process

  2008cites this paper
• Evaluating Consistency between UML Activity and Sequence Models

  2008cites this paper
• Tracing the Application of Clinical Guidelines

  2008cites this paper
• Simulation-based analysis of UML statechart diagrams: methods and case studies

  2008influential citation
• Automating Performance Analysis from Taverna Workflows

  2008cites this paper
• Analyzing Decentralized Governability of Business Processes by Extended Petri Nets and Modal Logics

  2008cites this paper
• The formal verification of Rose RealTime software models using Petri nets

  2007cites this paper
• Improving Combinability of Petri Nets with Inheritance, Aggregation and Association

  2007cites this paper
• Functional Specifications of Object Oriented Systems: A Model Driven Framework

  2007cites this paper
• Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

  2007influential citation
• Logic based formalization of UML use case modeling

  2007cites this paper
• An object-oriented approach to formally analyze the UML 2.0 activity partitions

  2007cites this paper
• Performance evaluation of UML design with Stochastic Well-formed Nets

  2007influential citation
• An Executable Object Structural Model Based on OOPN

  2007cites this paper
• Petri Net-based Process Modeling for B2B e-Commerce

  2007cites this paper
• Process modeling for simulation

  2006cites this paper
• Formal Test Generation from UML Models

  2006cites this paper
• Explicit modeling of semantics associated with composite states in UML statecharts

  2006influential citation
• Language and development environment for microprocessor design of emedded systems

  2006cites this paper
• Inter-Model Consistency in UML Based on CPN Formalism

  2006cites this paper
• Translation of UML Models to Object Coloured Petri Nets with a view to Analysis

  2006cites this paper
• A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study

  2005cites this paper
• Towards an integrated graph-based semantics for UML

  2003cites this paper
• A Triple Graph Grammar Mapping of UML 2 Activities into Petri Nets

  year unknowncites this paper