On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Understanding Redundancy in UML Models for Object-Oriented Analysis
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Extending conceptual schemas with business process information
Advances in Software Engineering
Automatic generation of workflow-extended domain models
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
A method for the definition and treatment of conceptual schema quality issues
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Hi-index | 0.00 |
One important aspect in the specification of conceptual schemas is the definition of general constraints that cannot be expressed by the predefined constructs provided by conceptual modeling languages. In general this is done by means of general-purpose languages, like OCL. In this paper we propose a new approach to facilitate the definition of such general constraints in UML. More precisely, we define a profile that extends the set of UML predefined constraints with some types of constraints that are used very frequently in conceptual schemas. We also study the application of our ideas to the specification of two real-life applications and we show how results in constraint-related problems may be easily incorporated to our proposal.