A Constraint-based Approach for Checking Vertical Inconsistencies between Class and Sequence UML Diagrams Topics: Model Driven Architectures and Engineering; Modeling Formalisms, Languages, and Notations (e.g. UML, ER variants); Software Engineering; Tools, Techniques and Methodologies for System Development In Proceedings of the 18th International Conference on Enterprise Information Systems - Volume 1: ICEIS, 441-447, 2016 , Rome, Italy