A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
OCL-based validation of a railway domain profile
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modeling the railway control domain rigorously with a UML 2.0 profile
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
29 new unclarities in the semantics of UML 2.0 state machines
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Ensuring consistency of information systems rules models
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Data & Knowledge Engineering
The approach of ensuring consistency of UML model based on rules
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
A quality model for conceptual models of MDD environments
Advances in Software Engineering - Special issue on new generation of software metrics
Using a functional size measurement procedure to evaluate the quality of models in MDD environments
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Hi-index | 0.00 |
Formerly, models have been used mostly in design and documentation. MDA and its surrounding techniques put them into the center of the software development process as the platform-independent model serves as foundation for tasks such as platform-dependent code generation or testing. Obviously, unambiguous models are crucial for the successful accomplishment of these tasks. The UML as the most popular modeling language is not able to ensure this which delegates the validation of models to further tasks. Our goal is to improve this situation by making models reliable as it is neither likely that another modeling language will displace UML in the near future not that a new - improved - UML version will be adopted soon. We reuse the existing OCL-based static semantics of UML and strengthen them by rectification and extension. As a result, the structural soundness of class and object diagrams is automatically ascertained and model-based tasks can be smoothly performed afterwards. Our approach supports the usage of profiles as long as these specify their static semantics on OCL. We show this by an example taken from the railway control systems domain. Behavioral soundness is not checked as we believe that it is not desirable to define one concrete behavioral semantics for UML as different application domains require different semantics at least in details.