Using formal metamodels to check consistency of functional views in information systems specification.
Régine LaleauFiona PolackPublished in: Inf. Softw. Technol. (2008)
Keyphrases
- information systems
- formal specification
- formal methods
- formal language
- multiple views
- reactive systems
- business rules
- single view
- operational semantics
- information technology
- constraint language
- requirements analysis
- specification languages
- constraint networks
- database
- requirements specification
- formal model
- high level
- health care
- conceptual models
- consistency checking
- formal ontologies
- model checking
- databases
- metamodel
- design rationale
- project management
- information security
- business management
- multi view
- object oriented