Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
A Lightweight Approach to Consistency of Scenarios and Class Models
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
XQuery implementation in a relational database system
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Query optimization in XML structured-document databases
The VLDB Journal — The International Journal on Very Large Data Bases
Logical Foundations for Rule-Based Systems (Studies in Computational Intelligence) (Studies in Computational Intelligence)
An Online Platform for Semantic Validation of UML Models
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Knowledge-based system for the maintenance registration and consistency among UML diagrams
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
| Hi-index | 0.00 |
The main goal of requirements specification is the transformation of a "rough draft" of stakeholder needs and expectations into a semiformal specification, represented by several diagrams, commonly UML diagrams. These diagrams must be consistent with each other, but consistency among different UML diagrams is not defined by the UML specification, and the research about inter-model consistency is still immature. We propose, in this paper, a rule-based system to detect consistency problems among UML diagrams. In order to complete this task, we have defined a set of rules in OCL, and then we use a novel approach for implementing the system by means of Xquery and Xpath languages. The use of these languages helps the rule-based system to interact with traditional CASE tools.