Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I.
Ernest CachiaMark VellaPublished in: ECBS (2007)
Keyphrases
- formal verification
- model checking
- content management
- enterprise architecture
- program slicing
- model checker
- management system
- automated verification
- bounded model checking
- business process management
- seamless integration
- temporal logic
- enterprise systems
- symbolic model checking
- virtual enterprise
- information management
- software architecture
- enterprise wide
- knowledge management
- activity monitoring
- open source
- data integration
- artificial intelligence
- heterogeneous information systems