Title :
Constraint Management in Engineering of Complex Information Systems
Author :
Terrasse, Marie-Noelle ; Savonnet, Marinette ; Leclercq, Eric ; Naubourg, Pierre ; Lopes, Valery ; Costa, Arnaud Da ; Grison, Thierry
Author_Institution :
LE2I Lab., Univ. of Burgundy, Dijon
Abstract :
We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage constraints. Our proposal is based on a definition of constraints as 3D spaces with dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.
Keywords :
Unified Modeling Language; formal verification; information systems; OCL; UML diagram; complex information system; constraint management; engineering quality complex system; metamodel; object constraint language; symbolic model checker; Conference management; Context modeling; Data security; Engineering management; Environmental management; Management information systems; National security; Ontologies; Relational databases; Unified modeling language; MDE; constraint management; metamodeling;
Conference_Titel :
Engineering of Complex Computer Systems, 2009 14th IEEE International Conference on
Conference_Location :
Potsdam
Print_ISBN :
978-0-7695-3702-3
DOI :
10.1109/ICECCS.2009.23
