| Publisher | IMAG | ||
|---|---|---|---|
| Format | 269.6KB PDF, requires Acrobat Rdr 5 | Date added | 09 Jul 2004 |
| Topics | UML, Software Engineering, Object-Oriented | ||
| Downloads | 42 | ||
This paper presents a technique and a tool for model-checking operational (design level) UML models based on a mapping to a model of communicating extended timed automata. The target language of the mapping is the IF format, for which existing model-checking and simulation tools can be used. The approach presented in this paper takes into consideration most of the structural and behavioral features of UML, including object oriented aspects.
Did you find this white paper useful?
22 out of 50 users found this white paper useful
Related white papers
Introducing Xomega for XML Object Modeling and Code Generation
XML-based Model Driven Development can be a simple, but very powerful alternative to the UML-based MDA and can result in significantly increased productivity, clean and robust designs and improved system...
Improving IT service delivery through an integrated approach to software asset management white paper
This white paper describes the challenges of managing software rights in increasingly complex environments and discusses how SAM can make the entire process more efficient. Specifically, it addresses how SAM...
Download a Free Trial of SmartDraw: Learn why SmartDraw is the ideal alternative to Visio
SmartDraw's fundamentally different approach makes it the superior choice for the vast majority of users. SmartDraw is: Automatic—drawing for you, ensuring a professional result every time. Comprehensive—includes hundreds of templates and examples for...
The Pursuit of a Standardized Solution for Secure Enterprise RBAC
Each RBAC implementation varies in its capabilities and method of management. In a multi-platform environment, these differences introduce higher administration hours and costs because the various RBAC models are not...
Combining the Power of Rhapsody Model-Driven Development, UML and Hitex Tools to Streamline the Development of 8, 16, and 32 Bit Applications
Studies have shown that software is now the main bottleneck for most embedded systems projects. According to Embedded Market Forecasters, 56% of all embedded designs are behind schedule, and software...
Towards an Extension of UML2.0 to Model Mobile Agent-Based Systems
The technology of mobile agents obtained recently more importance not only because of its capacity of developing and building a distributed, heterogeneous, and interoperable systems, but also because of its...
Leveraging the Model Driven Development and Software Product Line Engineering Synergy for Success
This report focuses on one of these integrations, the Rational Rhapsody/BigLever Software Gears Bridge. The Rational Rhapsody/Gears Bridge extends the abstraction, comprehension and communication benefits provided by model-driven development (MDD)...
