AuRUS: Automated Reasoning on UML/OCL Schemas.
Anna QueraltGuillem RullErnest TenienteCarles FarréToni UrpíPublished in: ER (2010)
Keyphrases
- automated reasoning
- uml diagrams
- uml class diagrams
- metamodel
- xml schema
- reasoning systems
- modeling language
- class diagram
- sequence diagrams
- tool support
- software design
- constraint language
- knowledge representation
- theorem prover
- theorem proving
- reasoning tasks
- databases
- data integration
- probabilistic reasoning
- development process
- conceptual models
- object oriented
- software systems
- software engineers
- xml documents
- life cycle
- data model
- data exchange
- software development
- description logics
- schema mappings
- database systems
- conceptual model
- conceptual modeling
- database design
- software engineering
- expert systems
- knowledge base
- data mining
- neural network