6533b85dfe1ef96bd12be699
RESEARCH PRODUCT
Constraint Management in Engineering of Complex Information Systems
Valery LopesEric LeclercqThierry GrisonArnaud Da CostaMarinette SavonnetPierre NaubourgMarie-noëlle Terrassesubject
Constraint (information theory)Management information systemsUnified Modeling LanguageComputer scienceProgramming languageTheory of constraintsInformation systemcomputer.software_genrecomputerFormal verificationObject Constraint Languagecomputer.programming_languageMetamodelingdescription
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.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2009-01-01 | 2009 14th IEEE International Conference on Engineering of Complex Computer Systems |