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
Tool support for OCL and related formalisms – needs and trends
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Reliable UML Models and Profiles
Electronic Notes in Theoretical Computer Science (ENTCS)
A systematic review on the definition of UML profiles
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Integrating OCL and textual modelling languages
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Information and Software Technology
Hi-index | 0.00 |
Domain-specific languages become more and more important these days as they facilitate the close collaboration of domain experts and software developers. One effect of this general tendency is the increasing number of UML profiles. UML itself as a popular modeling language is capable of modeling all kinds of systems but it is often inefficient due to its wide-spectrum approach. Profiles tailor the UML to a specific domain and can hence be seen as domain-specific dialects of UML. At the moment, they mainly introduce new terminology, often in combination with OCL constraints which describe the new constructs more precisely. As most tools do not support validation of OCL expressions let alone supplementing profiles with OCL constraints, it is difficult to check if models based on a profile comply to this profile. A related problem is checking whether constraints in the profile contradict constraints in the UML specification. In this paper, it is shown how to complete these tasks with the tool USE. As an example, a profile from the railway control systems domain is taken which describes the use of its modeling elements strictly my means of OCL. Models based on this profile serve as a foundation for automated code generation and require unambiguous meaning.