Authors: Antoni Olivé
Tags: 2006, conceptual modeling
We propose a new method that eases the definition of integrity constraints in object-oriented conceptual modeling lan-guages. The essence of the method is to represent constraints by special operations that we call constraint operations. Theformal specification of these operations is the definition of the corresponding constraints. The method allows the special-ization of constraints and the definition of exceptions. The main application of the method is for static constraints. How-ever, a variant of it can also be applied for creation-time and deletion-time constraints, two particular classes of temporalconstraints. The method can be adapted to any object-oriented language, and we show its adaptation to the UML. We alsoshow that our method has several advantages over existing methods.Read the full paper here: https://reader.elsevier.com/reader/sd/pii/S0169023X05001606?token=8631A75F39A45958F309CA168E7A29B920C72FB4E8456090621810896D11A87C6B6112D1055117EE0293F6A94C0CA87F
