| Publisher | Christian-Albrechts-Universitat zu Kiel | ||
|---|---|---|---|
| Format | 320.7KB PDF | Date added | 27 Sep 2006 |
| Topics | Object-Oriented, Programming Languages, UML | ||
| Downloads | 18 | ||
UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. The paper presents a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriving core state machines with fewer design features and a precise syntax, (ii) developing a formal semantics for core state machines, and (iii) presenting a complete transformation from UML 2.0 state machines to core state machines. Such a transformational approach provides the opportunity of easy adaption to future changes of the semantics of UML state machines.
Did you find this white paper useful?
1 out of 2 users found this white paper useful
Related white papers
Business Rules for Object-Oriented Projects
Managers and developers adopt object-oriented techniques, not for the benefits of the new technology, but for protection against the weaknesses of the old technology. They are usually seeking refuge from...
The Scoop on the New CCNA and CCNP Specializations
There has been a lot of interest among students lately on the details surrounding the CCNA specializations and their relationship with the corresponding CCNP specializations. These specializations were introduced in...
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)...
Systems and Software Product Line Engineering with SysML, UML and the Rational Rhapsody/ Gears Bridge
One of the great challenges and opportunities in systems and software delivery today is Product Line Engineering - creating, evolving and maintaining a portfolio of closely related products with variations...
A Better Alternative: An Improved Approach to Facilities Management
Real estate is typically the second largest corporate expense after personnel, so why do so many organizations remain unchanged in the way they manage their facilities? Shouldn't they, and you,...
Model-Driven Development for the C Developer
C replaced assembler as the preferred language for embedded programming over ten years ago and with it came a huge increase in productivity. Today, Model Driven Development and UML offer...
Smarter Products - The Building Blocks for a Smarter Planet
Businesses are delivering a new generation of smarter products that are increasingly instrumented, interconnected and intelligent - enabled through software. Integration of software engineering with electronic and mechanical...
