Generating simulation models from UML - a FireSat example
Abstract
References
- Generating simulation models from UML - a FireSat example
Recommendations
An Approach to Verifying Security and Timing Properties in UML Models
ICECCS '10: Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer SystemsIn this paper, we present an approach to verify whether a UML design model satisfies its domain-specific security and time-related requirements in an integrated tool environment. This approach is based on a UML metamodel extension mechanism given as ...
A New Approach for Generating LOTOS Specifications from UML Dynamic Models
C3S2E '15: Proceedings of the Eighth International C* Conference on Computer Science & Software EngineeringThe use of UML Statechart and Communication diagrams for modeling dynamic behaviors of systems is very widespread. UML diagrams support developers by means of visual conceptual illustrations. However, the lacks of firm semantics for these diagrams make ...
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sponsors
- SCS: Society for Modeling and Simulation International
In-Cooperation
Publisher
Society for Computer Simulation International
San Diego, CA, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
- SCS
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 137Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in