DocumentCode
2168508
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
fYear
2009
fDate
2-4 June 2009
Firstpage
317
Lastpage
322
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2009 14th IEEE International Conference on
Conference_Location
Potsdam
Print_ISBN
978-0-7695-3702-3
Type
conf
DOI
10.1109/ICECCS.2009.23
Filename
5090541
Link To Document