| Publisher | Christian-Albrechts-Universitat zu Kiel | ||
|---|---|---|---|
| Format | 399.0KB PDF, requires Acrobat Rdr 5 | Date added | 16 Mar 2004 |
| Topics | Object-Oriented, UML | ||
| Downloads | 13 | ||
Today, UML and its textual specification language OCL are widely used as specification and modeling languages for object oriented systems. OCL is used to constraining object structures in UML. Constraints on an object structure are invariants over a state of a system. Such invariants use an object's attributes and the relationships between objects. This paper introduces a general framework for the behavioral specification of objects, a framework for modular specifications, and a compositional verification method for OCL.
Did you find this white paper useful?
24 out of 50 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...
Object Oriented Data Modeling for Data Warehousing
All are familiar with the growth rate of the public Web. Regardless of the metric used to measure its growth attached networks, servers, users or pages the growth rate continues...
