Towards an understanding of model executability
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Object-Based Modeling of Parallel Programs
IEEE Parallel & Distributed Technology: Systems & Technology
Informal Introduction to Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Executable/Translatable UML in computing education
ACE '04 Proceedings of the Sixth Australasian Conference on Computing Education - Volume 30
Interactive software architecture design with modeling & simulation
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
An approach to refactoring of executable UML models
Proceedings of the 2006 ACM symposium on Applied computing
Towards executable aspect-oriented UML models
Proceedings of the 10th international workshop on Aspect-oriented modeling
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Execution and simulation of (profiled) UML models using pópulo
Proceedings of the 2008 international workshop on Models in software engineering
Data Flow Analysis of UML Action Semantics for Executable Models
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
UML-Based Modeling for What-If Analysis
DaWaK '08 Proceedings of the 10th international conference on Data Warehousing and Knowledge Discovery
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A framework for executable UML models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
SPARK annotations within executable UML
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
In this paper we discuss a software design framework that is capable of realizing network-centricity and the rising multicore technology. Instead of producing static design documents in the form of UML diagrams, we propose automatic generation of a visual simulation model, which represents the target system design. We discuss a design environment that is responsible for the generation and execution of the simulation model.