Computer Science – Software Engineering
Scientific paper
2009-05-14
Computer Science
Software Engineering
16 pages. In Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA
Scientific paper
Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e.g., avionics) to recommend the proper use of technologies. Consistency rules are used to deal with inconsistencies in models. However, guidelines and consistency rules use informal restrictions on the uses of languages, which makes checking difficult. In this paper, we consider these problems from a language-theoretic view. We propose the formalism of C-Systems, short for "formal language control systems". A C-System consists of a controlled grammar and a controlling grammar. Guidelines and consistency rules are formalized as controlling grammars that control the uses of UML, i.e. the derivations using the grammar of UML. This approach can be implemented as a parser, which can automatically verify the rules on a UML user model in XMI format. A comparison to related work shows our contribution: a generic top-down and syntax-based approach that checks language level constraints at compile-time.
Chen Zhe
Motet Gilles
No associations
LandOfFree
A Language-theoretic View on Guidelines and Consistency Rules of UML does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Language-theoretic View on Guidelines and Consistency Rules of UML, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Language-theoretic View on Guidelines and Consistency Rules of UML will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-401178