Ensuring UML Models Consistency Using The OCL Environment
White Papers Having a tool that checks the consistency of UML models is very useful. The topic of UML model consistency is becoming increasingly important. Using the XMI standard, the consistent models can be transferred from the checker tool to any other UML...
[January 1, 1970, 0:59]
Maintaining Consistency Between UML Models With Description Logic Tools
White Papers Therefore, we suggest restricting to description logic, a decidable fragment of first-order predicate logic, to specify and detect inconsistencies between UML models. In current-day object-oriented software development, the software design...
[January 1, 1970, 0:59]
Applying Stereotypes And Notes In UML Sequence Diagrams: Improving The Quality And Consistency Of Your Diagrams
White Papers Application of UML stereotypes and notes to sequence diagrams increases the communication value of your models. In the Unified Modeling Language (UML), stereotypes are a mechanism to define common and consistent extensions to the UML notation.
[January 1, 1970, 0:59]
An Axiomatic Formalization Of UML Models
White Papers This means that one cannot expect sophisticated supports for checking consistency among analysis models and validating/verifying their appropriateness. This paper proposes a formal approach to analysis phase, consisting of formal analysis models...
[January 1, 1970, 0:59]
UML-Based Definition Of Integration Models For Incremental Development Processes In Chemical Engineering
White Papers Thus, if one document is changed, these changes have to be propagated to dependent documents in order to restore mutual consistency. Therefore, there is a need for incremental integration tools, which assist developers in consistency maintenance.
[January 1, 1970, 0:59]
Formal Proof From UML Models
White Papers This paper shows how the approach allows one to consistency-check UML models, and model analysis by simply drawing snapshot diagrams. This paper presents a practical approach to a formal analysis of UML-based models.
[January 1, 1970, 0:59]
Object-Oriented Reading Techniques For Inspection Of UML Models - An Industrial Experiment
White Papers Several models presenting the total system need to be inspected for consistency with each other and with external documents such as requirement specifications. Special Object Oriented Reading Techniques (OORTs) have been developed to help...
[January 1, 1970, 0:59]
Modeling And Validation Of Service-Oriented Architectures: Application Vs. Style
White Papers Based on a formal interpretation of these as graphs and graph transformation systems, the authors are able to validate the consistency between platform and application. To decide, which platform is suitable for a given application (or more...
[January 1, 1970, 0:59]
