Enterprise modelling and verification approach for characterizing and checking organizational interoperability.
Bruno VallespirVincent ChapurlatPublished in: ETFA (2007)
Keyphrases
- information systems
- verification method
- web services
- information technology
- model checking
- end user computing
- decision making
- schema integration
- systems development
- metadata
- information sharing
- interoperability issues
- business processes
- knowledge sharing
- organizational learning
- inter organizational
- ontology mapping
- open source
- databases
- semantic web
- database
- data management
- public administration
- formal verification
- consistency checking
- e government
- knowledge management
- functional verification