A Temporal-Rule Based Verification System for Business Collaboration Reliability.
Haiyang SunJian YangWeiliang ZhaoPublished in: RITA (2009)
Keyphrases
- knowledge management
- business intelligence
- business processes
- decision making
- crisis management
- inter organizational
- information systems
- cross border
- expert systems
- collaborative learning
- spatio temporal
- business process management
- business process
- temporal evolution
- temporal information
- data quality
- rule based systems
- temporal constraints
- data mining
- data driven
- process oriented
- spatial and temporal
- business applications
- return on investment
- temporal dimension
- electronic commerce
- formal verification
- signature verification
- model checking
- business environment
- temporal databases
- business rules
- temporal data
- temporal reasoning
- service delivery
- temporal relations
- virtual enterprise
- business models
- competitive advantage
- web services
- reliability analysis
- temporal patterns
- win win
- eu funded
- information technology